AxiomのAI、未解決だった数学問題に解を示す

スタートアップであるAxiomのAIが、難解な数学の問題の答えを導き出した。AIの推論能力が、研究の現場で実用段階に入りつつあることを示す事例だ。