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」频道最新
- 团队弃个人 AI 智能体改用共享版：基于 Claude Managed Agents 一周上线 — every · 2026-10-23
- Reddit 开发者求问：如何防止 Agent 提示词越改越退化 — SleepFlimsy6963 · 2026-10-23
- 接付费商单该用什么模型?Reddit 创作者晒 Claude Code+ComfyUI 工作流 — newaccount47 · 2026-10-23
- 社科学者批 AI 圈：把 Agent 开发当会自动变好的黑箱 — RexDouglass · 2026-10-23
- 网友 vibe coding 出 Tesla Roadster 小游戏，赶在 GTA VI 之前 — Jasonio · 2026-10-23
- Codex CLI 0.164.0 报 account/read 错误，重启 daemon 可解 — bytebot · 2026-10-23