From Dec 2024: Fields medalists Terence Tao, Timothy Gowers, and Richard Borcherds characterized [FrontierMath] Tier 3 as “exceptionally challenging,” with Tao predicting it will “resist AIs for several years.” They were fully saturated <2 years later.