OpenAI の汎用 reasoning モデルが、1946 年から未解決の Paul Erdős 単位距離問題を自律で反証。Princeton の Will Sawin が refine、Fields 賞 Tim Gowers が milestone 評価。S-1 提出前の戦略的タイミングを深掘り。