1 articles

AlphaGeometry

Index of editorial tags and filtered coverage.

AlphaProof and AlphaGeometry: formalization as muscle

DeepMind coupled language models to Lean and synthetic geometry to solve olympiad problems with checkable proofs.