DeepMindの数学AIがエルデシュ問題9件の証明で査読を通りました。
科学誌サイエンスは10月8日、DeepMindの「AlphaProof Nexus」の論文を掲載しました。このAIは未解決のエルデシュ問題353件のうち9件と、整数列の予想44件を証明しました。証明は検証ソフトLeanが確認しましたが、問題文の正しさは判定できないと専門家は指摘します。
なぜ重要かOpenAIは先週、AIが書いた論文722本を査読なしでネットに公開し、数学者の反発を招きました。今回の論文は、AIの成果も時間のかかる査読の道を通れることを示しています。
アプリで読む——無料・9言語
関連ニュース
あるモデルが自分のエージェントチームの成果で学び直し、強くなりました。2026-10-12AIのコーディングエージェントはチームにすると最大五倍高くつきます。
2026-10-12OpenAIの料金表に未発表の科学向けモデルが載りました。
2026-10-11ニコンは生成AIを理由に顕微鏡動画の一位を取り消しました。
2026-10-11どのAIモデルも、人間が一月に発表した手法を再発明できませんでした。
2026-10-11