陶哲轩中文

很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去 这周，OpenAI连更两弹，又将o1模型推向全网最高潮。就连奥特曼本人激动地预告，「迫不及待期待着下周的Day 3发布，感觉周一是那么地遥远」。...

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

陶哲轩：AI让业余数学家也能做出贡献 AI影响之一是让业余数学家也能做出贡献。数学下一次文化转变在于AI生成的证明是否会被接受。很快会有个AI聊天机器人坐在你旁边。当你完成证明时，他可以回答问题，帮你解释每一步。...