OpenAI's Astra AI solves 10 decade-old math problems in cryptography, quantum computing, and geometry, sparking debate on ...

OpenAI announced its AI model, Astra, has resolved 10 longstanding mathematical problems spanning cryptography, quantum ...

The company also released research papers, Lean-certified proofs, and the model’s reasoning walkthroughs for each result.

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

OpenAI announced that its unreleased AI model, Astra, has resolved 10 longstanding mathematical problems across fields like ...

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

OpenAI revealed Astra, its next major model, by publishing ten proofs of problems open for a decade or more. The total ...

OpenAI has introduced Astra, its next-generation AI model, which has reportedly made significant strides in solving ten ...

OpenAI has claimed that its unreleased model Astra was able to solve 10 long standing problems in Mathematics ...

OpenAI says its internal Astra model produced new results on 10 longstanding problems in mathematics and theoretical computer ...