Meta与NYU发布h1定理证明循环系统
热点事件持续更新
Meta与NYU发布h1定理证明循环系统
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Meta 与 NYU 的研究者发布论文，提出名为 h1 的定理证明循环系统：它只给模型快速的 Lean 反馈和搜索工具，每次检查失败后继续尝试，不预设计划，仅在每轮前生成进度摘要。 在 PutnamBench 上，h1 以 598 比 597 的得分超过手工构建的 Goedel-Architect，每题成本为 1.08 美元对 1.47 美元。研究团队称，在相同模型下，一个配有良好 Lean 工具和更多算力的简单循环，就能达到或超过手工搭建的定理证明工作流。
AI 根据报道生成 · 1 小时前更新
最新进展11月2日 03:25
Meta 与 NYU 论文：简单循环 h1 在 Lean 定理证明上超越手工工作流报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- Rohan PaulMeta 与 NYU 论文：简单循环 h1 在 Lean 定理证明上超越手工工作流
Meta 与 NYU 的论文提出 h1——一个只给模型快速 Lean 反馈和搜索工具、每次检查失败后继续工作的简单循环，不预设计划，仅在每轮前生成进度摘要。同一模型下，h1 在 PutnamBench 上以 598 比 597 击败手工构建的 Goedel-Architect，每题成本 $1.08 对 $1.47。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。