Mathematics

🧠 OpenAI Erdős 反証｜AI が 80 年の数学問題を自力で解いた朝、S-1 提出前の『科学発見エンジン』ナラティブ完成

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