Math competitions like AMC, AIME, and the USAMO were formative parts of my middle- and high-school experience.
I never quite made it to the IMO, but our new neural network is gearing up to be a formidable competitor at each level of the math competition circuit:
We trained a neural network that solved two problems from the International Math Olympiad. openai.com/blog/formal-math
4
26
2
315
Any prediction on when it will be able to win a gold medal in the IMO?
Metaculus: when will an AI win a gold medal in the International Math Olympiad?
Median in September 2021: 2041
Median now: 2034
metaculus.com/questions/6728…
2
4
