Meta 与 NYU 极简循环 h1 刷新定理证明纪录

Meta 与 NYU 发表论文《h1: A Taste of the Bitter Lesson in Automated Theorem Proving》,作者包括 Rémi Munos、Julia Kempe 等。h1 是一个极简 agent 循环,仅通过简单 harness 调用模型,便打平了以往精心设计的手工定理证明工作流,并在 PutnamBench 上刷新纪录,印证了"苦涩教训":算力与规模化往往胜过精巧的领域工程。

2026-11-02 ~ 2026-11-02 · 2 条相关

• Meta 与 NYU 论文：简单循环 h1 打平手工定理证明工作流 — rohanpaul_ai · 2026-11-02
• arXiv 论文 h1：极简 Lean 循环刷新 PutnamBench 纪录 — rohanpaul_ai · 2026-11-02