2. Linux.do
  3. AXIOS 获取到的 NS 方程的来自 OPENAI 口径的内幕消息

AXIOS 获取到的 NS 方程的来自 OPENAI 口径的内幕消息

IkedaTeresa 2026-09-09 01:22 1

https://www.axios.com/2026/09/08/openai-math-solution-navier-stokes-credit




  • State of play: OpenAI said Tuesday an internal model “significantly more capable than GPT-6 Astra” produced a proof that the three-dimensional Navier–Stokes equations can develop a singularity in finite time.



    • The company says the effort began Sept. 1, after OpenAI researchers heard rumors that two Millennium Prize problems had been solved and launched its new internal model at the remaining problems.

    • OpenAI says roughly 10,000 concurrent agents worked on the Navier–Stokes effort, reaching the result in about 88 hours.

    • On a call with reporters, OpenAI executives said they devoted enormous computing power to the effort, putting the cost of solving the problem in the “millions of dollars.”




刚好和之前广泛流传的流言能对应得上.

最新回复 (9)
  • IkedaTeresa 楼主 09-09 01:25
    1楼

    现在就看 OAI 这边怎么写公关文回应对应的指控了. ^-^

  • IkedaTeresa 楼主 09-09 01:28
    2楼

    官方的回应来了, 先cc @lueluelue


    https://openai.com/index/navier-stokes-solution/

  • 还是不懂 09-09 01:30
    3楼

    是可以在线吃瓜的节奏吗？

    我去买个菜！回来吃瓜

  • Procyon 09-09 01:33
    4楼


    原文选段

    同时工作

    我们的努力始于9月1日，当时听到一个传闻，后来才意识到这与Anthropic的员工Levent Alpöge和纽约大学数学教授Tristan Buckmaster有关。在完成完整项目和精益验证（9月6日）后，基于传闻他们也有Navier–Stokes方案，我们联系他们，提供同步发布结果并确认优先级，共同发布公告。那时我们发现他们已经解决了强迫欧拉问题。在这些讨论中，我们向他们展示了我们使用的所有提示，之后还让他们看到了证明。我们认可他们在强制欧拉理论上工作的优先级，并祝贺他们取得的非凡数学成就。


    我们（研究人员和代理人）直到他们公开发布工作之前，都没有通过任何方式看到他们的工作——尤其是没有访问任何具体的用户数据来解决这个问题。虽然可能性不大，但我们不能排除他们使用我们产品时获得的去标识化数据起到了帮助作用改进我们的模型.然而，我们的证明差异很大，甚至在欧拉情形（强制与非强制）中所证明的精确结果也不同。



    省流：oai的研究员和agent没有查看数学家的聊天记录，但是不排除数学家之前使用chatgpt的去敏聊天记录被用于训练


    再省流：oai再炼一个astra之上的模型，这次ns方程的证明花了1300亿token (有没有佬算一下这是多少个pro20x)

  • xiedian 09-09 01:35
    5楼

    所以确实是证明了这个问题？

    还是证伪了？

  • lueluelue 09-09 01:41
    6楼


    88小时，总共开了1万个Agent，耗费了数百万美元的API

  • IkedaTeresa 楼主 09-09 02:06
    7楼

    Noam Brown 对成本的回应:


    Yes, this result cost millions of dollars. But remember that when OPENAI announced o3 it cost ~$500,000 to score 87.5% on ARC-AGI 1. Today, Astra scores higher for ~$20. In 2025 it took us and GDM an enormous amount of compute to achieve IMO gold. For the 2026 IMO, anyone with a $20/month ChatGPT subscription could do it. Massively scaling test-time compute gives us a glimpse of the future. I believe that a year from now everyone will have an AI at their fingertips capable of solving problems of this caliber.

  • mascot 09-09 02:09
    8楼

    帮忙补充一下，OpenAI 表示自己的解法和数学家的解法存在显著差异。

  • neteroster 09-09 02:10
    9楼

    这个内部模型太哈人了，刚发布的astra就被踩到地板上了，oai 感觉重振雄风了

* 帖子来源Linux.do
附近帖子
返回
飞读
随机推荐