数学界「悬案簿」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 精良统筹，拆革职务，治疗多条商榷线并行鼓吹。

数学家上传一篇论文、建议一个商榷标的后，滚球中国官方网站入口调和者不会坐窝输出谜底，而是先和用户对话，像信得过的合作家相似帮对方精熟问题。

之后它将任务分发到多条并行职责流：一条作念文件检索，一条搭经营框架，一条尝试阐发战略。

每条职责流齐有我方的调和 Agent，异步运转，互不攻击。用户随时能介入、指点、接纳。

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

相比相等的小数在于：它对失败的气派。

系统会捏久化跟踪统统失败的假说，不会丢弃，而是行为第一等的商榷产出保存下来。

论文中提到，在数学商榷里，知谈什么行欠亨频频和知谈什么行得勾搭等进犯。

「AI 汇集数学家」会捏久化跟踪每一条死巷子、每一个被抵赖的假定、每一次审稿 Agent 发现的间隙。这些「负空间」不会被丢弃，而是成为后续探索的荆棘文。

它的产出物也不是一段聊天纪录或一篇未教会证的草稿滚球官网，而是带 margin 翔实和着手溯源的 LaTeX 文档—