GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.
A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...
A 23-year-old amateur solved open Erdős problem #1196 with a prompt to GPT-5.4 Pro – mathematicians see a new quality in this ...
This is a huge advance for AI to make big progress with better reasoning and better math. Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results