2026年が明けてすぐに「人工知能(AI)が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のAIの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。