ChatGPT's breakthrough is not what it seems.

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.

Have you ever wondered whether mathletes can go pro? Since 1959, the answer has been “yes” – with the height of achievement and prestige being at the International Mathematical Olympiad (IMO). Every ...

A team of AI researchers and mathematicians affiliated with several institutions in the U.S. and the U.K. has developed a math benchmark that allows scientists to test the ability of AI systems to ...