OpenAI、AIの数学成果を検証する研究へ500万ドル：証明公開と第三者確認を支援

OpenAIは、AIが生み出した数学の成果を人間の研究者が検証し、次の発見につなげる取り組みに500万ドルを拠出します。2026年10月6日に公開した数学研究の説明へ、10月15日付でこの支援を追記しました。新しい一般向けAIモデルの発売ではなく、AIの答えを数学界が調べ、理解し、発展させるための研究基盤を支える発表です。

資金は米国のSimons Foundationが管理・配分し、ワークショップ、会議、特別プログラムに使われます。対象となる研究者には、OpenAIのモデルと計算資源へのアクセスも提供するとしています。

元の発表では、社内の先端モデルが作った数学結果をGitHubで公開し、証明の多くをLeanという証明確認用の言語で形式化したこと、モデルの推論要約10件や試行数、計算量の目安も公開したと説明しています。平均的な成果に使った計算量は、ChatGPT Proで約3時間考えさせる量に相当するという同社の見積もりです。

学生や研究者にとって大切なのは、「AIが解いた」という見出しだけで正しいと決めないことです。公開された証明、Leanの確認結果、修正履歴、第三者の評価を順に確かめれば、AIを答えの代行ではなく、検証できる仮説を出す道具として使えます。研究会や特別プログラムの具体的な募集条件は、Simons Foundation側の案内を確認する必要があります。

注意点として、500万ドルはOpenAIからの拠出額であり、個人が直接受け取れる無料枠ではありません。また、資金提供は公開された数学結果がすべて正しいことを保証しません。個々の成果には専門家の検証や査読が必要です。出典はOpenAIの公式ページで、元の公開日は10月6日、資金支援の追記日は10月15日、確認日は10月18日です。