#Tim Gowers

2026/5/21

OpenAI の内部モデル、ついに『80 年解けなかった Erdős 予想』を AI 単独で反証！1946 年から信じられてきた『正方格子が最強』神話、ガチで崩れたよ

OpenAI が 2026年5月20日、内部AIモデルが離散幾何学の有名な未解決問題『平面単位距離問題』のErdős予想を自律的に反証したと発表。1946年からの定説『正方格子に近い構造が最適』を覆す新しい構成を、代数的数論の手法で発見。Tim Gowers ら外部数学者の検証も完了した、AI 数学史の節目を、てんびん丸が整理するよ。