Erdos Conjecture

📐 OpenAI が Erdős 80 年予想を反証｜AI が『未知の数学』を解き始めた瞬間、わたしたちの『知の生産』はどう変わる？

OpenAI 内部 reasoning モデルが Paul Erdős の unit-distance 問題（1946 年提示、80 年来の未解決問題）を自律反証。Fields 賞 Tim Gowers が『AI 数学のマイルストーン』と評価した今回の breakthrough を、わたしたちユーザー視点で深掘り。