AIが80年の難問を解いた

AIが80年間誰も解けなかった数学の難問「単位距離問題」を解きました。実用的なAIが純粋数学の世界に進出する意義が示されています。

• 1940年代から数学者を悩ませてきた単位距離問題は、平面上のN個の点間で距離がちょうど1になる最大組み合わせ数を求める問題である
• AIが基礎数学の難問解決に貢献し、実用タスク向け設計のAIが理論数学領域に踏み込む可能性を示した
• この成果はAIの能力が予想より広範な分野に及ぶことを示唆している

※ Claude Haiku 4.5 による自動要約です。原文を必ず確認してください。