海外 AI数学の新星が4つの長年未解決の難題を解明 AI数学スタートアップAxiomが、自社開発のAIシステムで4つの未解決数学問題を解決し、AIが補助ツールから独立した創造者へと転換する画期的な成果を達成した。 人工智能 数学难题 Axiom初创 AI推理 2026年2月5日 383
