The best what to describe what Anthropic and OpenAI are doing in this regard is brute force.
OpenAI "has strategically poached much of the field’s top young talent, arming them with lavish resources to bag the biggest mathematical game they can. They unveil their papers alongside carefully-worded press releases, substituting the impersonal, monolithic byline “OpenAI” for the traditional list of human contributors. They’ve become notorious for disregarding academic norms, and their lead scientist Sébastien Bubeck has now had to apologize repeatedly after these aggressive rollouts sparked furious backlash."
Scientific American: The inside story behind OpenAI’s million-dollar math proof https://www.scientificamerican.com/article/the-inside-story-behind-openais-million-dollar-math-proof/ #OpenAI #Anthropic #BigTech
Scientific AmericanThe inside story behind OpenAI’s million-dollar math proofAI’s solution to the Navier-Stokes problem, and the details of how it happened, preview a chaotic future for math—and the world