AlphaProof earned a silver-medal score on the 2024 International Mathematical Olympiad by producing formal proofs verified by Lean

Artificial intelligence research, products, and impact across society.

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