OpenAI、未解決の数学問題に関する722件の論文公開の翌日に3件のプレプリントを取り下げ

OpenAIが内部のAIモデルによる主要な数学的結果を記述した700件以上のプレプリントを投稿してから24時間足らずで、同社はエラーを理由に3つの原稿を撤回しました。

Oct. 6、OpenAIは、幾何学、コンピュータサイエンス、代数学、その他の主題における372の数学的問題の解決における進展とされるものについて、722件のプレプリントをGitHub repositoryに公開しました。同社はこの公開を、「人類の知識の境界を押し広げ、数学のさらなる進展を可能にする」ための取り組みとcalled the releaseしました。

しかしOct. 7、OpenAIは符号の誤りを理由に3つの原稿のannounced the withdrawalを行いました。発表によると、このエラーにより1つの原稿の議論と、2つの依存論文で使用されていた構成が無効になったとのことです。Eachのwithdrawn papersには「ギャップ」を説明する通知が掲載されており、OpenAIは「証明の修復、記述の訂正、より明確な仮説と依存関係、および1つの古い引用の修正を伴う、他の14の原稿の改訂を行った」としています。

エラーがOpenAIの3つの原稿に連鎖したことは驚くべきことではないと、IthacaにあるCornell Universityの数学准教授であるAlex Townsendは述べました。彼は、さらに多くのエラーが見つかるだろうと考えています。

「数学コミュニティにおけるAIに対する懐疑論を考慮すると、OpenAIはまずLeanで検証された原稿を最初に発表すべきだったと思います」とAlex Townsendは、数学の証明をチェックするオープンソースのprogramming languageであるLeanに言及して語りました。「他のものについては別の発表を行い、検証の助けを求めることもできたはずです。その方がコミュニティや一般市民にとってもより明確だったでしょう」

OpenAIの広報担当者は、監査中にエラーを特定したと述べました。「他の研究論文」と同様に、プロセスは反復的であると広報担当者は語りました。

「私たちは数学コミュニティからの精査とフィードバックを歓迎します」と広報担当者は述べました。「エラーが特定された場合、速やかに修正に努め、修正が見つからない場合は論文を撤回します。コミュニティに研究を評価するための時間とスペースを提供したいと考えており、今後の論文の明確さと提示方法を改善し続けています」

a post on X,において、同社のリサーチリードであるDan Robertsは撤回を発表し、OpenAIは「新しい形式化や気付いた誤植を含め、リポジトリを更新し続ける」と記しました。

OpenAIの広報担当者は、Advisory Group on Mathematics and Artificial Intelligenceの協力者が「完全な形式化」を待たずに結果を公開することをrecommendedし、結果の約50%が未確認のまま公開されたと述べました。

「このリリースに対するフィードバックから学び、AGMAIと協力して、今後のリリースプロトコルに関する推奨事項が更新されたかどうかを理解したいと考えています」と広報担当者はメールで述べました。「私たちの意図は、彼らのプロトコルに可能な限り従うことです」