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