OpenAIは、新しい推論モデルが1946年にポール・エルデシュが提起した有名な未解決の幾何学予想を反証する独自の数学的証明を生成したと発表した。もしあなたの眉が上がったとしても、それは当然だ——OpenAIがこんな大胆な主張をするのは初めてではない。7か月前、元副社長のケビル・ワイルはXに「GPT-5が10個の未解決エルデシュ問題の解決策を見つけ、さらに11個で進展があった」と投稿した。ネタバレ：GPT-5は実際には解いていなかった。既存の文献にある解答を再発見しただけだった。ヤン・ルカンやGoogle DeepMindのCEOデミス・ハサビスからの嘲笑が続き、ワイルは早まって投稿を削除した。

今回は、OpenAIは同じ過ちを繰り返さなかったと主張する。発表と同時に、同社は数学者ノガ・アロン、メラニー・ウッド、そしてエルデシュ問題サイトを運営し、以前ワイルの投稿を「劇的な誤解」と呼んだトーマス・ブルームのコメントを公開した。「80年近く、数学者たちは最良の解はおおむね正方格子のようなものだと信じていました」とOpenAIはXに投稿した。「OpenAIのモデルがその信念を覆し、より優れた性能を持つ全く新しい構造のファミリーを発見しました」。

同社は、これが「AIが数学の分野の中心的な未解決問題を自律的に解いた初めてのケース」だと主張する。証明は、数学専用に設計されたシステムではなく、新しい汎用推論モデルから生まれた——これは、AIが長く困難な推論の連鎖を保持し、分野を超えてアイデアを結びつけられるようになったことを意味するとOpenAIは言う。それは生物学、物理学、工学、医学に影響を与えるとされる。「AIは、私たちが何世紀にもわたって築いてきた数学の大聖堂をより完全に探求する手助けをしています」とブルームは語った。「他にどんな見えない驚異が待っているのでしょうか？」