Axiom Math推出创新AI工具,旨在彻底改变数学研究

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

位于加利福尼亚州帕洛阿尔托的初创公司Axiom Math推出了一款令人兴奋的新AI工具,旨在改变数学家们的工作方式。这款名为Axplorer的免费工具,旨在识别可能导致解决长期挑战的数学模式。Axplorer的开发源于早期项目PatternBoost,该项目由现任Axiom研究科学家François Charton共同开发。凭借其先进的功能,Axplorer有望提升数学探索和问题解决能力,为研究人员在寻求突破性发现的过程中提供强有力的支持。