Group Bench:约 100 道群论题测你的 AI agent

Sauers_ · x · 2026-09-10

开发者 Sauers 发布 Group Bench,一个针对 AI agent 的数学基准:约 100 道群论(group theory)题目,涵盖可数离散群的 57 种性质,配有一个交互式地图网站,梳理各性质之间的开放问题与未解决配对(如「有限呈现群能否有中间增长」这类可追溯到 Milnor、Gromov 的经典问题)。项目在 GitHub 开源,并维护带日期的进展记录;作者邀请解出题目的人开 issue 报告。

所属事件:Group Bench 发布:约 100 道群论难题测试 AI 智能体(2 条相关)→

原文链接 →

「编程与Agent」频道最新

更多「编程与Agent」频道 AI 资讯 →