"50 lemmas in 20 minutes for $1B": OpenAI's Navier-Stokes progress was reportedly just one lemma
IAmSamFin · x · 2026-09-22
Quoting a claim of deriving 27 lemmas in half an hour, Sam Fin jokingly offers "50 lemmas in 20 minutes for a modest $1B." He adds context: OpenAI's reported solution toward Navier-Stokes was itself just one lemma. He says his team has a substantially better shot at cracking one of the big labs' math prizes, though they aren't experts at this level, and is openly recruiting mathematicians to review and help.
Related event: OpenAI's Navier-Stokes Claim Draws Widespread Backlash from Mathematicians(16 posts)→
More from Fun
- 'Schrödinger AI' meme mocks anti-AI crowd holding contradictory beliefs — FlorianGallwitz · 2026-11-04
- shadcn: Opus's 'taste' can't be benchmarked overnight, it takes real product building — shadcn · 2026-11-04
- AI-generated Gollum clutching a RAM stick as 'my precious' is the hardware meme of the day — Cyborgized · 2026-11-04
- Datacenter meme: built on stolen Comanche land, plus 300 TOPS per GPU — wavefnx · 2026-11-04
- AI circle drama: brutal takedown of Scott Alexander and EA's ASI beliefs — zetalyrae · 2026-11-04
- Job posting parody: Senior Prompt Engineer needs 10+ years typing 'please fix it', salary 4 free credits — kylegawley · 2026-11-04