AIが80年来の数学的難問「単位距離問題」を解決した事象を概説。実用タスク向けAIが純粋数学の分野で成果を上げたことの意義と、数学の歴史的背景について触れます。