anthropic has also made breakthroughs in mathematics: the jacobian conjecture and the complex structure on s6
but they seem less interested than openai in throwing huge amounts of compute at problems until something gives
still scaling compute keeps proving fruitful