OpenAI は本日、その最新世代の汎用推論モデルが独自のオリジナルな数学証明を生成し、著名な数学者ポール・エルデシュ（Paul Erdős）氏が 1946 年に提唱した幾何学的未解決予想を覆すことを発表した。「約 80 年間、数学者たちは最適解はおおむね格子状構造に類似していると考えてきた」と OpenAI は X で投稿し、「OpenAI のあるモデルがこの認識を覆し、より優れた性能を示す一連の新たな構成手法を発見した」と述べた同社はこれを「AI が初めて自律的に数学分野における重要な未解決問題を解決したもの」と位置づけた。 しかし、信頼性に関する課題から教訓を得ている OpenAI は、7 ヶ月前には元副社長ケビン・ワイル氏（Kevin Weil）が GPT-5 を使用してそれまで未解決だった 10 のエルデシュ問題が解決されたと主張したが、実際には既存の文献に含まれる解法であったことが判明し業界で広く嘲笑を浴びた経緯がある。今回は明らかに慎重さが感じられる。モデル発表と同時に同社はいくつかの数学者による支持声明を添付しており、そこにはワイル氏の以前の発言を「重大な虚偽」と公批判していたエルデシュ問題ウェブサイトの管理者トーマス・ブルーム（Thomas Bloom）の名も含まれている。 OpenAI は今回の証明は数学的問題解決のために特別に設計されたものではなく、汎用推論モデルによって得られたものであると強調する。これは AI が長鎖かつ難易度の高い推論タスクにおいて整合性を保ち、異なる領域間で思考をつなぎ合わせる能力を獲得したことを意味し、生物学、物理学、工学および医学の研究に対して深い意義を持つという。「AI は我々が数世紀かけて築き上げてきた数学の大聖堂をさらに十分に探求することを支援してくれている」とブルーム氏は語り、「まだ目に見えない驚異がどれほど待ち受けているのか？」と問いかけた。