热点事件持续更新
Meta与NYU提出h1循环系统，在定理证明任务中超越手工工作流
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026年11月2日，X平台用户Rohan Paul发布消息称，Meta与NYU等机构发表论文，提出名为h1的系统。据该报道，h1是一个简单循环：为模型提供快速的Lean反馈和搜索工具，并在失败后继续尝试，不预设分解或搜索结构。报道称，这一简单Lean反馈循环可媲美手工定理证明工作流。目前关于h1的公开信息仅来自这一条报道，尚未见论文原文细节、实验数据或与其他方法的对比结果，事件仍处于早期披露阶段。
AI 根据报道生成 · 3 小时前更新
最新进展11月2日 03:25
Meta与NYU等机构论文提出h1简单Lean反馈循环，称可媲美手工定理证明工作流。报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- Rohan Paul (@rohanpaul_ai) · XMeta 与 NYU 论文提出 h1：简单 Lean 反馈循环媲美手工定理证明工作流
Meta 与 NYU 等机构论文提出 h1，一个给模型快速 Lean 反馈和搜索工具、失败后继续尝试的简单循环，不预设分解或搜索结构。
本事件热度走势
当前热度 9·可比范围峰值 10（11月2日 04:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。