数学界「悬案簿」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 认真统筹，排除名务，退换多条商议线并行鼓动。

数学家上传一篇论文、冷落一个商议标的后，2026世界杯中国最新押注app谐和者不会坐窝输出谜底，而是先和用户对话，像信得过的合作家相同帮对方爽朗问题。

之后它将任务分发到多条并行职责流：一条作念文件检索，一条搭臆想框架，一条尝试评释政策。

每条职责流王人有我方的谐和 Agent，异步启动，互不膺惩。用户随时能介入、拓荒、摄取。

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

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

系统会握久化跟踪通盘失败的假说，不会丢弃，而是四肢第一等的商议产出保存下来。

论文中提到，在数学商议里，知谈什么行欠亨时常和知谈什么行得串通等周折。

「AI 连合数学家」会握久化跟踪每一条死巷子、每一个被辩白的假定、每一次审稿 Agent 发现的症结。这些「负空间」不会被丢弃，而是成为后续探索的凹凸文。

它的产出物也不是一段聊天纪录或一篇未造就证的草稿2026世界杯中国最新押注app，而是带 margin 肃肃和起原溯源的 LaTeX 文档—