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

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul Erdős's 1946 upper bound for the pla ...

In October 2024, news broke that Facebook parent company Meta had cracked an "impossible" problem that had stymied mathematicians for a century. In this case, the solvers weren't human. An artificial ...

If you ever thought about being an architect but thought you couldn’t handle the math, you aren’t alone. At parties across the land, as soon as someone finds out there is an architect in the crowd, ...

Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal ...