智能AI None 谷歌「AI联合数学家」来了！刷新最难数学AI基准SOTA，牛津教授用它解开群论悬案 谷歌「AI联合数学家」来了。刷新最难数学AI基准SOTA，牛津教授用它解开群论悬案 听雨 2026-05-09 15:12:48 来源： 量子位 谷歌AI for Math迈出最新一步 听雨 发自 凹非寺 量子位 | 公众号 QbitAI 联合数学 Agent GPT 2026-05-09 听雨