Google DeepMind developed AlphaProof, an AI system based on the AlphaGo architecture, to solve competition mathematics using Lean

Artificial intelligence research, products, and impact across society.

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