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

At a secret meeting in 2025, some of the world's leading mathematicians gathered to test OpenAI's newest large language model, o4-mini. Experts at the meeting were amazed by how much the model's ...

Artificial intelligence can now solve open research-level mathematics problems — not just competition questions — and the May 2026 issue of Science News documents the moment the field registered that ...