In this video, I discuss the solution to a problem from the 2022 International Mathematics Olympiad and see how ChatGPT fares with it.

⭐ Links/references:
IMO Grand Challenge: https://imograndchallenge.github.io/
OpenAI blog about Formal Math: https://openai.com/research/formalmath
IMO 2022 paper: https://www.imoofficial.org/problems...
Solution to the IMO problem from ArtofProblemSolving:
https://artofproblemsolving.com/wiki/...
Solution to the IMO problem from Evan Chen: https://web.evanchen.cc/exams/IMO202...
Sparks of AGI paper from Microsoft: https://arxiv.org/abs/2303.12712
Formal Mathematics Statement Curriculum Learning paper: https://arxiv.org/pdf/2202.01344.pdf
GPT4 Technical Report (mentioned the exams it has passed): https://cdn.openai.com/papers/gpt4.pdf
People betting on if AI will get gold: https://manifold.markets/Austin/will...

⭐ Subscribe to my channel to see more videos like this:    / tibees  

⭐ Support me with a monthly donation on Patreon and receive a gift from me:   / tibees  

⭐ Buy me a coffee (oneoff donation): https://kofi.com/tibees

Website: https://tobyhendy.com
TikTok:   / tibees  
Twitter:   / tobyhendy  
Second channel:    / @tibees2  

Timestamps:
0:00 The IMO Grand Challenge
2:33 2022 IMO Problem
8:18 Giving it to ChatGPT
10:56 A different model
13:43 Patron Cat of the Day