AIが先に"答え"を出した。OpenAIが3つの結果の確かめ役を専門家に頼んだ理由

AI（OpenAI）が「ETH（指数時間仮説）は間違い」とする証明を書き上げ、Leanで形式化された。ETHは長年、多くの研究の前提だった。ただし発表はAIの出力を含む「生の研究データ」で、第三者の確認はこれから。数学・計算機科学・物理の3結果は、見守り役の専門家が結果ごとに異なる方法で見守る。Leanが通っても元の文章と一致するとは限らない、という落とし穴も指摘されている。参考情報 〇Working with academic communities to build scientific understanding（2026年10月26日） https://openai.com/index/building-scientific-understanding-with-academic-communities/ 〇‘Once in a Century’ Proof Settles Math’s Kakeya Conjecture（2025年3月14日） https://www.quantamagazine.org/once-in-a-century-proof-settles-maths-kakeya-conjecture-20250314/ 〇An AI-assisted ‘falsification of the Collatz conjecture’ was found to be invalid, having exploited a kernel bug in Lean.（2026年8月3日） https://gigazine.net/gsc_news/en/20260803-collatz-lean-kernel-bug 〇Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs（2026年10月） https://arxiv.org/abs/2610.08144 〇Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era（2026年10月15日） https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/ 〇16個の原子の輪が「宇宙の終わり」を再現した。それでも終末が遠のくかもしれない理由（2026年10月7日） https://note.com/kojifukuoka/n/n5ecb7e3629a5 〇ロボ審判を採点するのは誰か――誤差0.17インチを、午前6時の球場で確かめる人たち（2026年10月22日） https://note.com/kojifukuoka/n/n9f546f82fe0f #科学 #AI #数学 #計算機科学 #ETH #指数時間仮説 #計算量理論 #P対NP #Lean #形式証明 #OpenAI #AI数学 #科学ニュース #数学の未解決問題 #ミレニアム問題 #ヤンミルズ理論 #物理学 #科学コミュニケーション #科学技術 #最新科学 #科学を面白く #AIと科学 #研究の再現性 #Simons財団 #数学者