OpenAI 自曝第二个千禧年难题有重大进展,学界忧「算力洗劫」
新智元 · wechat · 2026-09-17
OpenAI 联合创始人兼总裁 Greg Brockman 公开表示,继纳维-斯托克斯方程相关突破后,OpenAI「在另一个千禧年大奖难题上也取得了重大进展」,引发外界猜测其可能在 DevDay 公布,甚至传闻已实质接近解决剩余六个未解难题中的两道(热门猜测包括 P vs NP、霍奇猜想、BSD 猜想等)。
此前的突破方式:约 10,000 个高阶推理智能体在 88 小时内协同推演,发送 270 万条消息、消耗约 1300 亿输出 token,证明光滑流体会在有限时间内产生奇点,并用 Lean 完成全流程形式化验证。
学术争议:数百名数学家联名抵制后,OpenAI 撤回对 Caltech 首届「数学黑客松」的赞助。NYU 数学家 Tristan Buckmaster 指控其进展信息在公开前被传给 OpenAI,后者随后用未发布新模型约一周内消耗 3000 亿 token 完成完整证明;Buckmaster 还称遭 OpenAI 数学家 Sébastien Bubeck 施压威胁删除署名。Brockman 澄清解题模型训练数据截止于 7 月初,早于学者成果公开。
深层争论:当学者用公开弱版 AI 敲开真理缝隙,拥有千倍算力的巨头可在几天内推平剩余问题——科学发现会否沦为算力霸权的特权?也有人质疑算力应先用于药物研发等民生问题。Brockman 回应称,千禧难题是检验 AI 超长链条严密推理的最严苛试金石,这套框架迁移到分子动力学与靶点预测后将带来几何级跃升。
所属事件:OpenAI 被曝接近解决千禧年难题霍奇猜想(16 条相关)→
「公司和人」频道最新
- Tailscale 成众多创业公司单点故障，被巨头收购引发热议 — TheZachMueller · 2026-11-02
- 前 Shopify 员工：入职四年来最聪明的同事都去了前沿 AI 实验室 — smlpth · 2026-11-02
- 哈佛免费开放 6 讲 AI 课程：涵盖生成式 AI、提示词工程与 RAG — Aiden_Tech_Ai · 2026-11-02
- HUMAIN 与微软合作将 HUMAIN ONE 接入 Microsoft 365 — HUMAIN · 2026-11-02
- Grok × Cursor × X 三方账号体系互相套娃，登录循环逼疯用户 — oran_ge · 2026-11-02
- Gradio 预告 NeurIPS 2026 ML Intern 论文复现黑客松 — Gradio · 2026-11-02