NEAR AI Lean agent 全解 Putnam Bench,成本仅为次便宜方案的 1/250
lukaszkaiser · x · 2026-09-06
NEAR AI 的 Lean agent 宣布解决了 Putnam Bench 全部题目——Putnam 是全球最难本科数学竞赛,共 672 题——总成本仅 $111,是第二便宜提交方案成本的 1/250。项目完全开源。这一成绩展示形式化证明 + agent 在高难度数学推理任务上的性价比突破。
「编程与Agent」频道最新
- 多工具各存一份记忆,用户苦寻统一上下文方案 — utkuaytac · 2026-09-06
- 3 人团队玩不转多 Agent 协作：共享上下文三种方案全踩坑 — Practical_Sink401 · 2026-09-06
- 16GB 显存跑 Qwen3.8 本地模型做村庄模拟游戏，75 t/s 出字 — Fancy-Snow7 · 2026-09-06
- mitsuhiko 用 AI Agent 给 Python 实现 Java 式虚拟线程实验 — mitsuhiko · 2026-09-06
- AI 编程反而阻碍专长形成:新手被困在「专家型新手」悖论 — bibryam · 2026-09-06
- 开发者用 Meta 眼镜做 AI 识书 demo，计划打造 companion 应用 — LinusEkenstam · 2026-09-06