Google 新研究：LEAP 框架实现通用 LLM 在数学证明中的高效求解
elvis(@omarsar0)144 字 (约 1 分钟)
88
Google 的 LEAP 框架将通用 LLM 与形式化数学编译器 Lean 及验证器结合，使 Lean-IMO-Bench 一次求解率从低于10%提升至70%，并以一模型解决 Putnam 2025 全部 12 题，超越专门化金牌系统。
入选理由：LEAP 通用 LLM 一模型解决全部 12 道 Putnam 2025 题。
精选推文#LEAP#Lean 编译器#Putnam 2025#agentic 框架#通用 LLM英文