GPT Proves Stronger Mathematical Results
SebastienBubeck · x · 2026-07-19
According to cited sources, during a math proof task prompted by Korsky, GPT proved a stronger conclusion than Beck's 1991 Annals paper, using only a single page of simple harmonic analysis techniques.
The focus here isn't "just another benchmark," but rather the model's unexpected capability in generating non-trivial mathematical proofs: the result is stronger, and the proof is shorter—enough for the author to call them "crazy results."
Related event: GPT-5.6 Solves Decades-Old Math Problems, Boosting Proof Capabilities(10 posts)→
More from Research
- 'Vibe verification': ~60% of AI-written formal specs prove the wrong property — basedjensen · 2026-10-26
- Ito: a browser that detects browsing intent and auto-organizes tabs into Flows — andrewkuznet · 2026-10-26
- Cornell study says brains process language as linear sequences, challenging Chomsky's hierarchy — anirbanbandyo · 2026-10-26
- Hi3D V1.0 open-sourced with 2M training assets and 90% slicing success rate — kimmonismus · 2026-10-26
- Ortet evaluates 34 open-weight models on 50 health tasks, finds general leaderboards insufficient — elmanmansimov · 2026-10-26
- HackBench injects reward hacks into agent trajectories to stress-test monitors — DanielKhashabi · 2026-10-26