Comment by vanuatu

kind of a hilarious conspiracy theory

You are correct that LLMs are trained on existing proofs but hiring researchers to solve unsolved problems is just unrealistic, both in terms of how none of the mathematicians simply came out and took credit for their own discovery or exposed this, and how training sets are not easily memorized (rather, the meta techniques are learned).

OpenAI just has better training methods and techniques for pure math over Anthropic, it’s one of their biggest strengths