陶哲轩中文
-
发布了文章 2个月前
很快OpenAI能证明陶哲轩错了?陶哲轩一句话,被OpenAI高管怼回去
很快OpenAI能证明陶哲轩错了?陶哲轩一句话,被OpenAI高管怼回去 这周,OpenAI连更两弹,又将o1模型推向全网最高潮。就连奥特曼本人激动地预告,「迫不及待期待着下周的Day 3发布,感觉周一是那么地遥远」。...
-
发布了文章 2个月前
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关 陶哲轩YouTube视频第二弹震撼来袭!这一次,他让AI挑战在Lean中形式化代数蕴含证明,结果Claude约20分通关,o4-mini太过谨慎...
-
发布了文章 2个月前
陶哲轩:AI让业余数学家也能做出贡献
陶哲轩:AI让业余数学家也能做出贡献 AI影响之一是让业余数学家也能做出贡献。数学下一次文化转变在于AI生成的证明是否会被接受。很快会有个AI聊天机器人坐在你旁边。当你完成证明时,他可以回答问题,帮你解释每一步。...
没有更多内容



















