this post was submitted on 14 Sep 2026
280 points (97.9% liked)
science
28975 readers
366 users here now
A community to post scientific articles, news, and civil discussion.
dart board;; science bs
rule #1: be kind
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
AI didn't solve it. Mathematicians working for OpenAI who signed NDA agreements took these other mathematicians idea and developed into a more complete prove to market the company share value.
These OpenAI mathematicians might or might not used a LLM to more or less extension to develop this prove. There is no evidence on how helpful was the LLM to the whole process.