The last IMO problem AI could not solve

Full video: https://youtu.be/Nbwv5wHQoj0

Source/provenance: 3Blue1Brown on YouTube — https://www.youtube.com/watch?v=bRQEWPA832A
AI-assisted content; Version 6 LLC; embedded into education-3blue1brown-UCYO hub on neptime.io. Watch through the official YouTube embed; NepTime is not the producer.
Imported as a YouTube embed; no media file copied to NepTime.