The last IMO problem AI could not solve

Problem 6 from the 2025 IMO, a beautiful question eluding all AI's, and the path of intuition required to solve it.