El matemático Tristan (junto con Levent Alpöge) ha hecho públicos tres resultados de blowup en tiempo finito con forzamiento suave: para la ecuación de medios porosos incompresibles, para las ecuaciones de Boussinesq y para las ecuaciones de Euler incompresible en tres dimensiones. Los autores creen disponer también de un resultado análogo para Navier-Stokes hipo-disipativo, cuya verificación en Lean aún no ha concluido. El programa de investigación se basa en el trabajo previo de Diego Córdoba y Luis Martínez-Zoroa sobre blowup forzado, y los autores emplearon grandes modelos de lenguaje (Claude de Anthropic, Codex de OpenAI con GPT-5.6 Sol y Astra) para culminar el programa y verificar las demostraciones. Las pruebas de Boussinesq y Euler se obtuvieron el 15 de agosto y se comprobaron en Lean el 22 de agosto.
En el comunicado, el autor sostiene que el anuncio fue precipitado por presiones externas y critica la calidad de la redacción de los artículos, en particular del correspondiente a Euler, que califica como "AI slop". Relata además que, tras circular rumores de que Anthropic había resuelto un problema abierto, escribió a un matemático de OpenAI el 3 de septiembre. En conversaciones posteriores con Sébastien Bubeck y otro representante de OpenAI el 6 de septiembre, se le informó de que un modelo interno de la compañía había producido una demostración de blowup finito para Navier-Stokes forzado, de unas 100 páginas, que él no ha visto. Según su relato, durante la llamada se aclaró que el equipo llevaba tiempo trabajando en el problema, que se habían utilizado problemas más sencillos como paso intermedio y que se había empleado una cantidad ingente de cómputo. El autor considera que la verdadera trascendencia del avance no son los teoremas, sino que un matemético y un LLM puedan desarrollar este programa en un mes, y defiende que Martínez-Zoroa merece una Medalla Fields.