AI Mathematics

🔬 OpenAI が 80 年問題を解いた｜125 ページ証明で『研究助手』から『研究パートナー』へ進化した夕

2026年5月20日、OpenAI社内推論モデルが1946年Paul Erdős単位距離問題を125ページ証明で自律的に反証。Fields賞Tim Gowersが「milestone in AI mathematics」と評価。研究AIの未来とわたしたちへの影響。