For all thehubbub, as far as I know, all the math breakthroughs via AI that I've heard about have come from Anthropic and OpenAI, not Chinese models. I could have missed those announcements, but one might think that between close to frontier performance plus cheap tokens, that they'd be leading the way on these things.
"Anthropic and OpenAI" it's basically been all ChatGPT outside of this one.
As with the case with AI and in fact a lot of things in life, sometimes you just need to wait. It will happen, rather soon.
I mean of course an employee has cheap tokens
> as far as I know, all the math breakthroughs via AI that I've heard about have come from Anthropic and OpenAI, not Chinese models
Maybe because dishonesty is more normalized in SV business culture
All (unless I've missed one?) the math breakthroughs are also coming from the relatively small number of mathematicians working at these companies, as opposed to the many orders of magnitude more mathematicians using LLMs for mathematics outside of the companies. I assume the missing link everywhere is being able to casually burn a few rainforests worth of tokens in pursuit of something publishable.