GPT 5.6 Pro drafted an 8-page proof attempt for a p-adic automorphic forms problem
littmath · x · 2026-07-25
A math researcher says GPT 5.6 Pro helped draft a proof in a difficult automorphic-forms project.
- The missing step was a local statement about the volume of a certain p-adic set.
- After being given the goal statement and a proof in the unramified case, the model produced a dense 8-page proof attempt in about 30 minutes.
- The output claimed something slightly stronger than requested, suggesting the model can sometimes extend a proof strategy beyond the provided example.
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