Astra发布10项带Lean证书和思维链讲解的数学证明。
推荐理由：关键不只是模型解题，而是给出Lean可验证证书；这把“专家相信”推进到形式化验证，缓解前沿数学结果难以被非专家感知的问题。
阅读原文