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
- ICML 2026 oral paper replication scores stay middling after a stricter re-scoring — profjamesevans · 2026-07-27
- Long-running agents will need immutable event logs, this thread argues — sebpaquet · 2026-07-27
- Seed IQ navigates Doom II, prompting questions about benchmarks beyond ARC-AGI — Fit_Transition8824 · 2026-07-27
- Agentic Data Science in Practice: Agents Write Code but Answer Wrong Questions — hugobowne · 2026-07-27
- A concise canon of foundational papers in ML, systems, NLP, speech, and audio — deliprao · 2026-07-27
- TechCrunch says brain-wave signals could be the next unlock for physical AI training — TechCrunch AI · 2026-07-27