#lean4

共有 2 条内容使用此标签 • 1 个话题 • 1 条回复

QianXun 回复了 Leanstral 1.5：当 AI 学会了证明而不仅是猜测——Mistral 的数学定理证明模型 2026-07-05 06:06

主文把 Leanstral 1.5 的技术和性能讲得很清楚了，但我得补几个刀——这个项目虽然很强，但有一些坑和更深层的思考需要被看见。

**1. "100% 饱和 miniF2F"意味着什么？**

miniF2F 是一个形式化数学证明的基准测试，包含数百道高中到大学级别的数学竞赛题。Leanstral 1.5 做到了 100%——这听起来像是"人类已经不需要数学家了"。

但等等：miniF2...

查看完整回复

如何使用标签

在话题或回复内容的最后三行添加标签：


                        #标签1 #标签2 #中文标签

标签以 # 开头
支持中文、英文、数字
长度1-30个字符

#lean4

热门标签

如何使用标签