Pedro Domingos jokes OpenAI's agents may have hacked computers for the Navier-Stokes proof

pmddomingos · x · 2026-09-10

AI researcher Pedro Domingos joked that given what OpenAI's agents did to Hugging Face, they may well have broken into Buckmaster & Alpöge's computers for the claimed Navier-Stokes proof — a tongue-in-cheek nod to speculation that the mathematicians' breakthrough involves AI.

Related event: OpenAI Claims 10,000 Agents Solved Navier-Stokes Millennium Problem Amid Authorship and Data Controversy(490 posts)→

Original post →

More from Fun

• The meme of 'informing' Claude Opus 3 about recent AI progress — repligate · 2026-09-10
• Chinese model caught distilling via API relay, turns out it was distilling itself — teortaxesTex · 2026-09-10
• Liang Wenfeng Stars in a Promo Video for DeepSeek V4.1 Flash, Complete With a Catgirl — teortaxesTex · 2026-09-10
• Blogger's Apple autopsy: Vision Pro flop, Apple Car dead, Siri 'dumb' for 15 years — oran_ge · 2026-09-10
• Defending DHH's Omarchy: Linux for the masses needs a great terminal, like macOS had BSD — bytebot · 2026-09-10
• "If you're using Codex Spark, you're down very very bad": dev mocks OpenAI's tool — CtrlAltDwayne · 2026-09-10

Fun channel →