#AI数学ツール Axplorer

スタートアップAxiom MathがリリースしたAIツール「Axplorer」は、Mac Pro一台で動作し、未解決の数学問題に新たなパターンを見つける可能性を持つ。数学とAIの関係が変わりつつある今、研究の未来を考える。