from 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
x.com thread: https://x.com/JohSch314/status/2001300666917208222