OpenAI の推論モデルが 80 年間未解決の離散幾何学問題を解いたZZennOpenAI の推論モデルが、1940年代から数学者を悩ませてきた「単位距離問題」の中心的予想を反証する具体的構成を発見し、人間の数学的直感の盲点を露呈させた。証明は人間の数学者により検証・確認され、今後 AI と数学者の役割分担の在り方や証明の検証可能性をめぐる議論が活発化している。2026/05/21AI数学上級
