Skip to main content
Theorem
Path
Curriculum
Paths
Labs
Diagnostic
Case Study
Blog
Search
Sign in
Quiz Hub
/
AlphaProof and AI-Assisted Theorem Proving
AlphaProof and AI-Assisted Theorem Proving
5 selected
Difficulty 4-6
5 unseen
View topic
Intermediate
New
0 answered
5 intermediate
Adapts to your performance
Question 1 of 5
120s
intermediate (4/10)
state theorem
What did AlphaProof and AlphaGeometry 2 achieve at IMO 2024 (July 2024, Bath, UK)?
Hide and think first
A.
They solved 4 of 6 problems for 28/42, one point below the gold-medal threshold; AlphaGeometry 2 handled the geometry problem alongside AlphaProof.
B.
AlphaGeometry 2 solved all six problems including the algebra and number-theory ones using its symbolic-geometry engine extended to general olympiad math.
C.
AlphaProof participated unofficially and produced proof attempts that mathematicians judged plausible but did not formally verify or score.
D.
AlphaProof scored a perfect 42/42 by solving all six problems within the standard 4.5-hour contestant time limit and earned IMO gold.
Show Hint
Submit Answer
I don't know