站内搜索：陶哲轩12年前的预言，现在AI帮他兑现了
乡村振兴
体育产业
互联网
双创服务
科技产业
企服行业
文化产业
旅游产业
美食行业
房产行业
汽车产业
更多
教育产业
视频
博客
登录
注册
搜索
陶哲轩12年前的预言，现在AI帮他兑现了
不感兴趣
x
科技
0评论
·
0
来自：
代理记账服务中心
|
拓荒牛
2026-06-20
![](https://img2.tuohuangzu.com/uninf/images/202606/2026062022501376527.png"><p>没想到，回旋镖正中靶心。过去这一年，ai在数学领域突然开始疯狂提速。</p><p>从openai解决开放问题，到deepmind批量攻克数学猜想，越来越多数学证明被写进形式化系统，交给计算机自动验证。</p><p>回望来路，最早看清风向、亲自下场实践的人，就是陶哲轩。</p><p>十年间，他先后推进大规模协作数学、lean形式化证明、又发起equational)
