I love this. Anthropic employees just randomly have solutions to Smale's open problems in their back pockets, waiting for the right moment to sprinkle them into the training set.
Was Anthropic doing this earlier this year? with some of Smale's open problems? Did those improvement go into training the LLM that was used a week ago? Seems like a plausible factor.