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