OpenAIのモデルが、80年間未解決だった数学の「単位距離問題」の一部を否定し、歴史を塗り替えた事例を紹介。AIが単なる計算機を超え、数学的証明の領域で人間と並ぶ可能性を示した画期的な出来事を解説する。