OpenAI Next Major Model Astra Solves Major Math Problems

Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances across pure math and theoretical computer science. The argum…