3美元干了超算集群三周的活：Axiom Math开源数学发现工具Axplorer

据 1M AI News 监测，AI 数学公司 Axiom Math 开源了 Axplorer，一款帮助数学家发现新数学模式和构造的 AI 工具，定位为谷歌 DeepMind AlphaEvolve 的开源替代。Axplorer 基于 PatternBoost 重新设计，后者由 Axiom 研究科学家 François Charton 2024 年在 Meta 时联合开发，曾用于攻克图论中的 Turán 四环问题，但需要数千甚至上万台机器跑三周才能出结果。Axplorer 在单机上 2.5 小时即可匹配同样的成果，云计算成本仅 3 美元。

Axplorer 的工作方式是给定一个数学样本，生成类似的构造供数学家筛选，再将筛选结果反馈迭代，逐步逼近未被发现的数学模式。与 AlphaEvolve 需要大规模 GPU 集群且不对外开放不同，Axplorer 可在一台 Mac Pro 上本地运行，代码已在 GitHub 开源。Axiom 称已用 Axplorer 在图论的另外两个经典问题上匹配或刷新了已知最优结果。

Axiom Math 由 25 岁的广州姑娘洪乐潼创立，她三年修完 MIT 数学与物理双学位，获罗德学者奖学金赴牛津读硕，后从斯坦福法学博士与数学博士联合项目退学创业。公司今年 3 月完成 2 亿美元 A 轮融资，估值 16 亿美元，由 Menlo Ventures 领投。