TLDRocket
Sign in

Computer-Assisted Proofs

7 summarised stories about Computer-Assisted Proofs, each linking back to the original source. Browse all topics →

Friday, 13 February 2026

GPT-5.2 derives a new result in theoretical physics

OpenAI Blog 5 months ago

GPT-5.2 proposed a new formula for gluon amplitudes in theoretical physics that researchers subsequently proved and verified. The formula describes interactions in quantum chromodynamics, a field where such formal advances are rare enough to warrant publication in a preprint. The result demonstrates that large language models can contribute to mathematical proof discovery, though the practical applications remain unclear.