2025-04-30 这一期

这一期没有导语。

本期收录

DeepSeek 发布定理证明模型 Prover-V2 (2025-04-30 · Synced)
在 Lean 4 基准上达到 71.1%，超越 GPT-4o 等闭源模型

本站只做摘要与索引，全部内容版权归原作者所有。