OmniTools 5月12日消息,菲尔兹奖得主蒂莫西·高尔斯(Timothy Gowers)近期测试了 ChatGPT 5.5 Pro,该模型在17分钟内独立解决了一个加法数论领域的公开难题,产出成果达博士论文级别。整个过程未依赖人工数学指导,仅通过基础提示完成。
高尔斯指出,若AI数学能力持续以当前速度演进,将对数学研究生态构成实质性挑战,尤其威胁博士生培养体系,呼吁高校数学院系尽快制定应对策略。
另一位菲尔兹奖得主陶哲轩强调,在AI辅助证明日益成熟的背景下,人类数学家的核心价值正转向对证明的深度“消化”与本质理解。