5
AI solves Erdos problem #728 (Terence Tao mathstodon post) (mathstodon.xyz)
submitted 1 month ago by noumenon@lemmy.world to c/math@lemmy.world
1 comments fedilink hide all child comments

cross-posted from: https://lemmy.bestiver.se/post/852619

Comments

top 1 comments
sorted by: hot top controversial new old
[-] fodor@lemmy.zip 4 points 1 month ago

Um, human-guided proof search is several decades old. The text of the article says that's what this was... So, more snake oil? Sigh.

this post was submitted on 11 Jan 2026
5 points (100.0% liked)

math

1046 readers
1 users here now

General community for all things mathematics on @lemmy.world

Submit link and text posts about anything at all related to mathematics.

Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.

founded 2 years ago
MODERATORS
mrh@lemmy.world