21:42
2026-09-05
contraptions.venkateshrao.com
artificial-intelligence
The Curiously Playable Universe
Google DeepMind's AlphaProof solved three of five non-geometry problems at the 2024 International Mathematical Olympiad, a feat enabled by the formal language Lean, which provides a verifiable environ…