这家初创公司想改变数学家做数学的方式
数学研究的新范式：Axiom Math 推出免费 AI 工具 Axplorer
位于加州帕洛阿尔托的初创公司 Axiom Math 近日发布了一款名为 Axplorer 的免费 AI 工具，旨在帮助数学家发现数学模式，从而为长期悬而未决的问题寻找解决方案。这款工具是对现有工具 PatternBoost 的重新设计，后者由 Axiom 现任研究科学家 François Charton 于 2024 年在 Meta 期间共同开发。
从超级计算机到个人电脑：AI 数学工具的民主化
PatternBoost 原本运行在超级计算机上，而 Axplorer 则能在 Mac Pro 上运行。这一转变的核心目标是将 PatternBoost 的强大能力——例如它曾用于破解被称为 Turán 四环问题 的数学难题——交到任何能在自己电脑上安装 Axplorer 的人手中。
这一举措与更广泛的趋势相呼应。去年，美国国防高级研究计划局（DARPA）启动了一项名为 expMath（意为“指数化数学”）的新计划，鼓励数学家开发和使用 AI 工具。Axiom Math 视自己为这一推动力的一部分。
超越解题：探索与实验的数学
Axiom Math 的创始人兼首席执行官 Carina Hong 指出，虽然 AI 工具在寻找现有问题的解决方案方面取得了许多成功，但这并非数学家工作的全部。“数学是探索性和实验性的，”她强调。
这一观点得到了 Charton 的呼应。他特别提到，数学领域的突破对技术有着巨大的连锁效应。新的数学进展对于计算机科学的进步至关重要，从构建下一代 AI 到改善互联网安全都离不开它。
对“聊天机器人数学”的质疑
最近几个月，一些数学家开始使用大型语言模型（如 OpenAI 的 GPT-5）来寻找未解问题的答案，尤其是已故数学家保罗·埃尔德什留下的数百个谜题。然而，Charton 对这些成功持保留态度。
“有很多问题之所以悬而未决，只是因为没人去研究它们，要找到几个能解决的‘宝石’很容易，”他说。Axiom Math 的目标是更具挑战性的难题——“那些被深入研究过、许多著名学者都曾为之努力的重大问题。”
去年，Axiom Math 就使用其另一款工具 AxiomProver，为四个此类数学问题找到了解决方案。而 PatternBoost 破解的 Turán 四环问题，正是图论中的一个重要难题。图论是数学的一个分支，用于分析社交媒体连接、供应链和搜索引擎排名等复杂网络。
工具背后的愿景
通过将 Axplorer 免费提供给更广泛的数学社区，Axiom Math 希望降低高级数学探索的门槛，激发更多跨学科的合作与创新。这不仅关乎解决具体问题，更在于重塑数学研究本身的过程——使其更加协作、可及，并充分利用 AI 的模式识别和计算能力。
在 AI 日益渗透各领域的今天，Axiom Math 的尝试或许标志着数学研究方式的一个转折点：从依赖个人灵感和长期苦思，转向人机协作、数据驱动的探索新时代。
