AI Matches the Abilities of the Best Math Olympians

What is the name of the AI program mentioned in the text?

• AlphaGeometry

• MathAI

• BetaMath

• GeoSolver

How many geometry problems from past IMOs was AlphaGeometry able to solve?

• 25

• 15

• 30

• 10

Who led the team that unveiled AlphaGeometry?

• Peter Scholze

• Manon Bischoff

• Trieu H. Trinh

• Kenn Brown

What was the success rate of AlphaGeometry compared to human gold medalists?

• Higher

• Lower

• Similar

• Not mentioned

Which algorithm was previously used to solve geometric problems before AlphaGeometry?

• GPT-4

• Wu's algorithm

• AlphaSolver

• DeepMind

What did AlphaGeometry find that had escaped the attention of experts?

• A more general solution

• A mistake in a theorem

• An error in the problem statement

• A simpler solution

How many problems do students have to solve in the IMO over two days?

• Twenty

• Twelve

• Ten

• Six

What is a key missing piece in solving problems at the level of an IMO according to the text?

• Understanding the problem statement

• Generating new proof terms

• Translating proofs into programming languages

• Finding the right algorithm

What did the AI model concentrate on finding?

• General solutions to all math problems

• Errors in theorems

• Simpler solutions to problems

• Points, lines, and other useful auxiliary objects

What is the average number of problems solved by most IMO participants?

• 10.5

• 15.2

• 20.3

• 25.9