I'm not remotely convinced of this given the slate of maths results coming out of OpenAI. They seem to be in the lead imo.