超级计算机上的数学 AI，现在能在你 Mac 上跑了¶

Ch01.1211 超级计算机上的数学 AI，现在能在你 Mac 上跑了¶

📊 Level ⭐⭐ | 4.8KB | entities/超级计算机上的数学-ai现在能在你-mac-上跑了.md

超级计算机上的数学 AI，现在能在你 Mac 上跑了¶

来源: Unknown

发布日期: 2026-04-14

原文链接: https://mp.weixin.qq.com/s/uYxWxkOH2SXjEMQz7rxVFw

把超级计算机装进你的 Mac¶

加州帕洛阿尔托的 Axiom Math 公司最近发布了一款免费的 AI 新工具，专为数学家打造。它的使命是发现数学模式，说不定就能解开那些困扰多年的难题。🔍

这款工具叫 Axplorer，是对 PatternBoost 的重新设计。PatternBoost 是 François Charton 在 2024 年还在 Meta 时共同开发的，现在他是 Axiom 的研究科学家。简单来说，PatternBoost 得在超级计算机上跑，而 Axplorer 在你的 Mac Pro 上就能运行。

这个工具的目标很明确：让每个能在自己电脑上安装 Axplorer 的人，都能用上 PatternBoost 的强大功能。要知道，PatternBoost 曾经攻克过一个叫"图兰四圈问题"（Turán four-cycles problem）的硬核数学难题。

去年，美国国防部高级研究计划局（DARPA）启动了一个叫 expMath 的新项目，全称是"指数级数学"（Exponentiating Mathematics），目的就是要鼓励数学家们开发和使用 AI 工具。Axiom 认为自己就是这个浪潮的一部分。

Charton 说，数学上的突破会对整个技术领域产生巨大的连锁反应。特别是新的数学理论，对计算机科学的进步至关重要——从打造下一代 AI 到提升互联网安全性，都离不开它。

数学不只是解题¶

到目前为止，AI 工具的大部分成功案例都是解决已有的问题。但 Axiom Math 的创始人兼 CEO Carina Hong 说，解决问题可不是数学家工作的全部。她说，数学本质上是探索性的、实验性的。

上周，《麻省理工科技评论》独家视频采访了 Charton 和 Hong，聊了他们的新工具，以及 AI 到底会如何改变数学。

用聊天机器人做数学¶

过去几个月里，不少数学家开始用大语言模型（比如 OpenAI 的 GPT-5）来解决未解之谜，尤其是 20 世纪数学家保罗·埃尔德什（Paul Erdős）留下的那些题目。这位传奇数学家去世时留下了数百个数学谜题。📝

但 Charton 对这些成功不以为然。"有大量的问题之所以还是未解之谜，只是因为没人去研究它们。随便找几个能解决的宝贝并不难，"他说。他的目标要难啃得多——"那些被研究得非常透彻、有名的大人物都啃过的大难题。"

Charton 说，PatternBoost 攻克的图兰四圈问题就是这样一个硬核问题。这个问题在图论中非常重要。图论是什么？简单来说，它就是用来分析复杂网络的数学分支，比如社交媒体的人际关系、供应链、搜索引擎排名等等。想象一下，一张纸上布满了点，这个谜题就是要你找出如何在尽可能多的点之间画线，但不能形成四个点连成一圈的回路。🔗

Axiom Math 表示，Axplorer 还在另外两个图论大问题上取得了与已知最佳结果持平或更好的成绩。

大语言模型的"保守"本质¶

"如果你想做的事是基于已有成果的衍生，那大语言模型非常擅长，"Charton 说，"这没什么好惊讶的——大语言模型是用所有已有数据训练出来的。但也可以说，大语言模型很保守，它们倾向于复用已有的东西。"

→ 原文存档

关联¶

• 相关概念: Harness Engineering