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.
More from Research
- World in World: training-free control of frozen video world models for re-camera and revisits — udmrzn · 2026-09-13
- Digital fly with its own connectome brain perceives a real room via AR glasses — stspanho · 2026-09-13
- Jessica Taylor revives 2023 essay: non-superintelligent paperclip maximizers are normal — jessi_cata · 2026-09-13
- Boltz API adds protein fusion, inpainting and sequence redesign, becoming a programmable protein editor — GabriCorso · 2026-09-13
- Sophont + MedARC Claim Lead in fMRI Foundation Models, Eye Structural MRI Next — iScienceLuvr · 2026-09-13
- EvaluatingEvals Grows from 100K to 500K Eval Results Since Beta Launch — evijit · 2026-09-13