Según OpenAI, desde el 28 de agosto de 2026 entrenaba un modelo interno superior a GPT-6 Astra. El 1 de septiembre lanzó grupos de agentes con herramientas (web cache, código) sobre variantes A–D del problema Clay.
Un grupo del orden de 10.000 agentes concurrentes, tras ~88 horas y con cross-pollination vía Codex, produjo el 5 de septiembre una prueba analítica de singularidad (enunciados C/D) con fuerza externa suave y energía finita; Lean + GPT-6 Astra añadieron ~17 horas de formalización.
OpenAI reportó también un resultado previo en Euler no forzado. Cifras globales: ~2,7M mensajes y ~130B tokens de salida solo en la rama Navier–Stokes. Son afirmaciones del lab; la verificación externa continúa.
