OpenAI証明発表も数学者は不正主張

9月8日のOpenAIの発表は、AIが数学において独自の成果を生む可能性を示す分岐点となるかもしれない。未公開の内部モデルが、ミレニアム懸賞問題であるナビエ・ストークス方程式の証明を生成したとされる。同社は約1万のエージェントを約88時間稼働させ、数百万ドルの計算リソースを投入したとしており、単なる支援ではなく自律的な発見を目指す野心が窺える。

論争の焦点はプロセスと独創性にある。NYUのTristan Buckmasterは、Levent Alpogeとともに有限時間爆発に関する関連結果を独自に発表しており、9月6日の電話で自身の結果を伝えた後にOpenAIの研究が始まったと主張している。また、自身がOpenAIのCodexとAnthropicのClaudeを使用していたことがデータ漏洩の経路となり得ると指摘するが、OpenAIはこれを否定しつつも、匿名化されたユーザーデータの影響を完全には排除していない。この衝突は、人間と機械の貢献の境界があいまいになりつつあること、そしてAI支援研究の時代におけるデータの来歴の重要性を浮き彫りにしている。

検証が最終的な試金石であり、数学コミュニティは証明と、証明支援ツールLeanでの形式化の両方を独立に精査し、クレイ研究所の公式問題設定と整合するかを確認する必要がある。もし検証されれば、これまでのAI生成による成果をはるかに超える画期的なものとなる。一方、未解決の論争は研究倫理への警告として響き、今後のAI研究の進め方やクレジットの付与に影響を与える可能性がある。