FOUNDER · SIGNAL STARTUP
OpenAI changed Navier-Stokes press release and Lean4 code on GH
As of Sept, 11th: https://openai.com/index/navier-stokes-solution/Compare to https://web.archive.org/web/20260908235305/https://openai.com/index/navier-stokes-solution/Also, see G…
出典・元記事Hacker News — Ask HNhttps://news.ycombinator.com/item?id=49661928 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP