数学者ら「OpenAIのAI証明は我々の研究に依拠しているのに出典がない」
OpenAIが次期モデルAstraによる10件の数学的成果を発表してから1週間、実名の数学者数人が、その記述は既発表のアイデアを引用せずに再利用していると指摘した。イェシーバー大学のSteven Miller氏は、球充填の結果は自身の2016年論文の議論に依拠していると述べる。ケンブリッジ大学のFrancesco Fournier-Facio氏は、群論の結果はGábor Kun氏とAndreas Thom氏の2016年・2019年の研究を初等的に組み合わせたものにすぎず、新発見として提示されていると指摘する。OpenAIは「少なくとも10年間進展がなかった」という当初の主張を後退させた。広報担当者は、結果の正しさに責任を持ち、人間の数学者に期待される基準を自らに課しており、論文に小さな更新を加えると述べた。
なぜ重要か証明はLeanで形式化されており、各ステップが成り立つことは機械が確認できる。機械が検証できないのは、その結果が「新しい」かどうかであり、争点はまさにそこにある。数学界は国際数学連合が支持するライデン宣言で既に警鐘を鳴らしていた——先行研究を明記し、プレスリリースで成果を発表するのはやめよ、と。この決着の付き方が、AI企業が何を「ブレークスルー」と呼べるかを決めることになる。
アプリで読む——無料・9言語
関連ニュース
米国が16カ国を誘い、AIを科学の中心に置いた2026-10-05数学者が普通のチャット画面で未解決問題を五つ解いた
2026-10-05素のモデルが、調整版には解けない課題を解いた。
2026-10-04普通の写真で事前学習したモデルが推論テストで70%を取った
2026-10-04グーグルが人工知能用半導体を軌道に送り、耐久性を試します。
2026-10-03