陶哲轩用GPT-5解决数学难题：仅29行Python代码
陶哲轩用GPT-5解决数学难题：仅29行Python代码AI又又又帮陶哲轩解决了一个难题！消息来自陶本人最新发帖，他直言不讳地表示：甚至，如果没有AI，他也不会决定采用目前已经取得成功的关键策略。
来自主题: AI资讯
7667 点击 2025-10-05 21:37
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
AI又又又帮陶哲轩解决了一个难题！消息来自陶本人最新发帖，他直言不讳地表示：甚至，如果没有AI，他也不会决定采用目前已经取得成功的关键策略。
一次咖啡馆中的谈话，诞生了一家估值3亿美元的创业公司！2024年，仍为斯坦福大学博士生的Carina Hong与前Meta的AI研究员Shubho Sengupta有过一次数小时的交谈。在那次交谈中二人探讨了如何用AI来解决数学领域的难题。
GPT-5，你这家伙！ 究竟还有什么事是我不知道的？ 在一篇最新论文中，研究人员让它挑战了5个尚未解决的优化猜想。 结果它居然解出了其中3个！
百年流体力学难题，终被AI破解！谷歌DeepMind联手顶尖机构，首次用AI在三个不同方程中，成功发现全新的数学「奇点族」，开创研究全新范式。下一个诺奖，或被AI提前预定？
当GPT-5第一次被写进数学论文，舆论瞬间炸开。有人惊呼「AI 数学家诞生」，有人却冷静提醒：它只是把熟悉的工具快速拼接。于是，一个新的问题被摆到台前：这究竟是科研的加速器，还是博士培养的绊脚石？
最近，来自加州大学圣克鲁兹分校、乔治·梅森大学和Datadog的研究人员发现：在心算任务中，几乎所有实际的数学计算都集中在序列的最后一个token上完成，而不是分散在所有token中。
不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。
2022年，专家们笃定AI到2025年赢得IMO金牌概率不足10%。谁料短短3年，OpenAI和谷歌DeepMind的LLM双双摘金，不仅打破纪录，更宣告群体智能时代的到来！AI震撼人心，巨变势不可挡。
微软前AI副总裁兼杰出科学家Sebastien Bubeck发文表示GPT-5 Pro从零攻克了数学论文中的未解区间，这个发现让他大受震撼。该发现引得众多大佬转发，OpenAI总裁认为AI或将加速数学研究。
「兄弟们，DiT 是错的！」 最近一篇帖子在 X 上引发了很大的讨论，有博主表示 DiT 存在架构上的缺陷，并附上一张论文截图。