IA soluciona el tercer problema matematico mas importante Navier–Stokes

[Amerika]

Uno de los 7 problemas del milenio, el mas famoso solo por detras de Rieman y P vs NP..

Y lo hace en 88 horas, lo mismo que tarda el forero promedio en mover papeles funcionariales..

This model represents a step-function improvement on many benchmarks, and its training is ongoing.Our internal model group arrived at the Navier–Stokes solution in 88 hours, using around 10,000 coordinating AI agents. Throughout the effort, we maintained the strict safeguards—including monitoring and isolation—that we apply to all our frontier evaluations.

OpenAI

@OpenAI

Este modelo representa una mejora escalonada en muchos benchmarks, y su entrenamiento está en curso. Nuestro grupo interno de modelos llegó a la solución de Navier–Stokes en 88 horas, usando alrededor de 10.000 agentes de IA coordinados. A lo largo del esfuerzo, mantuvimos la estricta… pic.twitter.com/97P2lsPJKs

8 Sep 2026 · Traducción automática del inglés al español: puede contener errores · Ver en X

Ver el tuit original (inglés)

This model represents a step-function improvement on many benchmarks, and its training is ongoing. Our internal model group arrived at the Navier–Stokes solution in 88 hours, using around 10,000 coordinating AI agents. Throughout the effort, we maintained the strict… pic.twitter.com/97P2lsPJKs

— OpenAI Ver en X

 

[McNulty]

La ''burbuja capitalista'' de la IA.

@kelden

 

[lululanda]

🔴 ¿DRAMA MATEMÁTICO DEL MILENIO? Ojito que podríamos estar ante una de las noticias matemáticas más importantes de la década, por lo que simbólicamente representa, y sin embargo esta viene envuelta para variar en drama. Tras varios días escuchándose por diferentes redes… pic.twitter.com/rpccLRspIw

— Carlos Santana Ver en X

 

[kelden]

🔴 ¿DRAMA MATEMÁTICO DEL MILENIO? Ojito que podríamos estar ante una de las noticias matemáticas más importantes de la década, por lo que simbólicamente representa, y sin embargo esta viene envuelta para variar en drama. Tras varios días escuchándose por diferentes redes… pic.twitter.com/rpccLRspIw

— Carlos Santana Ver en X

La ''burbuja capitalista'' de la IA.

@kelden

Al charlatán alopécico ese que habeis citao, el santana, le puse esto en un video:

"No puedo, me duelen los ojos y los oidos de verte y oirte. "En matemáticas los modelos llegan a niveles sobrehumanos". Si de verdad tuvieran ese nivel "sobrehumano", no necesitarían que los humanos les programaran las reglas del juego en Lean, ni que les dibujaran el mapa de los axiomas y los teoremas primero. Estarían inventando conceptos abstractos totalmente nuevos desde cero, saltándose los límites de nuestra propia lógica. Y la realidad es que lo único que hacen es correr muy rápido por los caminos que ya les hemos dejado marcados.

Creo que eres ingeniero. Alguien te tuvo que enseñar que una cosa es la Fruta (algoritmos, complejidad temporal, optimización y fuerza bruta) y otra cosa muy distinta es la Creatividad Matemática (el salto lógico conceptual que dieron un Newton, un Leibnizt, un Gauss, un Galois o los propios Perelman y Wiles). De verdad, estás deshonrando el trabajo de tus profesores. Si estudiaste en la pública desperdiciamos el dinero de nuestros impuestos contigo. El comentario correcto por tu parte debería haber sido: "El nuevo modelo de OpenAI optimiza la búsqueda heurística de árboles de decisión en sistemas de prueba formal como Lean". AGI dice el tio. AGIlipollao es lo que está. jajajaja

Que el otro alopécico, el fotógrafo, diga chorradas tiene un pase, al fin y al cabo es un analfabeto tecnológico, un usuario, pero tu no tienes perdón de dios."

El tio ni respondió, ni responderá.

Con respecto a este nuevo anuncio no tengo nada que añadir a lo que ya te dije Mc. No hay ninguna novedad. Sigo harto de los charlatanes.

 

[lokeno100]

Hola, buenas tardes, quisiera saber si alguien ha resuelto las ecuaciones para el momento lineal de Navier-Stokes para fluidos. ¿Han sacado las fórmulas generales para el campo de velocidades de forma general?

saludos.

 

[dalmore_12y]

https://twitter.com/x/status/2097280177000550449

Me quedo con Perelman antes que con una panda de agentes IA.
Resolvió la conjetura de Pointcare y mando atpc todo...hasta las matemáticas.
Un grande, como Unabomber.

 

[lululanda]

Al charlatán alopécico ese que habeis citao, el santana, le puse esto en un video:

"No puedo, me duelen los ojos y los oidos de verte y oirte. "En matemáticas los modelos llegan a niveles sobrehumanos". Si de verdad tuvieran ese nivel "sobrehumano", no necesitarían que los humanos les programaran las reglas del juego en Lean, ni que les dibujaran el mapa de los axiomas y los teoremas primero. Estarían inventando conceptos abstractos totalmente nuevos desde cero, saltándose los límites de nuestra propia lógica. Y la realidad es que lo único que hacen es correr muy rápido por los caminos que ya les hemos dejado marcados.

Creo que eres ingeniero. Alguien te tuvo que enseñar que una cosa es la Fruta (algoritmos, complejidad temporal, optimización y fuerza bruta) y otra cosa muy distinta es la Creatividad Matemática (el salto lógico conceptual que dieron un Newton, un Leibnizt, un Gauss, un Galois o los propios Perelman y Wiles). De verdad, estás deshonrando el trabajo de tus profesores. Si estudiaste en la pública desperdiciamos el dinero de nuestros impuestos contigo. El comentario correcto por tu parte debería haber sido: "El nuevo modelo de OpenAI optimiza la búsqueda heurística de árboles de decisión en sistemas de prueba formal como Lean". AGI dice el tio. AGIlipollao es lo que está. jajajaja

Que el otro alopécico, el fotógrafo, diga chorradas tiene un pase, al fin y al cabo es un analfabeto tecnológico, un usuario, pero tu no tienes perdón de dios."

El tio ni respondió, ni responderá.

Con respecto a este nuevo anuncio no tengo nada que añadir a lo que ya te dije Mc. No hay ninguna novedad. Sigo harto de los charlatanes.

lo puse por que aparecio rapido en google, ahi tambien hablan que algo suena raro en el anuncio

esa noticia la levantan pseudomedios y farsantes que viven de opinar eso, ni me importa el tema sino que como se hacen anuncios grandes que son humo lo copie y pegue
que ese twiter vende humo?ninguna novedad el tal cascaron de nuez opina de todo y no creo sepa de nada, el negocio es venderte como experto. no existe carrera universitaria de experto en inteligencia artificial, alguna univeridad privada la vende pero es mas nombre que otra cosa viendo el plan de estudios similar a cualquier carrera de sistemas.

 

[lokeno100]

lo puse por que aparecio rapido en google, ahi tambien hablan que algo suena raro en el anuncio

esa noticia la levantan pseudomedios y farsantes que viven de opinar eso, ni me importa el tema sino que como se hacen anuncios grandes que son humo lo copie y pegue
que ese twiter vende humo?ninguna novedad el tal cascaron de nuez opina de todo y no creo sepa de nada, el negocio es venderte como experto. no existe carrera universitaria de experto en inteligencia artificial, alguna univeridad privada la vende pero es mas nombre que otra cosa viendo el plan de estudios similar a cualquier carrera de sistemas.

Hola, buenas tardes, patito, qué patito más bonito!!!

saludos.

 

[Don Vladimir Harkonnen]

Al charlatán alopécico ese que habeis citao, el santana, le puse esto en un video:

"No puedo, me duelen los ojos y los oidos de verte y oirte. "En matemáticas los modelos llegan a niveles sobrehumanos". Si de verdad tuvieran ese nivel "sobrehumano", no necesitarían que los humanos les programaran las reglas del juego en Lean, ni que les dibujaran el mapa de los axiomas y los teoremas primero. Estarían inventando conceptos abstractos totalmente nuevos desde cero, saltándose los límites de nuestra propia lógica. Y la realidad es que lo único que hacen es correr muy rápido por los caminos que ya les hemos dejado marcados.

Creo que eres ingeniero. Alguien te tuvo que enseñar que una cosa es la Fruta (algoritmos, complejidad temporal, optimización y fuerza bruta) y otra cosa muy distinta es la Creatividad Matemática (el salto lógico conceptual que dieron un Newton, un Leibnizt, un Gauss, un Galois o los propios Perelman y Wiles). De verdad, estás deshonrando el trabajo de tus profesores. Si estudiaste en la pública desperdiciamos el dinero de nuestros impuestos contigo. El comentario correcto por tu parte debería haber sido: "El nuevo modelo de OpenAI optimiza la búsqueda heurística de árboles de decisión en sistemas de prueba formal como Lean". AGI dice el tio. AGIlipollao es lo que está. jajajaja

Que el otro alopécico, el fotógrafo, diga chorradas tiene un pase, al fin y al cabo es un analfabeto tecnológico, un usuario, pero tu no tienes perdón de dios."

El tio ni respondió, ni responderá.

Con respecto a este nuevo anuncio no tengo nada que añadir a lo que ya te dije Mc. No hay ninguna novedad. Sigo harto de los charlatanes.

Leer posts así en este foro da gusto

 

[Eslacaña]

Me quedo con Perelman antes que con una panda de agentes IA.
Resolvió la conjetura de Pointcare y mando atpc todo...hasta las matemáticas.
Un grande, como Unabomber.

y 1 millón de dólares

El matemático Perelman rechaza el millón de dólares

El Instituto Clay decidirá en otoñó el destino del dinero del premio

elpais.com

 

[sociedadponzi]

lo puse por que aparecio rapido en google, ahi tambien hablan que algo suena raro en el anuncio

esa noticia la levantan pseudomedios y farsantes que viven de opinar eso, ni me importa el tema sino que como se hacen anuncios grandes que son humo lo copie y pegue
que ese twiter vende humo?ninguna novedad el tal cascaron de nuez opina de todo y no creo sepa de nada, el negocio es venderte como experto. no existe carrera universitaria de experto en inteligencia artificial, alguna univeridad privada la vende pero es mas nombre que otra cosa viendo el plan de estudios similar a cualquier carrera de sistemas.

para sorpresa de nadie, grande Buckmaster

pasen a recoger su owned y pedir perdon por el retrat

(imagen visible para usuarios registrados)

 

[ShellShock]

y 1 millón de dólares

El matemático Perelman rechaza el millón de dólares

El Instituto Clay decidirá en otoñó el destino del dinero del premio

elpais.com

Que no cubre ni el 1% de la luz que se ha gastado y los sueldos de los que han trabajado en esos modelos. Pero lo importante es el hecho de haber resuelto algo tan complejo con esas técnicas.

Me gustaría saber qué arquitectura interna tiene ese LLM, y si han puesto módulos de "razonamiento" como los de los HRM o algo así.

De todas formas es mejor que esperemos prudentemente por unos días. Todavía me acuerdo cuando hace años alguien anunció que había resuelto el P-NP y luego encontraron un error en su demostración...

 

[no me creo nada]

A ver en qué queda esto y luego ya opinemos.

 

[frangelico]

Que resuelvan el problema de la eterna juventud y de la energía y ya podemos dormir tranquilos.

 

[sociedadponzi]

A ver en qué queda esto y luego ya opinemos.

que mas quieres saber, la IA indexa cosas y las copia

 

[ShellShock]

https://twitter.com/x/status/2097280177000550449

Ese tío es bastante vendehumos, por lo poco que le he visto.

Que no digo que no sea importante la noticia, de ser cierta. Pero cuidadín con la gente de ese tipo. Viven de los clicks y no suelen saber de lo que hablan.

 

[Carajote]

Al charlatán alopécico ese que habeis citao, el santana, le puse esto en un video:

"No puedo, me duelen los ojos y los oidos de verte y oirte. "En matemáticas los modelos llegan a niveles sobrehumanos". Si de verdad tuvieran ese nivel "sobrehumano", no necesitarían que los humanos les programaran las reglas del juego en Lean, ni que les dibujaran el mapa de los axiomas y los teoremas primero. Estarían inventando conceptos abstractos totalmente nuevos desde cero, saltándose los límites de nuestra propia lógica. Y la realidad es que lo único que hacen es correr muy rápido por los caminos que ya les hemos dejado marcados.

Creo que eres ingeniero. Alguien te tuvo que enseñar que una cosa es la Fruta (algoritmos, complejidad temporal, optimización y fuerza bruta) y otra cosa muy distinta es la Creatividad Matemática (el salto lógico conceptual que dieron un Newton, un Leibnizt, un Gauss, un Galois o los propios Perelman y Wiles). De verdad, estás deshonrando el trabajo de tus profesores. Si estudiaste en la pública desperdiciamos el dinero de nuestros impuestos contigo. El comentario correcto por tu parte debería haber sido: "El nuevo modelo de OpenAI optimiza la búsqueda heurística de árboles de decisión en sistemas de prueba formal como Lean". AGI dice el tio. AGIlipollao es lo que está. jajajaja

Que el otro alopécico, el fotógrafo, diga chorradas tiene un pase, al fin y al cabo es un analfabeto tecnológico, un usuario, pero tu no tienes perdón de dios."

El tio ni respondió, ni responderá.

Con respecto a este nuevo anuncio no tengo nada que añadir a lo que ya te dije Mc. No hay ninguna novedad. Sigo harto de los charlatanes.

Ese es un chalao y un pedante.

Me aparecieron varios videos suyos por algoritmo en youtube y no es de fiar.

Además tiene multicuentas donde se mete en canales de Youtube relacionados a su temática y va echando pestes. Es un tóxico de cuidado.

 

[Octubrista]

Que resuelvan el problema de la eterna juventud y de la energía y ya podemos dormir tranquilos.

O la calvicie, que tanto obsesiona a muchos foreros.

 

[frangelico]

O la calvicie, que tanto obsesiona a muchos foreros.

Eso creo que más o menos está..hay un par de cosas en ensayos y parcee que el año próximo dará la campanadas. Lo msimo ha sido una IA

 

[Carajote]

Para vender acciones de IA. Mira lo que hizo mi inteligencia artificial. Invierta o se queda fuera.

 

[cienaga]

espero que la resolucion de ese problema no me suba los doritos

 

[pamplinero]

Ya era hora. Yo no habia noche que me iba a la cama y no podia conciliar el sueño por el problema Navier-Stokes dandome vueltas por la cabeza.
(adjunto visible para usuarios registrados)

 

[Empujacarritos]

Las matemáticas de IA son como el salvaje oeste.

Como no hay humano capaz de validarlas, nadie sabe si es invento o real.

Es un problema de primer orden, es casi como pensar en algo parecido a un dios que piensa en cosas incomprensibles, o por el contrario la mayor troleada de la historia.

 

[kelden]

Que no cubre ni el 1% de la luz que se ha gastado y los sueldos de los que han trabajado en esos modelos. Pero lo importante es el hecho de haber resuelto algo tan complejo con esas técnicas.

Me gustaría saber qué arquitectura interna tiene ese LLM, y si han puesto módulos de "razonamiento" como los de los HRM o algo así.

De todas formas es mejor que esperemos prudentemente por unos días. Todavía me acuerdo cuando hace años alguien anunció que había resuelto el P-NP y luego encontraron un error en su demostración...

A ver si te lo explico bien. Supongo que sabes como se demuestra un teorema en matemáticas. Te plantean el teorema en el examen y tu tienes que justificar los pasos que vas dando para demostrarlo basándote en axiomas o teoremas previos que se dan por demostrados.

Básicamente esto es lo que hace la máquina esa. ¿Cómo lo hace? En dos fases, pero antes es conveniente saber lo que es Lean. Lean no es una IA, es un software determinista tradicional, lo que en informática se conoce como un verificador formal de teoremas o asistente de demostración. ¿Cómo funciona Lean? Lean comprueba si los pasos de una demostración matemática tienen errores lógicos. ¿Y cómo puede verificar esa lógica? Porque desde 2014 hay miles de matemáticos en el mundo que han creado con sus aportaciones lo que se conoce como Mathlib. Básicamente Mathlib es una biblioteca enorme de axiomas y teoremas demostrados escritos en lenguaje Lean en vez de en un libro de texto.

Entonces el truco consiste en pasarle tu demostración en lenguaje Lean a Lean y si "compila" (tirando de la inmensa biblioteca que tiene y si tus pasos se pueden justificar en alguno de sus teoremas o axiomas) y no da errores has demostrado bien el teorema.

Fíjate que una demostración de un teorema son una serie de pasos y cada paso es susceptible de bifurcarse o trifurcarse en otros muchos y estos a su vez también. Vamos, que las decisiones que tomas cuando demuestras un teorema se pueden representar en forma de árbol descendente.

¿Qué hace el LLM matemático de OpenAI? Exacto, tirando de MathLib crea enormes "árboles de decisión" para demostrar un teorema dado y comprueba cada paso en Lean. Si Lean da error, ese paso y su rama descendente asociada se elimina. Si no, se conserva y prueba los siguientes pasos. Y prueba todos los caminos posibles por pura fuerza bruta hasta que Lean le devuelve un caso con cero errores.

Más o menos funciona así. Ni "inteligencia", ni matemáticas, ni entiende lo que está haciendo. Decir que esa cosa "hace" matemáticas es como decir que una calculadora SABE que está sumando o dividiendo. Ni de coña, pura fuerza bruta y cero comprensión.