by Brian Wang on (#77D55)
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 arguments were generated by an internal version of Astra (total compute cost ~$2,000 at their Sol ... Read more