AlphaProof Created 2025-04-24 Updated 2025-07-16
deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
AI achieves silver-medal standard solving International Mathematical Olympiad problems
Leela Chess Zero Updated 2025-07-16