descriptive claim
At the 2024 International Math Olympiad, AlphaProof had more time and substantially more compute than human competitors, earned a silver-medal-level score, and solved problems by generating proofs verified by Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“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.”57:10Report a misattribution
0.95how strongly it was put, not whether it is true
0.90importance to the conversation
0.98confidence the claim was read correctly