LongCat-Flash-Prover：AI 攻克数学定理证明，不仅要“算得对”，更要“证得严”

搜广推
,
1
这是一个从 https://tech.meituan.com/2026/04/07/longcat-flash-prover.html 下的原始话题分离的讨论话题