2026年9月9日 19:27
OpenAIのミレニアム問題証明に不正疑惑
OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs
3行まとめ
- •数学者がOpenAIを不正と非難
- •サム・アルトマンCEOが疑惑否定
- •テレンス・タオも伝統に警鐘
詳細
背景
OpenAIは今年、AIを使ってミレニアム懸賞問題の一つであるナビエ・ストークス方程式に関する証明を生成したと発表し、Lean言語による形式的証明として公開していた。この成果は数学界で大きな注目を集め、AIが未解決の数学問題に貢献した事例として評価する声もあった。しかし発表から時間が経つにつれ、証明の正当性や公表プロセスを巡って研究者の間で疑念が広がっている。
内容
数学者のトリスタン・バックマスター氏はこの証明を巡ってOpenAIを学術不正だと公然と非難した。これに対しOpenAIのCEOであるサム・アルトマンは疑惑を否定し、適切な手続きを経た成果であると反論している。著名な数学者テレンス・タオも今回の論争に言及し、AI企業が生成した学術的成果の検証プロセスが不透明なまま公表されることについて、「オープンサイエンスにおける数世紀にわたる伝統を逆行させかねない」と強く警鐘を鳴らした。
今後の影響
AI研究所が数学的成果を発表する際の検証体制や透明性のあり方が今後問われることになる。研究コミュニティがAI企業の主張をどこまで信頼できるかという、AIと学術の関係性を巡る重要な論点を浮き彫りにした事例といえる。
なぜ重要か
OpenAIの学術的成果の信頼性に疑問符、AI企業の検証体制の透明性が問われる。
元記事を読む — The Decoder