评分 7.0 · 来源：MIT Technology Review · 发布于 2026-03-25
评分依据：PatternBoost 的桌面化版本，免费开放且有实际数学发现成果支撑，降低 AI 辅助数学研究门槛
要点
Axiom Math 发布免费 AI 工具 Axplorer，旨在帮助数学家发现可能解开长期难题的数学模式。该工具由 Meta 前研究科学家 François Charton 参与 Design，是此前 PatternBoost 系统的重新设计版本。PatternBoost 曾在超级计算机上运行，成功破解了图论中的 Turán 四圈问题；而 Axplorer 可以在普通 Mac Pro 上本地运行。
Axiom Math CEO Carina Hong 强调，当前 AI 在数学领域的成功案例主要集中在「找到已知问题的解」，但数学家的实际工作还包括探索性和实验性研究——这正是 Axplorer 试图支持的方向。美国 DARPA 去年启动了 expMath（Exponentiating Mathematics）计划，鼓励数学家开发和使用 AI 工具，Axiom 视自己为这一趋势的一部分。
Charton 对近期使用 GPT-5 等 LLM 解开 Erdős 猜测的热潮持保留态度，认为其中很多是「已知有解的简单问题」。真正有价值的 AI 数学工具应该能帮助研究者发现全新模式，而非只是解题。
🤖 AI 点评
将超算级工具压缩到桌面级运行这个工程本身就很厉害。AI 辅助数学目前主要有两条路线：一是用 LLM 做解题（DeepMind 的 AlphaProof 等），二是用 AI 做模式发现和猜想生成（PatternBoost/Axplorer 代表的方向）。后者对纯数学研究的价值可能更大，因为「提出好问题」比「解已有问题」更难。免费开放策略也聪明——在学术界建立用户基础和口碑，是这类工具型创业公司最可行的冷启动路径。