Wesum AI
首页
图谱
主题百科
首页
/
图谱
/
Lean
Lean
产品
实现验证流程半自动化的形式化数学工具
4 次提及
7 个连接
首次出现: 2026-05-16
最近出现: 2026-06-23
关系图谱
关系 (5)
使用 (2)
Mathlib
陶哲轩
应用于 (1)
AI科研助手
使用技术 (1)
AI自动形式化技术
合作 (1)
Mathlib
相关文章 (4)
1.
人工智能学家 - 《纽约时报》万字长文:两年与五天,一份被AI截胡的数学证明
2.
量子位 - 陶哲轩12年前的预言,现在AI帮他兑现了
3.
量子位 - 陶哲轩:几周前,AI突破数学形式化临界点
4.
人工智能学家 - 陶哲轩:几周前,AI突破数学形式化临界点