OpenAI が離散幾何学の中心的予想を反証 ── 80年越しの数学難問をAIが解決
これは正直、かなり衝撃。80年間も未解決だった数学の難問を、OpenAIのモデルが解いてしまった。しかも、ただ解いただけじゃない。離散幾何学における有力な予想を「反証」する結果を出している。数学の世界でAIがここまで踏み込んでくるとは。
▸何が変わったのか
OpenAIのモデルが「80-year-old unit distance problem（80年前の単位距離問題）」を解決。この問題は離散幾何学における中心的な予想とされてきたもののひとつ。結果として、その予想を反証（disprove）する形になった。AIが数学の証明において「milestone（マイルストーン）」となる成果。純粋数学の領域でAIがここまで機能するのは前例が少ない。
◈技術背景と意義
離散幾何学と聞くと難しそうだけど、要するに点や線などを離散的な（とびとびの）値で扱う幾何学の分野。unit distance problemは、特定の距離関係にある点の配置について問う問題で、1940年代から議論され続けてきた。AIがこうした理論的な証明に絡んでくるのは比較的新しい流れ。単なる計算じゃなく、論理的な推論が求められる領域だから。
▸Redditの反応
AIが数学の難問に対して独特の解釈を示した件について、ちょっとシュールなノリで面白がる声が上がってる。真面目に元ネタをたどるコメントもあって、ノリと真面目さが混在するカオスな雰囲気。
「Goblins、Cwaude、SEND NUDES……って出力してるのが面白い。このAIタイムラインの進化、個人的にはかなり好き。」
「これはこれでAIの努力を認めて、言われた通りに従うしかないだろうな。」
「Alvaro Lozano-Robledoによるグラフの元ネタ。Will SawinがOpenAIのエルデシュ単位距離問題の下界を改良した件のフォローアップとして作られたものだよ。」
SOURCE: OpenAI (2026-05-20)
