AGI Hunt· geoffreyirving·· 3 小时前精选AI 评分72
AI 智能体一周完成顶尖 Lean 形式化，耗约 3 亿输出 token 与 13.5 万美元
AI agent 一周完成顶尖 Lean 形式化,耗约 30 亿 token、13.5 万美元
AI 导读
AI 智能体在约一周内完成了一项被认为是迄今最令人印象深刻的 Lean 形式化之一，评价者将其比肩 Liquid Tensor Experiment 与费马大定理的证明水平。
推荐理由
评价者将其比肩 Liquid Tensor Experiment 与费马大定理证明，并给出 agent 完成数学形式化的成本与规模。
来源：AGI Hunt · agihunt.info