ChatGPT vs. World's Hardest Exam

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