X @Demis Hassabis
Demis Hassabis·2026-03-20 15:08
RT Pushmeet Kohli (@pushmeet)Our AlphaProof paper is in this week’s issue of @Nature!In 2024, @GoogleDeepMind's proof agents AlphaProof & AlphaGeometry together made a substantial leap in AI by achieving the silver-medal standard in solving IMO problems.The Nature paper describes the technical innovations required—in particular, the RL loop bridging natural language & symbolic rigor—that made AlphaProof possible. ...