DeepSeek代理框架登顶Lean Eval
热点事件持续更新
DeepSeek代理框架登顶Lean Eval
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Alex Skidanov团队构建并公开介绍基于DeepSeek的Agent Harness，在成本远低于前沿模型的情况下登顶Lean Eval基准。该结果说明，较低成本模型配合专门的代理框架，可以在该形式化数学评测中达到领先表现。 Skidanov在演讲中还讨论了模型生成Lean证明的可信度问题，包括人们能在多大程度上信任这些证明，以及团队为改善证明可信度所采取的做法。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 09:05
DeepSeek Agent Harness 以低成本登顶 Lean Eval，并讨论形式化证明可信度报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- AGI HuntDeepSeek Agent Harness 以低成本登顶 Lean Eval，并讨论形式化证明可信度
Alex Skidanov（前 Netsky/near 联创）在 SF Lean Meetup 的演讲介绍了团队基于 DeepSeek 构建的 agent harness，以远低于前沿模型的成本登顶 Lean Eval 基准。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。