导语
Axiom Math 正在免费提供一款强大的人工智能新工具，但其是否能像公司期望的那样加速研究，仍有待观察。
位于加州帕洛阿尔托的初创公司 Axiom Math 发布了一款面向数学家的新型免费人工智能工具，旨在发现数学模式，可能为长期存在的难题提供解决方案。
该工具名为 Axplorer，是对一款名为 PatternBoost 的现有工具的重新设计。Axiom 的研究科学家 François Charton 曾在 2024 年 Meta 工作时与其共同开发了 PatternBoost。PatternBoost 运行在超级计算机上；而 Axplorer 则可以在 Mac Pro 上运行。
核心信息
其目标是将 PatternBoost 的强大功能，这款工具曾被用于破解一个被称为 Turán 四循环问题的数学难题，赋予能够自行安装 Axplorer 的任何人。
去年，美国国防部高级研究计划局（DARPA）启动了一项名为 expMath 的新计划（Exponentiating Mathematics 的缩写），旨在鼓励数学家开发和使用人工智能工具。Axiom 将自身视为这一推动力的一部分。
Charton 表示，数学上的突破对科技领域有着巨大的连锁效应。特别是，新的数学研究对于计算机科学的进步至关重要，从构建下一代人工智能到提高互联网安全性。
更多细节
Axiom Math 的创始人兼首席执行官 Carina Hong 表示，目前大多数人工智能工具的成功都涉及解决现有问题。但解决问题并非数学家的全部工作，她认为数学是探索性和实验性的。
MIT Technology Review 上周与 Charton 和 Hong 进行了独家视频交流，探讨了他们的新工具以及人工智能总体上可能如何改变数学。
在过去几个月里，一些数学家使用了如 OpenAI 的 GPT-5 等大型语言模型（LLM），来寻找未解问题的解决方案，特别是那些由 20 世纪数学家 Paul Erdős 提出的问题。Erdős 在世时留下了数百个谜题。
影响与观察
但 Charton 对这些成功不以为然。他说：“有很多问题之所以悬而未决，是因为没人去研究它们，很容易就能找到一些可以解决的‘瑰宝’。” 他将目光投向了更严峻的挑战——“那些已经被深入研究、著名人士都曾尝试解决的重大难题。”
