openai.com détecté sur le web

OpenAI dit qu'Astra résout dix problèmes ouverts en maths et informatique théorique, preuves vérifiées en Lean

Par Alexis Dufresne Publié 1 août 2026 à 12:48 UTC

OpenAI Generative AI ai-business

Résumé

OpenAI publie « Ten advances in mathematics and theoretical computer science », attribuant à une version interne du modèle Astra la résolution de dix problèmes ouverts en géométrie de haute dimension, théorie des codes, complexité, cryptographie sur réseaux et combinatoire extrémale. Chaque preuve est formalisée en Lean et vérifiable automatiquement, pour un coût d'exploration cité autour de 2 000 $. Astra reste inaccessible aux développeurs et les figures viennent uniquement d'OpenAI.

Shared on Bluesky by 10 AI experts (top 5 by trust)

Ted Underwood @tedunderwood.com amplified

@chrispeikert.bsky.social

1/ Initial reactions after some hours with this groundbreaking result proving the NP-hardness of poly-approx CVP/NCP: It is most likely correct, but more importantly, it is original, elegant, and beautiful! (Also: it i…
View on Bluesky →
Ethan Mollick @emollick.bsky.social: OpenAI announces 10 discoveries from their next model. Observations:: 1) AI is getting very good at math 2) Two years ago LLMs failed at bas… →
Tim Kellogg @timkellogg.me: Astra, the next version of GPT, solves 10 unsolved problems in math Each of these problems has had little to no progress in ten years or mo… →
Pwnallthethings @pwnallthethings.bsky.social: whoa openai.com/index/ten-ad... →
Sean O hEigeartaigh @sean-o-h.bsky.social: We are entering a new world. The implications and consequences will require all our best thinking to handle, but no scientist (myself includ… →

Article original publié par openai.com

Lire l'article original →

Titre original : OpenAI dit qu'Astra résout dix problèmes ouverts en maths et informatique théorique, preuves vérifiées en Lean