math

1044 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

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

you are viewing a single comment's thread
view the rest of the comments

[–] 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.

permalink
fedilink
source