A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

AI can rifle through enormous libraries of information to connect far-flung ideas—conceptual leaps remain a purely human skill. The planar unit distance problem, or Erdős problem 90, has intrigued ...

“If you are a mathematician,” one of the world’s leading mathematicians recently wrote, “you may want to make sure you are sitting down before reading further.” And you’ll definitely need to sit down ...

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old ...

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

Problem solving is the mental process of analyzing a situation, learning what options are available, and then choosing the alternative that will result in the desired outcome or some other selected ...

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...

Is America heading toward a national debt crisis? As an economic adviser to President Biden and an economist active in mainly Democratic policy circles since the late 1980s, I’ve spent most of my ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...