For example "Yesterday a really good mathematician told me Anthropic is paying experts like him $250/hour to improve Fable by throwing hard math problems at it." https://mathstodon.xyz/@johncarlosbaez/116974260293157444

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.