初创公司Axiom Math推出AI工具,革新数学研究

2026-03-25 · MIT Tech Review AI · 原文链接

位于加州帕洛阿尔托的初创公司Axiom Math推出了一款开创性的AI工具,旨在改变数学领域。这款名为Axplorer的创新工具,旨在帮助数学家发现可能导致解决长期存在的数学难题的模式。Axplorer是对早期工具PatternBoost的升级版本,该工具由现任Axiom研究科学家François Charton于2024年共同开发。通过利用先进的AI技术,Axiom Math将赋能研究人员,并重新塑造数学发现的方式。