3 ms·
IMProofBench open problem solved by GPT-5
- marojejian 10mo agofrom x: >For the first time, an AI model (GPT-5) autonomously solved an open math problem submitted to our benchmarking project IMProofBench, with a complete, correct proof, without human hints or intervention. A small but novel contribution to enumerative geometry. paper: https://arxiv.org/abs/2512.14575 https://arxiv.org/abs/2512.14575 x.com thread: https://x.com/JohSch314/status/2001300666917208222 https://x.com/JohSch314/status/2001300666917208222