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

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level mathematics ...

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

OpenAI announces its reasoning model has disproven a famous 80-year-old geometry conjecture by Paul Erdős, marking a significant achievement after prior claims sparked skepticism.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone ...

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

They made some progress, re-proving the conjecture in two dimensions using different techniques—ones they hoped would be applicable to the three-dimensional case. But then they hit a wall. “At some ...

Hannah Cairo found herself stuck on a problem that wouldn't leave her mind. It wasn't a regular homework assignment—it was a decades-old mathematical puzzle believed to be true by leading experts in ...