谷歌DeepMind官宣推出「AI co-mathematician」多智能体系统，在FrontierMath Tier 4自主模式下斩获48%正确率。牛津教授借助该系统攻克Kourovka ...

数学界「悬案簿」Kourovka Notebook，AI取得新突破。 群论领域几十年无解的第21.10号问题，被牛津数学家Marc Lackenby用谷歌一个新系统破解了。 过程也很有意思：AI第一次给出的证明是错的，被系统里的审查Agent揪出了漏洞。 Lackenby看到之后突然意识到：「等一下，我知道该如何填补这个漏洞」。 于是，通过和AI的反复配合，Lackenby最终成功解答出了这道数学 ...

一个专为数学研究设计的多 Agent 系统 群论领域数十年无解的第21.10号问题，最近在 Google DeepMind 新 Agent 系统 AI Co-Mathematician 的协助下，被牛津大学数学家 Marc Lackenby 破解了。