陶哲轩用AI证明数学猜想实乃误读，但数学界仍大受震动
回顾刚刚过去的2023年，结出累累硕果的组合数学是最令世人瞩目的数学分支。在该领域里，全年中几乎每两个月便冒出一项令全球数学家叹为观止的重大理论突破。刚到10月份，今年在组合学方面的重要论文，竟然给研究和学习者一种“吃撑”的感觉：极值图论和拉姆齐理论、平面染色理论、平面密铺、不可传递骰子、加性组合以及被菲尔兹奖得主W. T. Gowers誉为组合学
陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀
数学历来是一门孤独的科学。
1986 年，安德鲁·怀尔斯（Andrew Wiles）为了证明费马大定理，遁入书斋长达七年之久。
陶哲轩携AI再战数学！o4-mini秒怂弃赛，Claude 20分钟通关
陶哲轩YouTube视频第二弹震撼来袭！这一次，他让AI挑战在Lean中形式化代数蕴含证明，结果Claude约20分通关，o4-mini太过谨慎直接「弃赛」。
3天后，陶哲轩YouTube视频二更来了。
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
数学大师陶哲轩的AI新实验来了！
这次是Lean 4自动化数学证明的第三支视频。
主要看看GitHub Copilot在处理分析学经典的「ε-δ」问题（描述函数极限的经典方法）时，效果究竟如何。
陶哲轩全网悬赏「最强大脑」！AI+人类颠覆数学难题？凡尔赛网友已下场
想参加陶哲轩发起的「众包」数学研究项目吗？
机会来了！
陶哲轩：GPT-4神助攻，写Python代码轻松省半小时
刚刚，陶哲轩大赞：用ChatGPT写Python代码，效果真是太好了，它直接为我节省了数学研究中半小时的工作量！
陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题
视频新人博主陶哲轩又更新了！这次是“喂饭级”AI教程——
手把手演示如何只用GitHub Copilot证明函数极限问题。
（这更新频率确实o(￣▽￣)ｄ）
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
陶哲轩转发，AI搞数学证明的标准习题集来了！
DeepMind最新开源形式化数学猜想库——
猜想库收录了经典的形式化表述的数学猜想集合，例如，解析数论中的四个朗道问题。
o3来了！编程跻身人类全球前200，破解陶哲轩说难的数学测试，北大校友任泓宇现身直播间
OpenAI公布下一代模型，o1之后直接o3！
“双12”直播活动最后一天，终于来了个大的，奥特曼本人也再次现身直播间。
陶哲轩联手60多位数学家出题，世界顶尖模型通过率仅2%！专家级数学基准，让AI再苦战数年
数学为评估复杂推理提供了一个独特而合适的测试平台。它需要一定的创造力和精确的逻辑链条——通常涉及复杂的证明，这些证明必须缜密地筹划和执行。同时，数学还允许对结果进行客观验证。
在铺天盖地的宣传中，LLM看起来已经攻破了数学大关。但果真如此吗？
