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:
OpenAI
 @OpenAI
2 Feb 2022
We trained a neural network that solved two problems from the International Math Olympiad. openai.com/blog/formal-math

Feb 2, 2022 · 7:12 PM UTC

4
26
2
314
Replying to @gdb
Any prediction on when it will be able to win a gold medal in the IMO?
JgaltTweets @JgaltTweets
2 Feb 2022
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
Depends how hard @spolu and team work :).
1
4
more replies
Replying to @gdb
Cool
1
Replying to @gdb
It will be remarkable if it can solve some of the unsolved problems of Ramanujan (Worlds Greatest Mathematician)