AI 实验室被曝已攻克多项数学难题但暂不公开
相关推荐
OpenAI否认偷用数学家未公开研究：Codex草稿没影响Navier-Stokes证明
动察 Beating AI 快讯，OpenAI 最新回应了 Navier-Stokes 抢功争议，明确否认偷用了纽约大学数学家 Tristan Buckmaster 的未公开研究。公司调查后称，Buckmaster 过去两个月提交给 Codex 的 prompt，不可能以任何方式影响这套内部模型，包括通过训练。 Buckmaster 此前和 Levent Alpöge 一直在研究同一方向，大量草稿都放进了 Codex。两人的进展传到 OpenAI 后，OpenAI 几天内集中算力拿出了 Navier-Stokes 证明。Buckmaster 因此怀疑，自己的未公开研究是不是已经被模型学了进去。OpenAI 现在把这一点明确否认了。 OpenAI 还把时间边界划到了 7 月 3 日，此后的任何用户输入，都不可能影响这套系统。社区有人猜测，这一天可能对应某个训练数据截点或模型 checkpoint，但 OpenAI 没有解释。 Buckmaster 和 Alpöge 的关键突破发生在 8 月中旬，远远晚于 OpenAI 划出的 7 月 3 日边界。
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 万美元奖金。
PANews主题Space「AI投资"半场休息"：下半场买什么？从算力卖铲人到AI应用者」直播中
PANews 8月11日消息，PANews 今晚20时举办「AI投资"半场休息"：下半场买什么？从算力卖铲人到AI应用者」主题Space活动，由PANews Jae主持，对话投资TALK君、BIT经纪业务负责人Elio Cui、Virtuals生态负责人Harry及The Mu联合创始人Sun，围绕AI资本开支可持续性、AI应用端落地逻辑、算力硬件主线是否走完、HALO资产重估、中国数字基础设施机会等话题展开深度讨论。 Space直播地址： https://twitter.com/i/spaces/1dKrPrEgyOlJX