OpenAI’s math breakthrough played to AI’s strengths

OpenAI’s new result is the next step in this progression. The AI model cleverly applied existing ideas drawn from several ...

OpenAI’s Breakthrough On Famed Math Problem Actually Proves That Using AI To Find Counterexamples Is A Smart Strategy For Everyone

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

A Landmark Math Proof Clears a Hurdle in the Top Erdős Conjecture

A pair of mathematicians has solved the first chunk of one of the most famous conjectures about the additive properties of whole numbers. Proposed more than 60 years ago by the legendary Hungarian ...
IFLScience

Math's "Bunkbed Conjecture" Has Been Proven False After 40 Years

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...
Quanta Magazine

Two Students Unravel a Widely Believed Math Conjecture

Mathematicians thought they were on the cusp of proving a conjecture about the ancient structures known as Apollonian circles. But a summer project would lead to its downfall. Summer Haag and Clyde ...
Democrat and Chronicle

90-year-old math problem solved, with help of RIT doctoral student

A Rochester Institute of Technology doctoral student was part of a team of researchers that settled a 90-year-old math problem called Keller’s conjecture. David Narváez, who studies computing and ...