This startup wants to change how mathematicians do math

Axiom Math是一家总部位于加利福尼亚州帕洛阿尔托的初创公司，近日发布了一款面向数学家的免费AI工具。该工具名为Axplorer，旨在发现数学模式，这些模式可能为长期存在的数学问题提供解决方案。Axplorer是对现有工具PatternBoost的重新设计版本。PatternBoost由François Charton于2024年共同开发，Charton目前担任Axiom的研究科学家。这款工具的推出标志着AI技术在数学研究领域的又一重要应用，有望改变数学家进行研究工作的方式。