OpenAI Next Major Model Astra Solves Major Math Problems
by Brian Wang from NextBigFuture.com 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 ...