AI reportedly shortens Talagrand’s convolution conjecture proof to 1.5 pages
A user says they asked AI to stick to tools they knew and repeatedly prompted it to “simplify proof,” getting a shorter version in their own style.
TLDR
A user says a 40-plus-page proof of Talagrand’s convolution conjecture was previously simplified to seven pages by Shaposhnikov with AI help. They report that AI then rewrote the full proof in 1.5 pages, matching their style after requests to use familiar tools and repeated “simplify proof” prompts. They argue that AI’s growing ability to simplify existing valid proofs could eventually make human cleanup unnecessary.
