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

OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to ...

OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

OpenAI's AI model solved the famous unit distance problem, a question that had challenged mathematicians since 1946 ...

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

Did our AI summary help? OpenAI has announced that one of its AI models has solved a long-standing mathematics problem first posed by mathematician Paul Erdős in 1946. The company claims the model ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

Michał Pilipczuk, a mathematician and computer scientist nominated by the university, has been selected for Germany’s most prestigious international research award. The Cluster of Excellence ...

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...