OpenAI 证明纳维-斯托克斯方程存在有限时间奇点
相关推荐
OpenAI被曝悄然调整GPT-6 Astra评测数据，部分指标曾“逆势”优化
PANews 9月5日，据《财富》报道，OpenAI已正式发布GPT-6 Astra，并称其为“目前全球最智能、且对齐程度最高的模型”，不过OpenAI已多次调整模型评测数据，部分调整使Astra表现更佳，同时部分竞争对手模型的成绩出现下降。其中，Astra的内部“幻觉率”最初公布为4.2%，后曾被下调至2%，随后又恢复至4.2%；Anthropic的Fable 5.1在FrontierMath Tier 4中的成绩也曾从87.8%降至78%，目前已恢复至83%。此外，Astra的ARC-AGI-3成绩则从发布前的98.6%提升至当前页面显示的99.99%。
GPT-6 Astra 发布一周后遭用户吐槽变笨，OpenAI 尚未回应
ChainCatcher 消息，据 Decrypt 报道，OpenAI 最新旗舰模型 GPT-6 Astra 在发布一周后，X 平台上涌现大量用户吐槽其性能“变笨”的帖子。匿名开发者 synthwavedd 发文称“Astra 今天感觉明显变笨了”，并调侃这是“发布后脑叶切除手术”。此前曾称赞该模型的开发者 Pranjal Paliwal 在检查 Astra 为其编写的代码后表示：“我们没有 AGI，我们遇到的是性能回退。”开发者 Pankaj Kumar 列举了症状：回答更快、质量更差，并怀疑 OpenAI 调低了“juice value”（即模型在回答前投入的算力）。Salio 与研究员 Md Ismail Sojal 用相同提示词对比发布当天与当前的 Astra，均得到更差的结果。T3Chat 创始人 Theo 则认为 Astra 只是比 Claude Fable 更不稳定，用户蜜月期结束后开始集中晒出糟糕结果。也有观点指出，OpenAI 上一代旗舰 GPT-5.6 Sol 在 7 月就经历过同样的周期，当时 OpenAI 高管 Tibo Sottiaux 否认故意削弱模型，但承认公司一直在实验“推理努力”设置。OpenAI 尚未就 Astra 发布类似 Sol 的声明。
OpenAI公开Navier-Stokes证明，并正面回应数学家抢功指控
动察 Beating AI 快讯，OpenAI 公布了一份由 AI 完成的 Navier-Stokes 证明。这是悬而未决约 90 年的数学难题，也是七个「千禧年难题」之一，奖金 100 万美元。 OpenAI 称，使用的是一个仍在训练、能力明显强于 GPT-6 Astra 的内部模型，约 1 万个 Agent 协同工作，88 小时找到解法，之后又用 Astra 花 17 小时完成 Lean 机器验证。论文和验证代码已经公开，但仍要接受数学界审查。 这项成果背后还有一场抢发争议。纽约大学数学家 Tristan Buckmaster 和 Anthropic 员工 Levent Alpöge 此前也借助 Claude、Codex 推进了同一方向的研究。Buckmaster 称，两人的未公开进展传到 OpenAI 后，OpenAI 几天内投入大量算力攻入同一路线，还曾提出由 Buckmaster 改写 OpenAI 的 Navier-Stokes 证明，但不让 Alpöge 署名。 OpenAI 现在承认，这场冲刺确实始于「Anthropic 可能解决了千禧年难题」的传闻。9 月 1 日，团队开始让新模型挑战多个数学难题，先用近 100 个 Agent 做出 Euler 结果，随后把资源集中到 Navier-Stokes，最终扩到约 1 万个 Agent。OpenAI 否认在 Buckmaster 公开论文前看过他的研究，也否认调用具体用户数据，但没有完全封死另一种可能：两人使用 OpenAI 产品产生的去标识化数据，可能曾被用于改进模型。 Sébastien Bubeck 也回应了署名和「毁掉职业生涯」的争议。他称，自己没有要求 Alpöge 放弃两人原有成果的署名；当时谈的是让 Buckmaster 主笔 OpenAI 的证明，他认为让 Anthropic 员工署名 OpenAI 的工作不合适。对于「为什么要毁掉自己的职业生涯」这句话，Bubeck 承认措辞糟糕并道歉，但否认是在威胁。Sam Altman 也公开站在 Bubeck 一边，并确认 OpenAI 当初就是听到 Anthropic 的传闻后，想看看自己的模型能不能做到。 OpenAI 表示不会领取这项难题对应的 100 万美元奖金。
数学家指控OpenAI抢发成果，还要求删掉Anthropic员工署名
动察 Beating AI 快讯，纽约大学数学家 Tristan Buckmaster 和 Levent Alpöge 最近借助 Claude、Codex 等大模型，在一个月内推进了多个流体力学难题，部分结果已经通过 Lean 机器验证。 论文还没正式发完，两人先和 OpenAI 闹翻了。 Buckmaster 称，9 月初他们尚未公开的进展传到了 OpenAI。他主动联系 OpenAI，希望避免双方撞车。三天后，OpenAI 研究员 Sébastien Bubeck 告诉他，OpenAI 内部模型已经写出约 100 页的 Navier-Stokes 证明。这是数学界七个「千禧年难题」之一，Clay 数学研究所悬赏 100 万美元。 Buckmaster 随后反复追问 OpenAI 是什么时候开始做的。按照他的说法，对方最后确认，第一个 prompt 是最近几天才发出的，当时 OpenAI 已经知道他们取得了进展。OpenAI 走的还是一条与他们高度重合、此前很少有人研究的路线，背后还有一个团队和大量算力。 两人的研究草稿此前一直放在 Codex 里。Buckmaster 因此追问这些数据有没有被用于训练，没有得到明确回答。他也承认，目前没有证据证明 OpenAI 使用过这些数据。 后面的谈判把事情彻底推向公开。Buckmaster 称，OpenAI 提议让他们先发自己的成果，第二天再发布 Navier-Stokes；另一套方案由 Buckmaster 来写 OpenAI 的论文，但不要让 Alpöge 署名。Bubeck 据称两次提出删掉 Alpöge，提到的理由是他在 Anthropic 工作。 Buckmaster 拒绝后表示，如果 OpenAI 按这个方案发布，他会公开全部经过。他称对方随后问他：「你为什么要毁掉自己的职业生涯？」当天晚些时候，Bubeck 又单独联系 Alpöge，称自己不确定 Buckmaster 当时是否「完全理性」。Alpöge 没有接受单独沟通。 Buckmaster 最终提前公开论文和声明。他同时强调，自己没有看过 OpenAI 那份证明，不知道证明是否成立，也不知道自己的 Codex 数据有没有被使用。 Bubeck 随后公开否认相关指控，称其「虚假且煽动性」，并表示还会进一步回应。
OpenAI CEO：GPT-6 Astra让每个人拥有天才级员工，AI时代迎来「创意人士的复仇」
动察 Beating AI 快讯，据 AXIOS 报道，OpenAI 首席执行官 Sam Altman 表示，当前时代正迎来「创意人士」的复仇——那些曾经令人厌烦、空有创业想法却缺乏技术能力去实现的有志创业者。 这就像说「我有一个很好的歌曲创意，只需要那个拿吉他的人帮我做出来」一样。「我以前确实觉得这很可笑，」Altman 在北卡罗来纳州教堂山表示，「但现在我们看到整整一代人以前所未有的速度迭代创意。创办小型或大型企业的经济逻辑已经被重新定义。」 民调显示多数美国人认为 AI 风险大于收益，数据中心问题已成为中期选举中两党共同的争议焦点。正试图在强烈反对声中推广 AI 的 Altman 希望提醒美国人，在诸多现实风险之中，AI 也意味着机会。「这将是世界上创办初创公司最好的时代，」Altman 近期表示。 Altman 表示，借助 OpenAI 强大的新模型 GPT-6 Astra，你可以有效地创办和运营一家小企业……任何想拥有公司的人，现在在每个专业领域都拥有天才级的员工。
OpenAI更新GPT-6 Astra界面,补充模型性能及API定价等信息
Odaily星球日报讯 OpenAI 最新更新 GPT-6 Astra 产品页面，补充了模型性能、企业应用、安全能力及 API 定价等信息。Astra 在 ARC-AGI-3 取得 99.9%，FrontierMath Tier 4 约 97.6%，Terminal-Bench 4.0 达 57.9%，高于 GPT-5.6 Sol 的 37.3%，并略高于 Claude Fable 5.1 的 55.8%；专业任务 Agents’ Last Exam 得分 59.3%，也高于 Claude Opus 5 的 55.5%。 OpenAI 同时明确，Astra 未来数日将陆续开放给 Plus、Pro、Business 和 Enterprise 用户，并进入 API、Azure 和 AWS Bedrock。由此看，产品页此次更新很可能是在为更大范围开放做准备，但具体全面上线时间仍未公布。