Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

A simple-looking math problem has confused people for years. Here's the answer and the reasoning behind it—that settles the ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

For nearly eight decades, some of the sharpest minds in mathematics stared at a deceptively simple question about dots on a flat surface and couldn’t crack it. An AI just did. OpenAI announced that ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

OpenAI's AI model solved the unit distance problem posed by Paul Erdos in 1946 The AI found a counterexample disproving Erdos's conjecture on unit-distance pairs The solution shows unit-distance pairs ...

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

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. News about AI math problem raises realization that finding counterexamples can be extremely ...

Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture made by legendary ...

Three mathematicians have laid out proof that solves a long-standing problem in mathematics. Even the mathematician—an Abel prize winner—that first posed the problem didn't believe it would ever be ...

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