21 episodios
02:40:42Habla: Héctor Socas
↗

Búsqueda · 31 momentos en 10 episodios

Borja TosarIgnacio CrespoJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetresolución problema navier stokes openainico 89-52 matemáticas purasesfuerzos humanos desarrollo campo matemáticoNicolásOpenAINavier StokesHéctor SocasAntropicCrespoTomografíaNavier-Stokesecuación de StokesFrancis VillatoroGabriel SpinnJuan Carlos Gil

Resolución problema Navier Stokes OpenAI

Ep571: LUCA; Mercurio; Diplodocus; Estética; Entrelazamiento

17 de septiembre de 2026
3 momentos
Con
0:000:301:001:302:002:303:003:29

Héctor Socas introduce la conversación, mencionando una controversia relacionada con la resolución del problema del milenio de Navier Stokes utilizando modelos de OpenAI, en respuesta a una pregunta de Nicolás.

…ahora mismo son muy altos, se ha podido hacerse contraste de hipótesis separando lo que es el estado separable, que los bosones salgan con 0 -0, del estado no separable, que salgan con una combinación lineal más-menos, 0-0, menos más. Más uno menos uno Estuvimos hablando, entre otros temas, sobre esa controversia o esa noticia importante de la resolución del problema del milenio, del problema de Navier Stokes con modelos de OpenAI. Entonces en ese sentido, en ese contexto pregunta Nicolás, Nico, 89-52 es bastante largo, voy a leerlo: dice: En la mayoría de los casos en matemáticas puras, los problemas se plantean no porque deseemos desesperadamente la solución a estos problemas en sí mismos, sino porque hemos visto por experiencia pasada que los esfuerzos dirigidos por humanos para resolver estos problemas tienden a estimular un mayor desarrollo del campo a través de los esfuerzos para resolver tales problemas y luego para digerir cualquier solución parcial o completa que surja para obtener más conocimientos. O sea, el gran problema para el avance del conocimiento de resolver problemas con AI o con LLM es no estimular y no permitir abrir nuevos campos. El mismo hecho de la investigación es muy preocupante. ¿Qué opinan? Quizás Francis es el matemático más formal de…
Significado #1 · Palabras #1