海外 AI数学スタートアップが4つの未解決難問を解明 AI数学スタートアップAxiomが、自社開発のAIシステムで数学界の未解決難問4つを解明したと発表し、数学研究に革命的変化をもたらす可能性を示した。 AI数学 Axiom 未解难题 人工智能推理 2026年2月9日 371
