Two heroes of today's Navier-Stokes story are not getting enough credit. Córdoba and Martínez-Zoroa came up with the crucial strategy. Others built on it and, with the help of AI, provided the computations that finished the problem. Thankfully @QuantaMagazine gets this right:
Still more absolute 🔥 from Terence Tao:
“We have now seen that even the rumor of someone working on a problem can trigger a massive amount of AI-powered effort to flatten it before the original research project has time to reach its full potential. The incentives may now be pointing in the direction of no longer sharing any promising research directions with the broader community, which would reverse centuries of traditions of open science and do serious long-term damage to the future of the field”
drama summary for those confused:
- Aug 15th: Tristan Buckmaster & Levent Alpöge make progress on a few important math problems
- they do NOT have a proof for the $1,000,000 Millenium Prize problem. BUT, they do claim to have a proof for a similar (non-Millenium) Navier Stokes problem that could help lead the way there
- Levent works at Anthropic, but this research was independent of his work there, with a mix of GPT and Claude models. Tristan is not related to Anthropic.
- Early Sep: Rumor spreads to OpenAI that Anthropic has solved a major problem. Tristan emails OpenAI to clarify. without revealing the problem they solved or how they did it.
- After hearing of the rumor, OpenAI started researching Navier Stokes with a new internal model.
- Sep 6th: OpenAI's Sebastien Bubeck tells Tristan that they solved the $1,000,000 Millenium Prize Navier Stokes problem. The approach is very similar to Tristan & Levent's approach to the non-Millenium problem.
- Tristan is suspicious of the timing, as only few others were trying this approach. OpenAI says the model didn't access his user data directly, but leaves unanswered whether Tristan's chat conversations were part of the training.
- OpenAI says they would partially credit Tristan for the $1,000,000 discovery (even though Tristan did not solve the $1,000,000 problem) — but only if they remove Levent as an author, as he works for Anthropic.
- Sep 8th: Tristan refuses to remove Levent, and rushes to publish their results independently.
Currently unclear is whether Anthropic had a separate solution for the $1,000,000 problem, or whether the rumor was about Tristan & Levent's independent research.
Resumen del drama de Navier-Stokes;
-Buckmaster + Alpöge (Anthropic) han publicado avances importantes usando IA. Terence Tao cree que la vía es muy prometedora.
-Hay españoles clave: Diego Córdoba y Luis Martínez-Zoroa están detrás de trabajos fundamentales para este enfoque.
I am convinced mathematics is taught wrong. Its usefulness and beauty are hidden behind convoluted formulas, technical nuances and abstract nonsense. Throughout the years, math has enhanced my professional and personal life in ways I can’t even begin to describe.
Mi teoría totalmente no sustentada es que desde que Reynaldo Armas cantó “cuando fui a cerrar sus ojos le brotaron sendas lágrimas” en La Muerte del Rucio Moro. En la canción está usado justificadamente, pero tal vez la gente lo confundió con grandes lágrimas?
Using AI to motivate students: today I showed my class how to visualize a complex function w = f(z) as a mapping. I asked them -- as a challenge -- to create an animation of the idea. One student vibe coded this:
https://t.co/2ThnBu33rE
The movie is me applying z^2 to Murray
We've been getting a lot of questions lately about how the Internet Archive digitizes books.
The short answer: page by page, by hand.
You may remember our viral 2021 video of Eliza Zhang scanning a book. That's still how we do it.
Meet Eliza, and learn how we scan books: https://t.co/gt9s5lbPE4
Voy a soltar opiniones que a muchos no les van a gustar.
LA GESTIÓN DE RIESGO SÍSMICO ES UNA LABOR COLECTIVA, en la que debe primar el bienestar COMÚN ante el INDIVIDUAL.
1. No importa si su vivienda cumple las normas vigentes. Si las de sus vecinos no cumplen…+
Hola
Les comento que el Mincyt a través del Programa Nacional Semilleros Científicos se comunicó con nosotros hoy en la mañana, manifestando que cubrirá el traslado de la selección venezolana de matemática a Argentina.
¡Muchas gracias a todos por su apoyo!
Hoy es parte del equipo venezolano competirá en la Olimpiada Iberoamericana de Matemática, a celebrarse en Argentina entre el 6 y 13 de septiembre de 2026.
El equipo requiere el apoyo de todos ustedes para llegar a Buenos Aires. Por acá les dejo: https://t.co/m44eM2e917
Me equivoqué de post y eliminé el anterior, pero aprovecho para decir que si prefieren ver a los chamos en unas Olimpiadas matemáticas en lugar de farmear aura, esta es la oportunidad de hacerlo posible, es un equipo ganador!
https://t.co/MjLLCXWzOx
De Méx. Ellos no respaldan lo que dicen los “topos”, que pueden tener mucha experiencia y buenas intenciones, eso no lo pongo en duda.
Pero recomendar el T. de la vida o hacerse estrellita de mar ES PELIGROSO, OBSOLETO y es una recomendación que pertenece a otros sistemas +
@ElNacionalWeb Hola, gracias por la nota de prensa, pero tiene algunos errores en la información. Este año fue sólo Luis. Pueden contactarnos para explicarles bien.
Si desean colaborar con Luis y con todo el Programa de la OJM, lo agradeceremos mucho.
https://t.co/ZoI1korI5a
Hoy es parte del equipo venezolano competirá en la Olimpiada Iberoamericana de Matemática, a celebrarse en Argentina entre el 6 y 13 de septiembre de 2026.
El equipo requiere el apoyo de todos ustedes para llegar a Buenos Aires. Por acá les dejo: https://t.co/m44eM2e917
Hoy es parte del equipo venezolano competirá en la Olimpiada Iberoamericana de Matemática, a celebrarse en Argentina entre el 6 y 13 de septiembre de 2026.
El equipo requiere el apoyo de todos ustedes para llegar a Buenos Aires. Por acá les dejo: https://t.co/m44eM2e917
Hoy es parte del equipo venezolano competirá en la Olimpiada Iberoamericana de Matemática, a celebrarse en Argentina entre el 6 y 13 de septiembre de 2026.
El equipo requiere el apoyo de todos ustedes para llegar a Buenos Aires. Por acá les dejo: https://t.co/m44eM2e917