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, c

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 https://arxiv.org/abs/2512.14575 x.com thread: https://x.com/JohSch314/status/2001300666917208222 https://x.com/JohSch314/status/2001300666917208222