Math AI

🔬 OpenAI が 80 年未解決 Erdős 問題を AI で反証｜AI が独自の数学発見をする時代がついに来た夕

2026年5月20日 OpenAI が一般向け推論モデルで Paul Erdős 1946 年提起の planar unit distance conjecture を反証する新無限族構造を発見、代数的数論で深い数学に自発進入。LLM の質的進化がわたしたちに与える影響を解説。