TLDRocket
Sign in

Computer-Assisted Proofs

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

Monday, 24 November 2025

GPT-5 and the future of mathematical discovery

OpenAI Blog 7 months ago

UCLA Professor Ernest Ryu used GPT-5 to solve an open question in optimization theory. The breakthrough addresses a fundamental problem in the field that had remained unresolved through traditional mathematical methods. This demonstrates that large language models can contribute to academic research by helping mathematicians formulate and verify solutions to theoretical problems.