OpenAI 88小时攻克千禧年难题后，陶哲轩深夜警告：AI抢跑数学界，好问题成稀缺资源
来源：市场资讯（来源：网易科技）今天，OpenAI 宣布其内部 AI 系统在仅仅 88 小时内攻克了困扰数学界近百年的 Navier-Stokes 千禧年难题。最高峰时，系统同时调动了约 1 万个 AI Agent，并由另一模型完成验证。
刚刚，OpenAI官宣：AI成功接管量子计算机
在一份名为《案例研究:超导量子比特的智能体校准》的联合报告中，MIT量子工程系统组的研究人员证实:在GPT-5.6 Sol与Codex的驱动下，AI智能体已经能够端到端地自主运行量子计算实验!
数学大爆炸！OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
他们简单粗暴地接放出GitHub项目库 math 。里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。
陶哲轩12年前的预言，现在AI帮他兑现了
12年前，陶哲轩在首届数学突破奖的台上抛出的一句预言，被视作天方夜谭:将来有一天，我们或许不再用LaTeX撰写论文，而是使用计算机能理解的的形式化语言。
OpenAI 一次性砸出722篇数学论文，炸了数学界？
10月6日，OpenAI一次性释放了722份数学成果论文，涵盖了372个数学开放问题，这些结果来源于4000多个研究问题的测试，每项成果平均消耗了相当于ChatGPT Pro约三小时的计算量。
AI速通多项难题：人类还需要数学家吗？
2026年10月7日，计算机科学家斯科特·阿伦森在博文开篇，记录了自己的9岁儿子对妻子达娜·莫什科维茨的调侃。
历史性突破，OpenAI模型搞定人类科学家80年未破难题，能发顶刊了
智东西5月21日报道，今日，OpenAI宣布，其一款未对外发布的内部通用推理模型，独立完成了一份原创数学证明。
数学大爆炸，OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。其中，OpenAI 未发布的 AI 模型证明了拟黎曼猜想，并同步发布了 Lean 形式化验证。
陶哲轩12年前的预言，现在AI帮他兑现了
12年前，陶哲轩在首届数学突破奖的台上抛出的一句预言，被视作天方夜谭:将来有一天，我们或许不再用LaTeX撰写论文，而是使用计算机能理解的的形式化语言。
困扰人类80年的数学难题，被AI破解了！奥特曼：感受很复杂
5月21日，OpenAI官方宣布:其内部一个通用推理模型，自主推翻了“平面单位距离猜想”——这道由匈牙利数学家保罗·Erdős于1946年提出的几何难题，困扰数学界整整79年。