At the 2024 International Math Olympiad, AlphaProof had more time and substantially more compute than human competitors and achieved a silver-medal-level score.

“It has more time than the human competitors. It has massive amounts of compute. Ultimately, it gets a silver medal-level score, and the way in which it, it solves the problems is by outputting Lean proofs and then using Lean to verify them.”