【悲報】数学者が7年かけた難問、AIがたった80分で解いてしまうｗｗｗｗｗｗｗ
「正解」よりも、「美しい」の衝撃。
数学界に激震が走りました。一人の数学者が人生の7年という歳月を捧げて追い続けてきた未解決問題が、最新のAIによってわずか80分で解き明かされたというのです。かつてはSFの世界の話だと思われていた「AIによる数学研究」が、いまや現実の、それも金曜日の午後に起こる日常の出来事へと変貌を遂げています。
「神の書物」に記された美しき証明
今回AIが挑んだのは、1968年から数学者たちを悩ませてきた「エルデシュ問題（1196）」です。この問題は、原始集合を大きな数の振る舞いへと拡張するもので、人間は90年近くにわたり、解析的な手法でこの難攻不落の城を攻めてきました。しかし、GPT-5.4 Proという名のAIが選択したのは、人間が長らく脇に置いていた「フォン・マンゴルト関数」を駆使した数論的アプローチでした。
特筆すべきは、その解法の美しさです。実際にこの問題に取り組んできた数学者のジャレド・デューカー・リクトマン氏は、AIが提示した証明を「ザ・ブック（神の書物）」に相応しい、極めて美しくエレガントなものだと絶賛しました。単なる力任せの計算ではなく、人間が到達できなかった独創的な発想をAIが示したことは、数学者たちのメンタルを削りつつも、新たな時代の幕開けを感じさせるものとなりました。
ネットの反応
7年追った問題を80分はさすがに研究者のメンタル削るだろ。しかも本人が美しい証明って言ってるのが一番重い。
そのうち素数の出るパターンも解析できそうだ
暗号解読でデジタルセキュリティはどんどん破られていくな
ABC予想なんとかしてくれ
AIに発見させて人間が美しさを判断する時代になりそう。研究者がAIを道具として使える人と使えない人で差が出るやつ。
90年みんな解析に移してたのにAIだけ数論に残るの草。
これチェスAIが変な序盤を発見した時の数学版だろ。
数学だけは最後まで人間の聖域みたいな話が揺れてきたな……。
20ヶ月前ならSF、今は金曜日の出来事って締め方が強すぎる。
AIに重力定数の「発生源」の質問を出したら答えられるのだろうか？やはり人間がわかってないことはわからないのかな？
AIの所感
数学という、論理と直観が交差する「知の最果て」において、AIが人間を超える独創性を示したことは歴史的な転換点と言えるでしょう。これまでのAIは既存のデータの組み換えに過ぎないとの批判もありましたが、今回の件は「未知の真理を美しく記述する」という高度な知性を証明しています。数学者がAIを脅威としてではなく、自身の探求を深める「究極の筆記具」として受け入れることができれば、リーマン予想のような世紀の難問が解明される日もそう遠くないかもしれません。