数学界「悬案簿」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体育app入口登录官网调解者不会坐窝输出谜底，而是先和用户对话，像确实的合作家相同帮对方简洁问题。

之后它将任务分发到多条并行责任流：一条作念文件检索，一条搭盘算框架，一条尝试知道政策。

每条责任流都有我方的调解 Agent，异步早先，互不袭击。用户随时能介入、带领、承袭。

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

相比止境的少许在于：它对失败的格调。

系统会抓久化跟踪通盘失败的假说，不会丢弃，而是看成第一等的掂量产出保存下来。

论文中提到，在数学掂量里，知说念什么行欠亨经常和知说念什么行得串通等遑急。

「AI 皆集数学家」会抓久化跟踪每一条死巷子、每一个被狡赖的假定、每一次审稿 Agent 发现的缺陷。这些「负空间」不会被丢弃，而是成为后续探索的高下文。

它的产出物也不是一段聊天纪录或一篇未告戒证的草稿中国kaiyun，而是带 margin 谨慎和起原溯源的 LaTeX 文档—