OpenAI次期モデルAstraが数学で10の画期的成果

この発表は、OpenAIが5月にAI生成によるエルデシュ単位距離予想の反証を共有し、それがすでにさらなる研究を促したことを受けて行われた。今回、10件の成果を選んで示すことで、同社は球充填、群論、量子複雑性などの分野で多様な未解決問題にモデルが取り組めることを実証しており、それぞれが長年未解決だった。この取り組みは、学術研究者にChatGPTへの無料アクセスを提供するより広いイニシアチブの一環であり、科学者が発見を加速するためのツールを提供するというOpenAIの表明した目標を反映している。

同社は、数学とAIに関するライデン宣言に署名した人々を含む数学コミュニティ内の懸念に慎重に対応している。Lean証明書とモデルのナレーションを公開することで、OpenAIは結果がどのように生成されたかについて透明性を目指している。議論はシステムによって生成され、人間は論文作成と証明の形式化を支援したことを明示的に認めている。

焦点は、数学コミュニティがこれらの結果を受け入れ、発展させるかどうかにかかっている。もしそれらが有効なら、これは研究の進め方の転換点となり得るが、数学者の反応が軌道を形作るだろう。OpenAIは独自の形式化以上に検証されたと主張しておらず、独立した精査が試金石となる。