The strawberry thing was very funny but probably gave people the wrong impression of where AI was heading in math.
Every FrontierMath Tier 4 problem has now been solved by AI, with GPT-6 Astra solving the last problem standing. Mathematicians often commented that AI found un...