conv.

← The whole story
Science
Mathematicians Rebut OpenAI's Navier-Stokes Proof as Solving the Wrong Problem

Independent team verifies OpenAI's formal proof checks

1 Sep 16 · 7d ago · 1 post · 1 source · development 1 of 3

Researchers at 8Braid reproduced OpenAI's submitted Lean formal checks, confirmed both the Nanoda and default Lean kernels accepted the proof, and derived an explicit stability bound for one algebraic step, while noting that formal verification does not settle whether the result matches the intended physical problem.

Independent team verifies OpenAI's formal proof checks
scientificamerican.com

“We reproduced the formal checks, proved an explicit bound for one construction step, and tested how 8DB handles its evidence.”

8Braid

OpenAI AI companyLuis Silvestre Mathematician, University of ChicagoDiego Córdoba MathematicianLuis Martínez-Zoroa Mathematician8Braid Independent verification team

The whole story articlesposts the bright band is this development · numbered dots are the others · click one to jump

Peak 5 pieces in two hours at Sep 22, 2 PM; 40 pieces over 8 days (5 articles · 11 posts · 24 comments) Sep 16, 12 PM — 1 piece · 1 post — Hacker News 1Sep 16, 2 PM — quietSep 16, 4 PM — quietSep 16, 6 PM — quietSep 16, 8 PM — quietSep 16, 10 PM — quietSep 17, 12 AM — quietSep 17, 2 AM — quietSep 17, 4 AM — quietSep 17, 6 AM — quietSep 17, 8 AM — 1 piece · 1 article — Google News 1Sep 17, 10 AM — quietSep 17, 12 PM — quietSep 17, 2 PM — quietSep 17, 4 PM — quietSep 17, 6 PM — quietSep 17, 8 PM — quietSep 17, 10 PM — quietSep 18, 12 AM — quietSep 18, 2 AM — quietSep 18, 4 AM — quietSep 18, 6 AM — quietSep 18, 8 AM — quietSep 18, 10 AM — quietSep 18, 12 PM — quietSep 18, 2 PM — quietSep 18, 4 PM — quietSep 18, 6 PM — quietSep 18, 8 PM — quietSep 18, 10 PM — quietSep 19, 12 AM — quietSep 19, 2 AM — quietSep 19, 4 AM — 1 piece · 1 article — Google News 1Sep 19, 6 AM — quietSep 19, 8 AM — quietSep 19, 10 AM — quietSep 19, 12 PM — quietSep 19, 2 PM — quietSep 19, 4 PM — quietSep 19, 6 PM — quietSep 19, 8 PM — quietSep 19, 10 PM — quietSep 20, 12 AM — quietSep 20, 2 AM — quietSep 20, 4 AM — quietSep 20, 6 AM — quietSep 20, 8 AM — quietSep 20, 10 AM — quietSep 20, 12 PM — quietSep 20, 2 PM — quietSep 20, 4 PM — quietSep 20, 6 PM — quietSep 20, 8 PM — quietSep 20, 10 PM — quietSep 21, 12 AM — quietSep 21, 2 AM — quietSep 21, 4 AM — quietSep 21, 6 AM — quietSep 21, 8 AM — quietSep 21, 10 AM — 2 pieces · 1 article · 1 post — Mastodon 2Sep 21, 12 PM — quietSep 21, 2 PM — 1 piece · 1 article — Google News 1Sep 21, 4 PM — quietSep 21, 6 PM — 1 piece · 1 post — Hacker News 1Sep 21, 8 PM — quietSep 21, 10 PM — 2 pieces · 1 article · 1 post — Mastodon 1, Newswires 1Sep 22, 12 AM — quietSep 22, 2 AM — 1 piece · 1 post — Mastodon 1Sep 22, 4 AM — 4 pieces · 2 posts · 2 comments — Hacker News 2, Reddit 2Sep 22, 6 AM — quietSep 22, 8 AM — 1 piece · 1 post — Bluesky 1Sep 22, 10 AM — quietSep 22, 12 PM — 1 piece · 1 post — Lobsters 1Sep 22, 2 PM — 5 pieces · 1 post · 4 comments — Lobsters 3, Hacker News 1, Mastodon 1Sep 22, 4 PM — 5 pieces · 1 post · 4 comments — Hacker News 4, Mastodon 1Sep 22, 6 PM — 5 pieces · 5 comments — Hacker News 4, Lobsters 1Sep 22, 8 PM — quietSep 22, 10 PM — 1 piece · 1 comment — Lobsters 1Yesterday, 12 AM — 1 piece · 1 comment — Hacker News 1Yesterday, 2 AM — 1 piece · 1 comment — Lobsters 1Yesterday, 4 AM — 1 piece · 1 comment — Lobsters 1Yesterday, 6 AM — 2 pieces · 2 comments — Lobsters 2Yesterday, 8 AM — 1 piece · 1 comment — Reddit 1Yesterday, 10 AM — quietYesterday, 12 PM — 1 piece · 1 comment — Lobsters 1Yesterday, 2 PM — quietYesterday, 4 PM — quietYesterday, 6 PM — quietYesterday, 8 PM — 1 piece · 1 comment — Hacker News 1Yesterday, 10 PM — quietToday, 12 AM — quiet ◂ 1 earlier23
2Three mathematicians prove OpenAI's…3Scientific American asks whether OpenAI…
Sep 17Sep 18Sep 19Sep 20Sep 21Sep 22yesterdaynow · 2:57 AM ET

All 3 developments of Mathematicians Rebut OpenAI's Navier-Stokes Proof as… →

Hacker NewsGoogle NewsMastodonNewswiresRedditBlueskyLobsters