陶哲轩视频
-
发布了文章 1个月前
很快OpenAI能证明陶哲轩错了?陶哲轩一句话,被OpenAI高管怼回去
很快OpenAI能证明陶哲轩错了?陶哲轩一句话,被OpenAI高管怼回去 这周,OpenAI连更两弹,又将o1模型推向全网最高潮。就连奥特曼本人激动地预告,「迫不及待期待着下周的Day 3发布,感觉周一是那么地遥远」。...
-
发布了文章 2个月前
陶哲轩最新采访:AI将颠覆数学界!用Lean规模化,成百上千条定理一次秒杀
陶哲轩最新采访:AI将颠覆数学界!用Lean规模化,成百上千条定理一次秒杀 数学历来是一门孤独的科学。1986 年,安德鲁·怀尔斯(Andrew Wiles)为了证明费马大定理,遁入书斋长达七年之久。...
-
发布了文章 2个月前
陶哲轩联手AI挑战经典ε-δ极限!加法秒杀、乘法翻车
陶哲轩联手AI挑战经典ε-δ极限!加法秒杀、乘法翻车 数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了!他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题:加法定理Copilot挥洒自如,减法...
-
发布了文章 2个月前
陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场
陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场 想参加陶哲轩发起的「众包」数学研究项目吗?机会来了!...
-
发布了文章 2个月前
陶哲轩“喂饭级”AI教程来了!只用GitHub Copilot证明函数极限问题
陶哲轩“喂饭级”AI教程来了!只用GitHub Copilot证明函数极限问题 视频新人博主陶哲轩又更新了!这次是“喂饭级”AI教程——手把手演示如何只用GitHub Copilot证明函数极限问题。(这更新频率确实o...
没有更多内容