DeepMind AlphaProof

AlphaProof is Google DeepMind's AI math-proof system that achieved silver-medal IMO performance — Gemini-trained reinforcement learning over Lean 4 theorem-proving environments.