Gowers 测试 ChatGPT 5.5 Pro:数学研究的门槛正在被重新定义
Timothy Gowers 对 ChatGPT 5.5 Pro 的测试,不再是“AI 会不会做题”,而是它能否在真实研究语境里,找到人类没有立刻采用的组合方式,并把它推进成可检验的证明。
Timothy Gowers 对 ChatGPT 5.5 Pro 的测试,不再是“AI 会不会做题”,而是它能否在真实研究语境里,找到人类没有立刻采用的组合方式,并把它推进成可检验的证明。
吉姆·西蒙斯并不依赖财报、管理层访谈和行业故事,而是把市场当成一个可被数学、统计和计算不断逼近的复杂系统。他真正改变的,不只是基金收益率,而是华尔街对“聪明”的定义。
一位23岁、没有高等数学训练的年轻人,只输入一个简单的prompt,就让ChatGPT 5.4 Pro在80分钟内破解了困扰数学界60年的Erdős难题。AI用von Mangoldt函数构造Markov链,把上界直接优化到1 + O(1/log x),随后被Lean形式化验证。数学的范式革命正在发生。
在人工智能迅猛发展的今天,一场关于"智能"的深刻变革正在悄然发生。它并非简单的技术进步,而是对人类自身认知的一次根本性重塑。著名数学家陶哲轩最近在与合作者的论文中提出了一种"哥白尼式的智能观"。这一观点认为,人类智能不再是宇宙智能的中心,而只是众多智能形式中的一种。它与其他智能形式(如人工智能)并存,各有优势与局限,却能通过协作产生超越单一形式的创造力。这一理念如同天文学史上哥白尼推翻地心说一样,颠覆了我们长期以来的"人类中心主义"认知框架。它提醒我们:智能的世界是多元的、平行的,而非线性等级的。