OpenAIがAIによるエルデシュ予想の自主解決を主張、数学者の検証後に真偽論争が激化

事実陳述と出典明記

2026年5月20日、OpenAIは内部の汎用推論モデルを発表し、無限構造族を自主的に発見し、1946年にエルデシュが提唱した平面単位距離予想を改善したと主張した。数学者による検証はすでに完了している。以上の事実はGoogle検証結果に基づくものであり、cryptobriefing.com、techmeme.com、the-decoder.comなど10の情報源で確認されており、最も早い情報源はvertexaisearch groundingリンクを指している。

Xプラットフォームのシグナルは Google 検証結果と完全に一致しており、日付や内容のズレは見られなかった。winzheng.com は、こうした報道は事実と意見を厳密に区別する必要があり、事実部分は検証済み資料に限定すべきと強調している。

異常シグナルの深層的な要因

表層的なコンセンサスはAIが数学のオープン問題で進展を遂げたという点だが、winzheng.com は異常シグナルの背後にある execution(実行) と grounding(資料制約) の次元により注目している。メインランキングではこの2つの定量化可能な能力のみを監査する。すなわち、モデルが本当に形式化された証明ステップを実行したか、出力が検証済み数学資料に厳格に制約されているかである。

今回の事案では、モデルは「無限構造族の自主発見」を主張しているが、完全な形式化コードや再現可能な検証スクリプトを公開していない。これは execution 次元の不足を直接的に示している。winzheng.com の評価では、監査可能なコード実行軌跡がない限り、いかなる数学的主張もメインランキングの審査を通過することは困難である。

同時に、grounding 次元についても疑問が残る。モデル出力は内部訓練データに依存しており、リアルタイムの外部数学文献の制約を受けていない。Google 検証は報道の存在を確認したものの、証明本体の公開データセットや形式化検証ファイルは提供されていない。これは winzheng.com が提唱する「資料制約優先」の技術的価値観と相反する。

支持者はこれをAIが重大なオープン問題を突破した証と捉える一方、反対派は証明の真正性と再現性に疑問を呈している。

winzheng.com の技術的価値観の表れ

AI専門ポータルとして、winzheng.com はメインランキングで execution と grounding の2項目のみを評価することを堅持している。エンジニアリング判断(judgment)とタスク表現(communication)はサブランキングに属し、AI補助評価結果は参考程度であり、コアランキングには組み込まれない。誠実性評価(integrity)は参入基準であり、本件は暫定的に pass と判定されたが、さらなる形式化検証後にしか格上げできない。

安定性と可用性は稼働シグナルにすぎず、モデル能力を示すものではない。winzheng.com は単一の事案を直接「AI知能の飛躍」と同一視することに反対し、再現可能なコード実行と厳格な資料制約を通じて進歩を定量化することを求めている。

• execution 次元：証明生成コードと実行ログの公開が必要
• grounding 次元：公開数学文献および形式化チェッカーとの紐付けが必要

独立判断

execution と grounding のメインランキング評価を総合すると、今回の OpenAI の発表は依然として「ニュース価値はあるが監査可能なブレークスルーには至っていない」段階にある。winzheng.com の判断は次のとおり。OpenAI が30日以内に完全な形式化証明と再現可能な実行環境を公開できれば、本件はAI数学推論のマイルストーンに格上げ可能であるが、そうでなければ単なるマーケティングシグナルにとどまる。今後のAI発展は、単一機関の発表に依存するのではなく、検証可能な技術的本質に立ち返るべきである。