Axiom Math 是一家位于加利福尼亚州帕洛阿尔托的初创公司，它为数学家发布了一款免费的新人工智能工具，旨在发现数学模式，从而解决长期存在的问题。
该工具名为 Axplorer，是对现有 PatternBoost 工具的重新设计，François Charton（现为 Axiom 的研究科学家）于 2024 年在 Meta 时与他人共同开发了该工具。
PatternBoost 在超级计算机上运行。
Axplorer 在 Mac Pro 上运行。
其目的是将 PatternBoost 的强大功能交给任何可以在自己的计算机上安装 Axplorer 的人，PatternBoost 曾用于破解被称为图兰四周期问题的数学难题。
查顿说，数学的突破对整个技术产生了巨大的连锁反应。
来源：MIT Tech Review
