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

lemmy.world rules

founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] daniskarma@lemmy.dbzer0.com 6 points 6 days ago* (last edited 6 days ago)

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.