陶哲轩回国没

陶哲轩对谈OpenAI高管：AI也能做数据稀疏推理，“也许很快OpenAI就能证明陶哲轩是错的” “也许很快OpenAI将能证明陶哲轩是错的。”好家伙！隔着屏幕都能闻到“硝烟”味了(bu shi~事情是这样的。数学大佬...

陶哲轩携AI再战数学！o4-mini秒怂弃赛，Claude 20分钟通关 陶哲轩YouTube视频第二弹震撼来袭！这一次，他让AI挑战在Lean中形式化代数蕴含证明，结果Claude约20分通关，o4-mini太过谨慎...

陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车 数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法...

陶哲轩：GPT-4神助攻，写Python代码轻松省半小时 刚刚，陶哲轩大赞：用ChatGPT写Python代码，效果真是太好了，它直接为我节省了数学研究中半小时的工作量！...