[castedo]

I can't tell what your point is, but it sounds like a straw man. A more likely scenario (than your strawman) is that Anthropic employees could be using models under development to try and crack math conjectures that have PR value and insights from those internal efforts help train future models that can crack such conjectures. We don't know because sharing of such explanatory factors are not part of the business effort.

[castedo]

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.