80年間未解決だった数学の「単位距離問題」がAIによって解明された事例を紹介。純粋数学の難問にAIが踏み込んだ意義と、クロム数にまつわる問題の概要を解説します。