OpenAIは、その新しい推論モデルが、1946年にポール・エルデシュによって最初に提起された幾何学における有名な未解決の予想を反証する独自の数学的証明を生成したと発表した。この成果は、7か月前に元OpenAI副社長ケビン・ワイルがXでGPT-5がこれまで未解決だったエルデシュの10の問題の解決策を発見し、他の11の問題についても進歩があったと述べて物議を醸した主張に続くものである。 GPT-5 はこれらの問題を実際に解決したわけではなく、文献にある既存の解決策を特定したことが後に明らかになりました。
ヤン・ルカン氏やグーグル・ディープマインドCEOのデミス・ハサビス氏など、AI分野のライバルたちは先の主張を批判し、ワイル氏の投稿を削除するよう促した。 OpenAIの最新の発表には、ノガ・アロン氏、メラニー・ウッド氏、トーマス・ブルーム氏といった著名な数学者の発言が含まれており、彼らは反証を支持し、ワイル氏の以前の発言を「劇的な虚偽表示」と呼んだ。
OpenAIは、数学者たちは80年近くにわたり、この予想に対する最適解は正方格子に似ていると信じていたと述べた。新しいモデルは、この長年信じられてきたことを上回るまったく新しい構造ファミリーを発見したと伝えられています。 OpenAIによると、この事例はAIが数学における重大な未解決の問題を自律的に解決した最初の例となるという。
この証明は、数学に合わせたシステムではなく、汎用推論モデルに由来しており、複雑な推論タスクを管理し、さまざまな分野にわたってアイデアを相互接続する AI の能力を強調しています。 OpenAI は、この開発が生物学、物理学、工学、医学にもたらす潜在的な影響を強調しました。
数学者のトーマス・ブルームは、AI が数学のより深い探求を促進していると述べ、他にどのような重要な発見が待っているのかを疑問視しています。 「AIは、私たちが何世紀にもわたって構築してきた数学の大聖堂をより完全に探索するのに役立ちます」と彼は言いました。
