OpenAI宣布攻克千禧年难题 2026年9月8日，OpenAI宣布其内部未公开的AI模型（性能远超GPT-6 Astra），联合约1万个AI智能体协同作战，耗时88小时攻克了困扰数学界90年的“纳维-斯托克斯方程”存在性与光滑性问题，并公开了165页的证明手稿。不过，随之而来的学术争议也引发了广泛关注。这次突破的本质，是在暴力搜索中引入高级智能——1万个Agent负责不同方向协作探索。每个Agent都具备超越人类奥数金牌选手的组合技巧，且对各数学方向的已知成果了如指掌。这种暴力搜索的威力，足以攻克顶级数学难题。数学这个行当，未来或许会和围棋一样——人类干不过AI。原理很清晰：数学思维正被拆解为可计算、可模拟的流程，AI在理论上终将超越最顶级的人类数学家。