#OpenAI攻破数百个数学难题#

OpenAI又往数学界扔了颗重磅炸弹——一口气公开722份数学手稿，涵盖372个结果家族，数百个长期悬而未决的难题被系统性「摘帽」。

几个关键信息：
· 8月28日才开始训练的一款内部新模型，24天内攻克100+开放难题
· 包括千禧年难题之一的纳维–斯托克斯方程（88小时完成证明）
· 平均每道难题仅消耗约3小时ChatGPT Pro算力
· 成果直接丢上GitHub，未经传统同行评审

🧮 这次有多硬核？
手稿涉及准黎曼猜想、霍奇猜想、BSD猜想、唯一游戏猜想等「数学界皇冠明珠」，覆盖数论、代数几何、理论计算机、统计力学等17个方向。OpenAI甚至附上了模型推理摘要，让你看看AI是怎么「想」出这些证明的。

⚡ 但争议也随之而来
· 25位菲尔兹奖得主曾联名公开信，批评AI公司将数学难题当benchmark刷
· 数学家担忧：机器越来越擅长给答案，人类积累理解、培养人才的过程可能被忽视
· 722篇手稿谁来审？OpenAI内部数学家都坦言「进展速度令人意外」

🤝 OpenAI的回应
紧急成立9位顶尖数学家组成的独立顾问组（含菲尔兹奖得主Timothy Gowers、Martin Hairer等），评估成果重要性、协调发布节奏。但顾问组不拿报酬、不介入研发速度——说白了，有发言权，没有刹车权。

💡 这件事的启示
AI做数学已进入「量产」阶段，瓶颈从「解不解得出来」变成「人类审不审得完」。就像多伦多大学数学家Daniel Litt说的：我们可能正站在数学大爆炸的前夜。

你怎么看？AI是在帮数学加速，还是在改变数学的本质？

#AI数学突破##人工智能##科技前沿##微博AI创作季#