Published On May 25, 2023
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...
Solution to the IMO problem from ArtofProblemSolving:
https://artofproblemsolving.com/wiki/...
Solution to the IMO problem from Evan Chen: https://web.evanchen.cc/exams/IMO-202...
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-...
⭐️ 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 (one-off donation): https://ko-fi.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