OpenAIのAIが80年間未解決だった数学予想を覆したニュースの解説。以前の「再発見」という失敗を乗り越え、真の数学的成果を上げた衝撃を海外視点から読み解く。