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 ...

Mathematics is full of mysteries, but some are older than entire civilizations. The oldest unsolved problem in math has persisted for centuries, resisting every attempt to solve it. From the ancient ...

It's quick and easy to access Live Science Plus, simply enter your email below. We'll send you a confirmation and sign you up for our daily newsletter, keeping you up to date with the latest science ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...