Mathematician pushes back on OpenAI PDE proof criticism: messy but salvageable
RexDouglass · x · 2026-09-13
Responding to criticism that OpenAI's proof about blow-up solutions of PDEs is bad, mathematician Scott Armstrong argues a reasonably understandable proof with an interesting narrative can likely be extracted from it, and that its Lean repo is shorter than the one he wrote for his last paper. He notes human-written papers in this subfield are themselves notoriously messy, so the verdict may not look bad once the dust settles.
Related event: OpenAI Claims AI Agent Solved the Navier–Stokes Blow-up Problem(8 posts)→
More from Research
- Stanford's TaskNet builds occupational task inventories from worker interviews at scale — stanfordnlp · 2026-10-31
- Aligning image and text embeddings without paired data: Wasserstein Procrustes and rotation papers — phillip_isola · 2026-10-31
- Phillip Isola demos aligning image and text embeddings with just a single rotation — phillip_isola · 2026-10-31
- Arena Offers Up to $50,000 Per Project for Academic Research on AI Evaluation — arena · 2026-10-31
- StudentBench: AI tutoring matches human GRE gains at 918x lower cost — gharik · 2026-10-31
- WISD: Distill Training Signal from Weaker Quantized Copies of Reasoning Models — jet-ai · 2026-10-31