Lean技术

陶哲轩发布视频演示如何借助AI仅用33分钟完成复杂证明，他的订阅量和观看量迅速增长。他开发的数学助手也迎来2.0版本升级，用于简化某些命题逻辑的证明任务。