[
控场AI
]
知识动态
实体
播客
深度
开发者
关于
Get CLI
EN
人物
Leonardo de Moura
微软研究院研究员，Lean定理证明器的主导开发者
时间轴 (近 90 天)
8月10日
Lean由微软研究院的Leonardo de Moura于2013年创建，目前已发展到Lean 4版本
待验证
50%
全部知识事实 (1)
待验证
Lean由微软研究院的Leonardo de Moura于2013年创建，目前已发展到Lean 4版本
50%
来源文章
GPT-5.6破解50年图论猜想？完整证据链深度拆解
7月15日