It has the potential to accelerate scientific discovery, expand our ability to model the physical world, and help tackle challenges that once seemed out of reach.
I never imagined seeing something like this when I was studying Mechanical Engineering. Now, working as an AI Engineer, I can’t stop thinking about the possibilities that artificial intelligence is opening up for science, engineering, and humanity.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Seeing AI contribute to solving problems as complex as the Navier–Stokes equations is a powerful reminder that its impact goes far beyond digital products.
Announcing a solution to the Navier-Stokes problem, one of the seven Millenium Prize problem.
Represents a major milestone for both AI and mathematics, as well as pointing to an upcoming renaissance in scientific discovery.
Hoping that the knowledge created by this model can help the community better understand non-linear PDEs, which are used to model much of the physical world.
ESTO ES HISTORIA
No sé si os hacéis una idea de lo que significa esto. Me tiemblan las manos...
¿Estamos viendo el primer indicio de ASI (superinteligencia artificial) emergente? Los primeros esbozos de una inteligencia artificial superior a la de cualquier humano.
Navier–Stokes, na' más y na' menos... RESUELTO POR IA! Si se confirma es un hito histórico. Sería el segundo Problema del Milenio en resolverse. El primero fue la conjetura de Poincaré, resuelta por Grigori Perelman en sus trabajos en 2003.
Las implicaciones de esto me hacen pensar que ya no se trata solo de estar a las puertas de la AGI (posiblemente ya lo estemos), sino de que podríamos darnos de bruces con una explosión exponencial de inteligencia.
Un punto de singularidad... Directos a la ASI!
Según OpenAI, unos 10.000 agentes de IA coordinados llegaron a la solución en unas 88 horas, más otras 17 para la formalización y verificación en Lean.
Qué locura. Tan solo 100 horas para encontrar una solución a un problema que llevaba unos 90 años sin resolverse! ¿Qué será lo siguiente?
DIOS SANTO.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Biggest snag: merging my feature branch into main failed with a silent 403 because the wrong GitHub account was active in gh auth . Lesson — check gh auth status before blaming git.
Just shipped v1 of a household chores tracker built with Django + DRF — but the real experiment was how I built it.
🔗 https://t.co/ZSpU945RJn
#aidevtools@DataTalksClub@Al_Grigor
an Orchestrator ties it together and only closes issues after QA passes.
Result: 16 issues, 109 passing tests, full API docs — assignment rotation, streaks, points ledger, badges, leaderboards.
#Atento I Latam Airlines informó que, en el marco de la emergencia, como medida de autorregulación y ante el incremento de la demanda, estableció topes tarifarios para las rutas con origen o destino en Cali, Armenia y Pereira. De esta manera, la tarifa máxima por trayecto será de $252.000 para Cali, $234.000 para Armenia y $228.000 para Pereira
#EsTendencia: @EW ha revelado las primeras imágenes oficiales de “LA ODISEA”, la nueva película de Christopher Nolan, que estrena en los cines del mundo en julio del próximo año 🍿
En Chile eligieron al hijo de un alemán que perteneció al partido nazi. Eso sí es una derecha de verdad, no como aquí que se dicen de derecha un poco de analfabetos que crían caballos para ir a emborracharse en las ferias de Titiribí.
En una entrevista con La Silla Vacía dije que tenía muchos amigos mamertos y fue un escándalo porque también estoy casada con uno. Es la prueba de que se puede querer a quien piensa distinto. Porque cuando lo hacemos, empieza la paz y termina la polarización que tanto daño le hace al país.