OpenAI、AI生成の数学論文722本公開3本を取り下げ

何が起きたか

OpenAIは10月6日、AIで作成した数学論文722本をGitHubで公開し、372の未解決問題で進展があったと主張しました。翌7日、符号の誤りで1本の論証が成り立たなくなり、それに依存する2本と合わせて計3本を取り下げ、ほかに14本を修正しました。

なぜ大事か

同社は社内の点検で誤りを見つけたと説明し、結果の約半分は確認が済まないまま公開したとしています。数学者からは、証明を機械で検証できたものだけを先に出すべきだったとの指摘や、公開の進め方そのものへの批判が出ています。

日本への影響

AIが研究成果を大量に出す時代に、誰がどう正しさを確かめるかは日本の研究機関にも共通する課題です。