OpenAI の汎用 reasoning モデルが、1946 年から未解決の Paul Erdős 単位距離問題を自律で反証。Princeton の Will Sawin が refine、Fields 賞 Tim Gowers が milestone 評価。S-1 提出前の戦略的タイミングを深掘り。
2026年5月20日 OpenAI が一般向け推論モデルで Paul Erdős 1946 年提起の planar unit distance conjecture を反証する新無限族構造を発見、代数的数論で深い数学に自発進入。LLM の質的進化がわたしたちに与える影響を解説。