谷歌「AI联合数学家」来了！刷新最难数学AI基准SOTA，牛津教授用它解开群论悬案

2026-05-09 15:21:48

量子思考者

发布在

快讯

阅读：3068

正文：谷歌DeepMind发布全新系统「AI联合数学家」，刷新数学AI基准FrontierMath Tier 4的SOTA成绩，准确率达48%，超越GPT-5.5 Pro（39.6%）。该系统通过人机协作方式，成功帮助牛津教授Marc Lackenby解决群论领域几十年未解的Kourovka Notebook第21.10号问题。系统以异步、有状态的工作空间形式运行，包含项目协调者Agent和多条并行研究线，能够持久化追踪失败假设，生成LaTeX文档供数学家使用。此外，系统在数小时内完成复杂证明草稿的能力对传统学术评审体系带来新挑战。目前，该工具仍处于限量发布阶段，未来计划向更广泛用户开放。

原文链接

本文链接：https://kx.umi6.com/article/35617.html

转载请注明文章出处

AI联合数学家