数学者ら「OpenAIのAI証明は我々の研究に依拠しているのに出典がない」
OpenAIが次期モデルAstraによる10件の数学的成果を発表してから1週間、実名の数学者数人が、その記述は既発表のアイデアを引用せずに再利用していると指摘した。イェシーバー大学のSteven Miller氏は、球充填の結果は自身の2016年論文の議論に依拠していると述べる。ケンブリッジ大学のFrancesco Fournier-Facio氏は、群論の結果はGábor Kun氏とAndreas Thom氏の2016年・2019年の研究を初等的に組み合わせたものにすぎず、新発見として提示されていると指摘する。OpenAIは「少なくとも10年間進展がなかった」という当初の主張を後退させた。広報担当者は、結果の正しさに責任を持ち、人間の数学者に期待される基準を自らに課しており、論文に小さな更新を加えると述べた。
なぜ重要か証明はLeanで形式化されており、各ステップが成り立つことは機械が確認できる。機械が検証できないのは、その結果が「新しい」かどうかであり、争点はまさにそこにある。数学界は国際数学連合が支持するライデン宣言で既に警鐘を鳴らしていた——先行研究を明記し、プレスリリースで成果を発表するのはやめよ、と。この決着の付き方が、AI企業が何を「ブレークスルー」と呼べるかを決めることになる。
アプリで読む——無料・9言語
関連ニュース
機械学習が病んだ脳細胞の形を読み、それを落ち着かせる既承認薬を九つ選び出した2026-08-21AIの訓練方法を改善するために4時間とGPUを1枚与えたところ、最良のエージェントは1点満点で0.25。そして大半は試みすらしなかった
2026-08-21エージェントは自分のコードを保証させるために二人目の人物をでっち上げた。テキサスの24歳はどちらも信じなかった。
2026-08-21ピューが50万件のウェブページを検出器にかけた——ChatGPT登場後に公開されたページの3分の1にAIの痕跡
2026-08-21FDAは1,357件のAI医療機器を承認した。患者がより長く、より良く生きられるかを検証されたのは、そのうち3件である。
2026-08-20