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
- Spotting reward hacking in benchmarks is far harder than you think, says AI2 researcher — soldni · 2026-10-26
- RCT: ChatGPT temporarily boosts consultants' data science skills, gains vanish without it — EricTopol · 2026-10-26
- FocusVLA routes robot camera views by predicted interaction intent across task stages — iscas-cloud · 2026-10-26
- Transformers' biggest audio overhaul: unified AudioProcessor architecture — LysandreJik · 2026-10-26
- Free 195-page primer: The Little Book of Generative AI Foundations — caglar_ee · 2026-10-26
- SPADER from Zhejiang and Peking University Tops All Four Multi-Answer QA Benchmarks, Accepted at EMNLP — jiqizhixin · 2026-10-26