Rumor: AI labs are sitting on major math solutions after the Navier-Stokes backlash
RexDouglass · x · 2026-09-16
- RexDouglass quotes Scott Aaronson's blog relaying an unconfirmed rumor: after the hostile reception to the Navier-Stokes proof, AI companies are reportedly sitting on solutions to some very major problems until they figure out a better way to handle the response.
- The linked post, "The Age of Wonders and Terrors," traces how AI's wild prophecies — from AlphaGo to coding and reasoning agents — have come true.
- The poster jokes that mathematicians are bullying both AI shops and undergrads into stopping their math.
More from Models
- ICML paper: finite context windows impose impossibility results for adversarial regret — burny_tech · 2026-11-02
- SenseTime open-sources SenseNova-Loop-9B: weight-shared 56-layer loop, 256K context, Apache 2.0 — AdinaYakup · 2026-11-02
- User says Gemini excels at long-form fanfic, producing stories up to 29 minutes of reading — Ok-Jello3739 · 2026-11-02
- Sam Altman calls tokens 'a kind of fake unit' that doesn't measure business value — rohanpaul_ai · 2026-11-02
- 'You Can Feel the Gradient Slopes': Dev Contrasts Benchmaxxed RL Models vs General Ones — theteknosaur · 2026-11-02
- LightOnOCR-3 Launches: Tops FRBench, Adds Layout Structure and Chart Extraction — IgorCarron · 2026-11-02