OpenAI 内部 reasoning モデルが Paul Erdős の unit-distance 問題（1946 年提示、80 年来の未解決問題）を自律反証。Fields 賞 Tim Gowers が『AI 数学のマイルストーン』と評価した今回の breakthrough を、わたしたちユーザー視点で深掘り。
2026年5月20日、OpenAI社内推論モデルが1946年Paul Erdős単位距離問題を125ページ証明で自律的に反証。Fields賞Tim Gowersが「milestone in AI mathematics」と評価。研究AIの未来とわたしたちへの影響。