[{"type":"paragraph","text":{"fr":"Samedi matin, tu scrolles ton feed tech en attendant le café. Pas de keynote annoncée, pas de compte à rebours mystérieux, pas de tweet cryptique de Sam Altman. Juste un billet de blog au titre le plus aride possible : « Ten advances in mathematics and theoretical computer science ». Et au détour du troisième paragraphe, lâché comme une note de bas de page, le nom du prochain grand modèle d'OpenAI : Astra. C'est probablement l'annonce la plus discrète de l'histoire de l'entreprise la plus bruyante de la tech.","en":"Saturday morning, you scroll your tech feed waiting for the coffee to brew. No keynote announced, no mysterious countdown, no cryptic Sam Altman tweet. Just a blog post with the driest title imaginable: 'Ten advances in mathematics and theoretical computer science'. And tucked into the third paragraph, dropped like a footnote, the name of OpenAI's next major model: Astra. It is probably the quietest announcement in the history of tech's loudest company."}},{"type":"paragraph","text":{"fr":"Le fond est nettement moins discret. Selon le billet publié le 1er août, une version interne d'Astra a résolu dix problèmes ouverts de mathématiques et d'informatique théorique sur lesquels aucun progrès central n'avait été fait depuis au moins dix ans, souvent beaucoup plus. Au menu : l'existence de groupes non-sofiques, la réfutation d'une conjecture de rigidité de Connes, de nouvelles bornes pour l'empilement de sphères en haute dimension, et plusieurs problèmes posés par le légendaire Paul Erdős. Le tout pour un coût de génération estimé à environ 2 000 dollars de tokens au tarif de l'API Sol.","en":"The substance is far less quiet. According to the post published on August 1, an internal version of Astra solved ten open problems in mathematics and theoretical computer science on which no central progress had been made for at least a decade, often much longer. On the menu: the existence of non-sofic groups, a disproof of a Connes rigidity conjecture, new bounds for high-dimensional sphere packing, and several problems posed by the legendary Paul Erdos. All for a generation cost estimated around 2,000 dollars in tokens at Sol API rates."}},{"type":"heading","text":{"fr":"Pourquoi « problème ouvert » ne veut pas dire « exercice difficile »","en":"Why 'open problem' does not mean 'hard exercise'"}},{"type":"paragraph","text":{"fr":"Précision utile si les maths sont loin derrière toi : un problème ouvert, ce n'est pas un exercice de concours corsé. C'est une question à laquelle personne sur Terre ne connaissait la réponse, sans corrigé caché quelque part. Et surtout, OpenAI ne demande pas de le croire sur parole : chaque argument a été formalisé en certificat Lean, un assistant de preuve où c'est la machine qui vérifie chaque étape logique. Soit la preuve compile, soit elle ne compile pas. Pour un secteur régulièrement accusé de gonfler ses benchmarks, publier des preuves vérifiables est un choix de communication radicalement différent.","en":"A useful clarification if math is far behind you: an open problem is not a spicy exam exercise. It is a question no one on Earth knew the answer to, with no solution key hidden anywhere. And crucially, OpenAI is not asking to be taken at its word: every argument was formalized as a Lean certificate, a proof assistant where the machine checks every logical step. Either the proof compiles or it does not. For an industry regularly accused of inflating benchmarks, publishing verifiable proofs is a radically different communication choice."}},{"type":"quote","text":{"fr":"OpenAI a glissé l'annonce de son prochain modèle d'IA dans un billet de blog sur les maths.","en":"OpenAI smuggled the announcement of its next AI model into a blog post about math."},"author":"Gizmodo"},{"type":"image","src":"/images/articles/644-body-1.webp","alt":{"fr":"Le logo OpenAI face à un soleil stylisé, symbole de la série de modèles Sol","en":"The OpenAI logo facing a stylized sun, symbol of the Sol model series"},"credit":"The Decoder"},{"type":"heading","text":{"fr":"Après Sol, Terra et Luna, cap sur les étoiles","en":"After Sol, Terra and Luna, aiming for the stars"}},{"type":"paragraph","text":{"fr":"Astra, « les étoiles » en latin, prolonge la cosmologie maison entamée avec la série GPT-5.6 et ses déclinaisons Sol, Terra et Luna, celle-là même qu'on suivait en juillet lors de l'offensive éclair GPT-5.6 et GPT-Live. D'après The Information, la spécialité de cette nouvelle famille serait le travail au long cours : plusieurs agents qui collaborent pendant des heures, voire des jours, sur un même projet complexe. Sam Altman en a d'ailleurs fait la démonstration à Washington fin juillet devant des responsables de l'administration et des sénateurs des deux bords. Le nom reste provisoire, et OpenAI n'a pas tranché entre GPT-6, GPT-5.7 ou une classe à part.","en":"Astra, Latin for 'the stars', extends the in-house cosmology started with the GPT-5.6 series and its Sol, Terra and Luna variants, the same series we followed in July during the GPT-5.6 and GPT-Live blitz. According to The Information, this new family's specialty would be long-horizon work: several agents collaborating for hours, even days, on a single complex project. Sam Altman demonstrated it in Washington in late July to administration officials and senators from both parties. The name remains tentative, and OpenAI has not decided between GPT-6, GPT-5.7 or a class of its own."}},{"type":"heading","text":{"fr":"Et la recherche humaine dans tout ça ?","en":"And where does human research fit in?"}},{"type":"paragraph","text":{"fr":"Reste la question vertigineuse que le billet ne pose jamais frontalement. Si un modèle règle pour 2 000 dollars des questions restées fermées pendant des décennies, qu'est-ce que ça change pour les mathématiciens et mathématiciennes qui y consacrent des carrières entières ? Les optimistes y voient un accélérateur : l'outil défriche, l'humain oriente, comprend et donne du sens. Les autres y voient le début d'un déclassement, où le travail de fond devient une ligne de facture API. Les deux lectures peuvent être vraies en même temps, et c'est bien ça le vertige.","en":"Which leaves the dizzying question the post never asks head-on. If a model settles decades-old questions for 2,000 dollars, what does that change for the mathematicians who devote entire careers to them? Optimists see an accelerator: the tool clears the ground, humans steer, understand and give meaning. Others see the start of a demotion, where deep work becomes a line on an API invoice. Both readings can be true at once, and that is precisely the vertigo."}},{"type":"paragraph","text":{"fr":"Aucune date de sortie publique n'est annoncée, et c'est le prochain point à surveiller : le choix du nom définitif dira beaucoup de l'ambition (GPT-6 assumerait la rupture, GPT-5.7 jouerait la continuité). En face, Anthropic laisse monter les rumeurs autour de Claude Opus 5 qu'on évoquait fin juillet. L'automne 2026 des labos d'IA s'annonce nettement moins calme qu'un billet de blog de maths.","en":"No public release date has been announced, and that is the next thing to watch: the final name choice will say a lot about ambition (GPT-6 would own the leap, GPT-5.7 would play continuity). Across the street, Anthropic lets the Claude Opus 5 rumors we covered in late July keep building. Fall 2026 in the AI labs is shaping up to be far less calm than a math blog post."}}]