Although it’s not made explicit, we can deduce that it’s at least in part about o3 from this earlier Tweet from the same person:
https://x.com/ElliotGlazer/status/1870613418644025442
3⁄9 Although o3 solved problems in all three tiers, it likely still struggles on the most formidable Tier 3 tasks—those “exceptionally hard” challenges that Tao and Gowers say can stump even top mathematicians.
Although it’s not made explicit, we can deduce that it’s at least in part about o3 from this earlier Tweet from the same person:
https://x.com/ElliotGlazer/status/1870613418644025442