Roundup
El 1 de agosto de 2026, OpenAI publicó «Ten advances in mathematics and theoretical computer science», un resumen de resultados sobre problemas que —según OpenAI— no habían visto progreso en el resultado principal en al menos una década. El post primario está en el índice de OpenAI; Google News también muestra el mismo ítem de OpenAI si hay Cloudflare o retrasos de espejo.
Qué (no) estamos resumiendo
No reimprimimos aquí la lista completa de diez avances como teoremas zanjados. La cobertura secundaria (incluido el roundup de enlaces de Simon Willison y la salvedad de peer review de MLQ) señala un PDF acompañante, formalizaciones Lean 4 en openai/ten-proofs y escrutinio comunitario en curso. Traten el post de OpenAI y el repo Lean como checklist de lo reivindicado y lo machine-checked — no este brief como sustituto.
Para compradores de herramientas y leads de investigación, el valor no es «diez problemas resueltos» sino que labs frontier publiquen claims de mates/TCS con artefactos machine-checkable — otra postura que demos solo en blog. Empiecen por la URL de OpenAI abajo; si está bloqueada, el cluster de Google News del mismo título sigue apuntando a OpenAI como fuente.
Primario y espejos
- 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