The last IMO problem AI could not solve
3Blue1Brown · 51:55
IMO 2025 Problem 6 asks for the fewest axis-aligned rectangular tiles on a 2025×2025 grid such that each row and each column has exactly one uncovered cell; this video shows that the minimum is \(k^2+2k-3=2112\) when...