数学界「悬案簿」Kourovka Notebook，AI 得回新冲突。

群论范畴几十年无解的第 21.10 号问题，被牛津数学家Marc Lackenby用谷歌一个新系统破解了。

经过也很有兴味：AI 第一次给出的解说是错的，被系统里的审查 Agent 揪出了破绽。

Lackenby 看到之后倏得清爽到：「等一下，我知说念该怎样填补这个破绽」。

于是，通过和 AI 的反复配合，Lackenby 最终告成解答出了这说念数学困难。

这套东说念主机配合的系统，便是谷歌 DeepMind最新发布的「AI Co-Mathematician」（AI 纠合数学家）。

它在最难的数学 AI 基准FrontierMath Tier 4上拿了48%，刷新 SOTA。

致使向上了 GPT-5.5 Pro（39.6%）和 GPT-5.4 Pro（37.5%）。

最近几个月，不少数学困难，诸如接连几个 Erd ő s 问题齐是用 GPT 处罚的。

当今，谷歌也归来了。

「AI 纠合数学家」，是什么？

「AI 纠合数学家」是一个异步、有现象的使命空间，而非一问一答的模子。

顶层有一个「样式融合者」Agent 厚爱统筹，拆罢职务，疗养多条商量线并行股东。

数学家上传一篇论文、提倡一个商量所在后，开云kaiyun(中国)融合者不会坐窝输出谜底，而是先和用户对话，像着实的合作家相似帮对方广阔问题。

之后它将任务分发到多条并讹诈命流：一条作念文件检索，一条搭贪图框架，一条尝试解说战略。

每条使命流齐有我方的融合 Agent，异步初始，互不梗阻。用户随时能介入、设备、选用。

要是 Agent 卡住了，它也会主动在聊天窗口里乞助，而不是千里默重启。

比拟相等的少量在于：它对失败的派头。

系统会执久化跟踪所有这个词失败的假说，不会丢弃，而是四肢第一等的商量产出保存下来。

论文中提到，在数学商量里，知说念什么行欠亨时常和知说念什么行得串通等迫切。

「AI 纠合数学家」会执久化跟踪每一条死巷子、每一个被含糊的假定、每一次审稿 Agent 发现的破绽。这些「负空间」不会被丢弃，而是成为后续探索的高下文。

它的产出物也不是一段聊天纪录或一篇未训戒证的草稿开云体育，而是带 margin 在意和着手溯源的 LaTeX 文档—