The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

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

News that large language models (LLM) have made major advances in solving Erdős problems – a set of problems formulated by the renowned 20 th-century mathematician Paul Erdős – has created an ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

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

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

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

Solving one of the oldest algebra problems isn't a bad claim to fame, and it's a claim Norman Wildberger can now make: The mathematician has solved what are known as higher-degree polynomial equations ...

We've all been there: staring at a math test with a problem that seems impossible to solve. What if finding the solution to a problem took almost a century? For mathematicians who dabble in Ramsey ...