标签：陶哲轩
陶哲轩用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，使得对任意有理...
陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」
谷歌DeepMind的人工智能系统在2024年国际数学奥林匹克竞赛（IMO）中取得了显著成绩，其得分接近金牌水平。在IMO的六个问题中，该系统解决了四个并获得满分，...
AI颠覆数学研究！菲尔兹奖得主、华裔数学家领衔11篇顶刊论文｜陶哲轩转赞
新智元的这篇报道聚焦于人工智能（AI）对数学领域的影响，特别是在数学研究方法上的潜在变革。报道提到了多位数学家和计算机科学家的观点，包括菲尔兹奖得主A...
1
2
