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
- Nature paper images cellular activity across all organs, revealing body-wide circuits — arjunrajlab · 2026-09-11
- Skyfall GS Uses Flux to Refine Gaussian Splatting, Accepted at ECCV 2026 — ducha_aiki · 2026-09-11
- Could 10k agents discover learning methods beyond backprop, or just tweak existing ones? — SeunghyunSEO7 · 2026-09-11
- Apodex Launches TRACES, First Benchmark for Evaluating 'Discoverative AI' on Real-World Problems — Faheem_uh · 2026-09-11
- TRACES grades the process, not the answer: six-dimension eval for open-ended AI science — Faheem_uh · 2026-09-11
- Apodex launches TRACES, a benchmark grading AI on open-ended discovery instead of known answers — Faheem_uh · 2026-09-11