Roundup
Le 1er août 2026, OpenAI a publié « Ten advances in mathematics and theoretical computer science », une synthèse de résultats sur des problèmes qui — selon OpenAI — n’avaient pas vu de progrès sur le résultat principal depuis au moins une décennie. Le billet primaire est sur l’index OpenAI ; Google News relaie le même item OpenAI pour qui bute sur Cloudflare ou des miroirs.
Ce que nous (ne) résumons (pas)
Nous ne réimprimons pas ici la liste complète des dix avancées comme des théorèmes réglés. La couverture secondaire (dont le roundup de liens de Simon Willison et la caveat peer-review de MLQ) note un PDF joint, des formalisations Lean 4 dans openai/ten-proofs, et un examen communautaire en cours. Traiter le billet OpenAI et le dépôt Lean comme checklist de ce qui est revendiqué et machine-checked — pas ce brief comme substitut.
Pour acheteurs d’outils et leads recherche, la valeur n’est pas « dix problèmes résolus » mais le fait que des labs frontier publient des claims maths/TCS avec artefacts machine-checkables — autre posture qu’une démo blog seule. Commencer par l’URL OpenAI ci-dessous ; si elle est bloquée, le cluster Google News du même titre renvoie encore à OpenAI comme source.
Primaire et miroirs
- OpenAI — Ten advances in mathematics… — Primary announcement (index path used by openai/ten-proofs)
- Google News — same OpenAI title — RSS cluster if the index URL is unreachable
- openai/ten-proofs (Lean 4) — Formalization repo