标签：陶哲轩
陶哲轩「活」过来了！数学圣殿IPAM惊险续命5年，但钱少得可怜
菲尔兹奖得主陶哲轩宣布，由美国国家科学基金会（NSF）资助的数学研究机构IPAM成功获得2025-2030年的五年经费支持。这一消息标志着这个被誉为'数学圣殿'的跨...
十分钟出结果，陶哲轩用Gemini Deepthink帮人类数学家完成Erdős问题论证
厄尔德什问题网站是一个专注于数学研究和问题解答的平台，特别关注与著名数学家保罗・厄尔德什相关的数学问题。该网站收录了厄尔德什提出的各类问题，涵盖数...
陶哲轩用GPT5-Pro跨界挑战！3年无解的难题，11分钟出完整证明
陶哲轩与GPT-5 Pro合作攻克微分几何领域开放性问题，展现了AI在跨学科研究中的多尺度价值。这一合作始于一个三年未解决的难题：判断三维光滑拓扑球面在曲率限...
陶哲轩联手ChatGPT！10分钟击碎30年「无理」难题，数学圈炸裂
陶哲轩利用ChatGPT在10分钟内解决了一个30多年来悬而未决的数学问题，这一突破展示了人工智能在数学研究中的潜力。他通过ChatGPT计算特定级数的前几项近似值...
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
Gauss是一款表现惊人的新AI Agent，它仅用三周时间就完成了陶哲轩和Alex Kontorovich提出的在Lean中形式化强素数定理的数学挑战，而陶哲轩等人花了18个月才取...
刚刚！陶哲轩3小时对话流出：AI抢攻菲尔兹奖倒计时
陶哲轩近期公开预言人工智能将在数学领域实现突破性进展，甚至可能冲击菲尔兹奖级别的成就。这位菲尔兹奖得主在长达3小时的访谈中勾勒出AI参与数学研究的三个...
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩近日宣布为其本科教材《Analysis I》创建了一个Lean配套项目，将书中的定义、定理和练习转换为Lean版本，为学生提供了一种新的学习方式。Lean是一种交...
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind最新开源形式化数学猜想库，该库由陶哲轩转发，具有重要意义。猜想库收录了经典的形式化表述的数学猜想集合，如解析数论中的四个朗道问题，还提供代...
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩最近以视频博主的身份亮相，首次发布的内容便引起了广泛关注。他展示了一个令人惊叹的案例：人类需要写满一页纸的数学证明，借助AI仅用33分钟就完成了...
陶哲轩新论文“太反直觉”：再战Erdős问题，证明44年数学猜想是错的
陶哲轩在数学领域取得了新进展，特别是在“自然数倒数之和是否为有理数”的问题上。他证明了一个反直觉的猜想，即存在一个递增的自然数级数ak，使得对任意有理...
1
2
