OpenAIは、同社の新しい推論モデルが、1946年にポール・エルデシュによって提起された幾何学分野の有名な未解決予想を反証する独自の数学的証明を生み出したと主張しています。

これはOpenAIにとって初めての主張ではありません。7ヶ月前、同社の元VPがGPT-5がエルデシュ問題10個を解決し、さらに11個で進展があったと投稿しましたが、実際には既存の解を見つけただけでした。この時は、競合他社からの嘲笑を浴び、投稿は削除されました。

しかし今回は、OpenAIは同じ間違いを繰り返さなかったようです。発表と同時に、Noga Alon、Melanie Wood、Thomas Bloomといった著名な数学者からの、この反証を支持するコメントも公開されました。Bloom氏は以前、前回の投稿を「劇的な不正確な表現」と呼んでいました。

OpenAIによると、このモデルは「AIが自律的に数学分野の中心的な著名な未解決問題を解決した初めてのケース」であるとのことです。この証明は、数学問題解決に特化したシステムではなく、汎用的な推論モデルによってもたらされました。このことは、AIシステムが長くて困難な推論の連鎖を維持し、これまで研究者が探索していなかった分野間のアイデアを結びつける能力を持つようになったことを示唆しており、生物学、物理学、工学、医学への応用が期待されています。

Bloom氏は、「AIは、私たちが何世紀にもわたって築き上げてきた数学の大聖堂をより深く探求するのに役立っています。他にどのような未知の驚異が控えているのでしょうか？」と述べています。