AGI Hunt· lukaszkaiser·· 2 小时前AI 评分53
DeepSeek Agent Harness 以低成本登顶 Lean Eval，并讨论形式化证明可信度
基于 DeepSeek 的 agent harness 以极低成本登顶 Lean Eval
AI 导读
Alex Skidanov（前 Netsky/near 联创）在 SF Lean Meetup 的演讲介绍了团队基于 DeepSeek 构建的 agent harness，以远低于前沿模型的成本登顶 Lean Eval 基准。
来源：AGI Hunt · agihunt.info