The purpose of the looking at the future...is to disturb the present!

Gaston Berger (1896-1960), francuski futurolog

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 arguments were generated by an internal version of Astra (total compute cost ~$2,000 at their Sol ...

Read more


Link :
https://www.nextbigfuture.com/2026/08/openai-next-major-model-astra-solves-major-math-problems.html