OpenAI says its next model, Astra, has solved ten open problems in mathematics

OpenAI says AI system advances 10 major math problems

OpenAI says an internal version of its next major artificial intelligence model has produced new results on 10 longstanding problems in mathematics and theoretical computer science, highlighting the growing role of AI systems in advanced scientific research. The company said the results were generated by an internal version of Astra, described as its next major model. The issues had remained open with no progress on the main result for at least …

OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math

Wanna hear about Connes’s rigidity conjecture? No? Okay, what about a major new AI model?

OpenAI says its next model, Astra, has solved ten open problems in mathematics

TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called Astra, has produced ten new results in

OpenAI Next Major Model Astra Solves Major Math Problems – NextBigFuture.com

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 ...