A 23-year-old with no advanced math degree used GPT-5.4 to produce a proof for an Erdős problem unsolved for over 60 years.

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

What if the secrets to the universe’s most perplexing mathematical riddles were no longer locked away, but instead cracked open by an artificial mind? In a new development, OpenAI’s o3-mini model has ...

In 2000 the Clay Mathematics Institute offered a cool million bucks for the answer to any of the seven math problems that they’ve deemed the hardest in the world. The Millennium Problems: The Seven ...