Kimina-Prover:首个实现人类级形式推理的大型定理证明模型由 Numina 与 Kimi 团队联合开发的 Kimina-Prover-72B 正式发布。这是目前在 Lean 4 形式化语言中,首个能够以接近人类方式推理并自动构建数学定理证明的大型神经定理证明...大语言模型# Kimina-Prover# 大型定理证明模型5个月前01720