Meta与纽约大学提出h1，以快速验证、搜索和失败反馈匹配或超过手工编排流程。
推荐理由：在模型相同的条件下，h1仅靠Lean即时反馈和持续搜索便击败复杂规划，说明形式化推理的关键增益可能来自工具质量与测试时计算，而非流程堆叠。
阅读原文