陶哲轩参加节目

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

陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀 数学历来是一门孤独的科学。1986 年，安德鲁·怀尔斯（Andrew Wiles）为了证明费马大定理，遁入书斋长达七年之久。...

全网惊了！陶哲轩带AI下场，33分钟「盲证」数学 菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。数...

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

陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题 视频新人博主陶哲轩又更新了！这次是“喂饭级”AI教程——手把手演示如何只用GitHub Copilot证明函数极限问题。（这更新频率确实o...

o3来了！编程跻身人类全球前200，破解陶哲轩说难的数学测试，北大校友任泓宇现身直播间 OpenAI公布下一代模型，o1之后直接o3！“双12”直播活动最后一天，终于来了个大的，奥特曼本人也再次现身直播间。...

陶哲轩联手60多位数学家出题，世界顶尖模型通过率仅2%！专家级数学基准，让AI再苦战数年 数学为评估复杂推理提供了一个独特而合适的测试平台。它需要一定的创造力和精确的逻辑链条——通常涉及复杂的证明，这些证明必须缜密地筹...