MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了！
MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了！最近，全世界的数学圈都被AI核爆了。
来自主题: AI资讯
10012 点击 2026-10-13 10:05
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
最近，全世界的数学圈都被AI核爆了。
就在今天，陶哲轩公开了其在加州理工学院举行的最新演讲《Math 2.0》（数学 2.0）。
ChatGPT共同创造者Liam Fedus表示，数学可由Lean验证，但材料等物质科学必须依靠真实实验，因此其创立的Periodic Labs在门洛帕克建设实验室，结合语言模型推理、物理模拟与高通量实验探索AI科学家。
谁能想到…Gowers你可能还是乐观了。10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。其中编号074的一组只有两篇，正是王虹拿奖的那个方向：挂谷猜想。
王虹与Zahl解决三维挂谷猜想集合版后，OpenAI在GitHub公开首批722篇数学手稿，其中175页四维稿主张证明一般四维挂谷集合满维，97页三维稿则针对更强的极大函数猜想，论证仍待独立检验。
OpenAI最近真是频频往数学界扔重磅炸弹。
彻底撕破脸了。
昨天早上，可能会是人类时代的一个分水岭。
今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在上一篇报道里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。
OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿，归为372个成果族，涉及准黎曼猜想和四维挂谷猜想等，其中235族附有Lean形式化说明，仍待专家审读验证。