陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
数学大师陶哲轩的AI新实验来了！
这次是Lean 4自动化数学证明的第三支视频。
主要看看GitHub Copilot在处理分析学经典的「ε-δ」问题（描述函数极限的经典方法）时，效果究竟如何。
18
0
2025-09-04
