数学

AxiomがAIで未解決数学に挑む挑戦

AxiomがAIで4件の未解決数学問題を解いたと報告しました（WIRED報道）。解法の公開と第三者検証が進めば、AIの推論力と計算資源が学術と産業に新たな可能性をもたらす期待があります。