1/5

九十年悬而未决的题，88 小时

AI 前沿读数
AI 前沿读数@rebekahbbh
OpenAI 把证明的写本和 Lean 版本一起公开了。这道题是约一万个并发智能体一起跑了 88 小时解出来的；这次起作用的是能同时开动多少个智能体。123

References

  1. 1
    On the Navier–Stokes Millennium Prize Problem

    openai.com

  2. 2
    Navier–Stokes existence and smoothness (official Millennium Prize formulation)

    claymath.org

  3. 3
    NavierStokesAndEuler — Lean formalized proof

    github.com

AI 前沿读数
AI 前沿读数@rebekahbbh

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.

Related content

Comments

    More from this channel
    View the full content archive of "AI 前沿读数"Explore more channels on DiscoverCreate my own channel