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://imo-grand-challenge.github.io/
OpenAI blog about Formal Math: https://openai.com/research/formal-math
IMO 2022 paper: https://www.imo-official.org/problems.aspx
Solution to the IMO problem from ArtofProblemSolving:
https://artofproblemsolving.com/wiki/index.php/2022_IMO_Problems/Problem_6
Solution to the IMO problem from Evan Chen: https://web.evanchen.cc/exams/IMO-2022-notes.pdf
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
GPT-4 Technical Report (mentioned the exams it has passed): https://cdn.openai.com/papers/gpt-4.pdf
People betting on if AI will get gold: https://manifold.markets/Austin/will-an-ai-get-gold-on-any-internat
⭐️ Subscribe to my channel to see more videos like this: https://www.youtube.com/user/tibees
⭐️ Support me with a monthly donation on Patreon and receive a gift from me: https://www.patreon.com/Tibees
⭐️ Buy me a coffee (one-off donation): https://ko-fi.com/tibees
Website: https://tobyhendy.com
TikTok: https://www.tiktok.com/@tibees
Twitter: https://twitter.com/TobyHendy
Second channel: https://www.youtube.com/channel/UCOZE5llobz3pjPRP69d0Ejg
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
