登录

证明

分类

消化

8月12日，陶哲轩在博客发文，称自己花了数天时间（同样在大量AI辅助下）将这份证明消化、简化并重新形式化，新版Lean代码缩减到约1.5万行。

文章