数学界「悬案簿」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 搞定的。

当今，火狐直播2026世界杯赛事直播入口谷歌也回顾了。

「AI 衔余数学家」，是什么？

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

顶层有一个「名目调解者」Agent 精致统筹，拆免除务，调治多条盘问线并行鼓励。

数学家上传一篇论文、提倡一个盘问场所后，亚搏体育调解者不会坐窝输出谜底，而是先和用户对话，像确实的合作家一样帮对方精粹问题。

之后它将任务分发到多条并应用命流：一条作念文件检索，一条搭诡计框架，一条尝试阐明政策。

每条使命流皆有我方的调解 Agent，异步动手，互不阻拦。用户随时能介入、雷同、罗致。

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

比拟畸形的少量在于：它对失败的格调。

系统会执久化跟踪整个失败的假说，不会丢弃，而是四肢第一等的盘问产出保存下来。

论文中提到，在数学盘问里，知说念什么行欠亨频频和知说念什么行得勾通等进军。

「AI 衔余数学家」会执久化跟踪每一条死巷子、每一个被狡赖的假定、每一次审稿 Agent 发现的罅隙。这些「负空间」不会被丢弃，而是成为后续探索的落魄文。

它的产出物也不是一段聊天纪录或一篇未劝诫证的草稿亚搏体育，而是带 margin 瞩目和开端溯源的 LaTeX 文档—