In Epoch AI's fixed-budget test by September 2026, a pre-release OpenAI model resolved two of 68 open Erdős problems with proofs verified in Lean

Artificial intelligence research, products, and impact across society.

The systematic study of the natural world through observation, experiment, and theory.