These are math’s most famous open questions. Solve one, and you’ll win a $1-million prize—but it’s only happened once since ...

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the ...

An 80-year-old maths conjecture that has eluded the world’s greatest mathematicians has been cracked by an artificial intelligence model built by OpenAI. The result has stunned experts and is being ...

Liam Price has no formal training in mathematics and has yet to attend university, but last month, he managed to break new ground in mathematical research — with the help of ChatGPT. Posting on the ...