#breakthrough

Fields Medal-winning mathematician Timothy Gowers tested ChatGPT 5.5 Pro on open math problems and found it produced PhD-level proofs in about an hour, warning that mathematical research faces an imminent 'crisis' at the current rate of AI progress.

The technique GPT-5.4 Pro used to solve Erdos Problem 1196 has been applied to other problems, including another conjecture unsolved for 60 years.