陶哲轩说中文视频
-
发布了文章 1个月前
陶哲轩对谈OpenAI高管:AI也能做数据稀疏推理,“也许很快OpenAI就能证明陶哲轩是错的”
陶哲轩对谈OpenAI高管:AI也能做数据稀疏推理,“也许很快OpenAI就能证明陶哲轩是错的” “也许很快OpenAI将能证明陶哲轩是错的。”好家伙!隔着屏幕都能闻到“硝烟”味了(bu shi~事情是这样的。数学大佬...
-
发布了文章 2个月前
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关 陶哲轩YouTube视频第二弹震撼来袭!这一次,他让AI挑战在Lean中形式化代数蕴含证明,结果Claude约20分通关,o4-mini太过谨慎...
没有更多内容













