开源智能体烧 1 亿 token 挑战数学开放问题，52 小时逼近纪录
GuiltyBookkeeper4849 · reddit · 2026-09-22
开发者展示一个开源自主智能体正在挑战组合数学中的覆盖设计开放问题 C(25,15,5)：目前已知最优解为 42 组，目标是找到 41 组的更优解。
- 实验已连续运行 52+ 小时，处理了 106,406,666 个 token，当前最优解已从起点推进到 44 组
- 解的正确性可通过网站上的实时独立验证器检验，且全部内部推理、记忆与尝试过程公开可查：artificium-covering-experiment.gr.bio
- 智能体由开源模型 Qwen 27B 驱动，配合自研的自主工作与持续学习 harness（GitHub: officialgr/agent-artificium），会不断尝试新方法并从错误中学习
- 全部实验可在消费级硬件复现（作者用 RunPod 上的 5090，3090 亦可行）；若达成 41 组，将是开源智能体首次在数学研究上取得突破
- 作者同时寻求捐赠与算力赞助
所属事件:开源智能体挑战覆盖设计难题 52小时逼近纪录(2 条相关)→
「编程与Agent」频道最新
- 用 fable 5.2 跑 CAD：模型苦思 1 小时烧掉 24.7 万 token 的名场面 — _Stocko_ · 2026-11-12
- Factory 新员工入职一月:企业 AI 之争胜在基础设施而非 demo — maddiehfaulkner · 2026-11-12
- Ploid 发布 20 亿人活体索引，为 AI Agent 提供人物数据层 — HeyToha · 2026-11-12
- 两人小公司用 46 个 AI Agent 运营：审批门禁、哈希锁文件与翻车复盘 — dkovl · 2026-11-12
- LlamaIndex 让 AI Agent 渗透测试自家 LlamaParse，四天暴露四条经验 — llama_index · 2026-11-12
- Manhattan 字体 v0.0.1：每个字母都是一个 Python 函数 — allanyu_ · 2026-11-12