Búsqueda · 21 momentos en 3 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetestructura conversación problemas milenioplanteamiento del problema milenioimportancia problemas del mileniointeligencia artificial resuelve problemaproblemas del milenio matemáticaecuación física problemas del mileniogastón giribet problemas del milenioecuación física problemas mileniocomplejidad matemática ecuación físicasoluciones ecuaciones físicasunicidad existencia solucionesecuaciones einstein nunca resolviósoluciones schwarzschild ecuaciones einsteinresolución ecuaciones diferenciales complejasproblemas particulares soluciones einsteinecuación navier stokes fluidosdinámica de los fluidos gases líquidosviscosidad en fluidos gasesGastón GiribetNavier StokesFrancis VillatoroFeffermanIsaac AsimovMultivacSchwarzschildKerrRobinsonEcuaciones de EinsteinEcuaciones diferencialesProblema del milenioNSFformulación CHéctor SocasProblemas del MilenioGrigori PerelmanMedalla FieldsSan PetersburgoInstituto ClayPremio del MilenioTristan BookmasterCurant InstituteUniversidad de Nueva YorkDiego CórdobaOpenAIAndrew WilesNature
Problema del milenio Ecuaciones diferenciales
Con
0:000:301:001:302:002:303:003:31
Gastón Giribet introduce el tema de los problemas del milenio, explicando que uno de ellos está relacionado con una ecuación de la física.
…un poco sensacionalista, llamativa. Por ejemplo, una inteligencia artificial ha resuelto uno de los problemas del milenio. Podemos empezar por ahí; esa puede ser un titular. Otro titular puede ser OpenAI acusada de plagio; también hay quien va por ese camino. Vamos a intentar poner un poco de orden y un poco de sensatez en todo esto; vamos a empezar por el principio. De hecho, incluso hemos tenido una pequeña conversación ahora en la pausa sobre cómo íbamos a estructurar esta conversación. Algo que no solemos hacer, o sea que imagínense ustedes lo preocupados que estamos con que esto podamos contarlo de una forma medianamente racional y lógica. Pero bueno, vamos a empezar por el planteamiento del problema, el famoso problema del milenio: de qué estamos hablando, qué son los problemas del milenio, por qué son tan importantes y cuál es el problema en concreto que supuestamente ha resuelto una inteligencia artificial y que sería una noticia realmente muy importante de confirmarse. Gastón, por ejemplo, quiere plantearnos tú el problema. Claro, sí, bueno, primero es la lista de los problemas del milenio; uno de ellos está relacionado con la ecuación, que es una ecuación de la física, a pesar de que los problemas del milenio son problemas abiertos en matemática, porque es una ecuación que nace de la física y es muy importante para la física. Ahora Vamos a hablar de qué es, pero por otro lado es un problema que desde el punto de vista matemático es muy complejo, porque la ecuación es muy, aparte de ser importante para la física, es muy muy difícil decirlo. Algo de ellas, entonces algo de sus soluciones, algo acerca de la existencia de sus soluciones, algo acerca de la unicidad de existencia de sus soluciones y algo acerca del buen comportamiento de las soluciones que existen. Es una ecuación diferencial, en física ocurre mucho que uno escribe una ecuación diferencial, pero esa ecuación diferencial al ser no lineal, al ser muy compleja, no quiere decir que sea fácil resolverla. Por ejemplo, conocemos las ecuaciones de Einstein, que Einstein nunca resolvió, por ejemplo, de manera exacta; es decir, la resolvió Schwarzschild, la resolvió Kerr, la resolvió, no sé, Robinson, mucha gente. Pero las ecuaciones las escribió Einstein, pero una cosa es escribir unas ecuaciones. Las ecuaciones dicen mucho sobre la física, pero sus soluciones se aplican a problemas particulares y a veces es muy difícil resolver esas soluciones, o incluso saber si es posible resolver esas soluciones. La ecuación de Navier-Stokes es una ecuación que gobierna la dinámica de los fluidos. ¿Qué quiere decir esto? De todo fluido; absolutamente todo fluido. Fluido de gases, líquidos. Por supuesto, uno puede pensar en diferentes condiciones. Hay fluidos que tienen, por ejemplo, viscosidad y otros que no tienen viscosidad, o tienen mucha viscosidad o tienen poca viscosidad. Pero la ecuación que gobierna cualquier fluido, los gases o los líquidos, cualquiera, desde el flujo de la sangre hasta cómo se hace un avión, porque el avión no es nada más que algo moviéndose en un fluido, o el agua, todo eso está gobernado por una ecuación diferencial que Se conoce como ecuación de Navier-Stokes. Me veo obligado, Gastón, perdón, es de formación profesional, puede ser muy petardo, pero me veo obligado a hacer una puntualización: cualquier fluido neutro ¿Cómo? Cualquier fluido neutro, sin carga y sin campos…
Significado #1 · Palabras #1
Gastón Giribet introduce el tema de los problemas del milenio, explicando que uno de ellos está relacionado con una ecuación de la física.
Habla: Gastón GiribetSignificado #1 · Palabras #1estructura conversación problemas milenioplanteamiento del problema milenioimportancia problemas del mileniointeligencia artificial resuelve problemaproblemas del milenio matemáticaecuación física problemas del mileniogastón giribet problemas del milenioecuación física problemas mileniocomplejidad matemática ecuación físicasoluciones ecuaciones físicasunicidad existencia solucionesecuaciones einstein nunca resolviósoluciones schwarzschild ecuaciones einsteinresolución ecuaciones diferenciales complejasproblemas particulares soluciones einsteinecuación navier stokes fluidosdinámica de los fluidos gases líquidosviscosidad en fluidos gases…un poco sensacionalista, llamativa. Por ejemplo, una inteligencia artificial ha resuelto uno de los problemas del milenio. Podemos empezar por ahí; esa puede ser un titular. Otro titular puede ser OpenAI acusada de plagio; también hay quien va por ese camino. Vamos a intentar poner un poco de orden y un poco de sensatez en todo esto; vamos a empezar por el principio. De hecho, incluso hemos tenido una pequeña conversación ahora en la pausa sobre cómo íbamos a estructurar esta conversación. Algo que no solemos hacer, o sea que imagínense ustedes lo preocupados que estamos con que esto podamos contarlo de una forma medianamente racional y lógica. Pero bueno, vamos a empezar por el planteamiento del problema, el famoso problema del milenio: de qué estamos hablando, qué son los problemas del milenio, por qué son tan importantes y cuál es el problema en concreto que supuestamente ha resuelto una inteligencia artificial y que sería una noticia realmente muy importante de confirmarse. Gastón, por ejemplo, quiere plantearnos tú el problema. Claro, sí, bueno, primero es la lista de los problemas del milenio; uno de ellos está relacionado con la ecuación, que es una ecuación de la física, a pesar de que los problemas del milenio son problemas abiertos en matemática, porque es una ecuación que nace de la física y es muy importante para la física. Ahora Vamos a hablar de qué es, pero por otro lado es un problema que desde el punto de vista matemático es muy complejo, porque la ecuación es muy, aparte de ser importante para la física, es muy muy difícil decirlo. Algo de ellas, entonces algo de sus soluciones, algo acerca de la existencia de sus soluciones, algo acerca de la unicidad de existencia de sus soluciones y algo acerca del buen comportamiento de las soluciones que existen. Es una ecuación diferencial, en física ocurre mucho que uno escribe una ecuación diferencial, pero esa ecuación diferencial al ser no lineal, al ser muy compleja, no quiere decir que sea fácil resolverla. Por ejemplo, conocemos las ecuaciones de Einstein, que Einstein nunca resolvió, por ejemplo, de manera exacta; es decir, la resolvió Schwarzschild, la resolvió Kerr, la resolvió, no sé, Robinson, mucha gente. Pero las ecuaciones las escribió Einstein, pero una cosa es escribir unas ecuaciones. Las ecuaciones dicen mucho sobre la física, pero sus soluciones se aplican a problemas particulares y a veces es muy difícil resolver esas soluciones, o incluso saber si es posible resolver esas soluciones. La ecuación de Navier-Stokes es una ecuación que gobierna la dinámica de los fluidos. ¿Qué quiere decir esto? De todo fluido; absolutamente todo fluido. Fluido de gases, líquidos. Por supuesto, uno puede pensar en diferentes condiciones. Hay fluidos que tienen, por ejemplo, viscosidad y otros que no tienen viscosidad, o tienen mucha viscosidad o tienen poca viscosidad. Pero la ecuación que gobierna cualquier fluido, los gases o los líquidos, cualquiera, desde el flujo de la sangre hasta cómo se hace un avión, porque el avión no es nada más que algo moviéndose en un fluido, o el agua, todo eso está gobernado por una ecuación diferencial que Se conoce como ecuación de Navier-Stokes. Me veo obligado, Gastón, perdón, es de formación profesional, puede ser muy petardo, pero me veo obligado a hacer una puntualización: cualquier fluido neutro ¿Cómo? Cualquier fluido neutro, sin carga y sin campos…
Gastón Giribet explica que si una simulación de fluidos muestra velocidades tendiendo a infinito, esto indica que la ecuación utilizada deja de ser válida debido a efectos relativistas.
Habla: Gastón GiribetSignificado #18 · Palabras #12ecuaciones diferenciales condiciones inicialesvelocidad tiende a infinito relativistasproblema para matemáticos ecuaciones diferencialescorrecciones relativistas ecuación de la luz…quiere decir que las leyes de la física se rompan, quiere decir que esa ley de la que estoy hablando deja de valer, por ejemplo. No sabemos que hay leyes que no son fundamentales, lo dijimos al principio, la ecuación de Navier-Stokes vale en cierto régimen. Si, por ejemplo, yo descubriera que sí, que en efecto, la velocidad de una parte del fluido de repente extiende a infinito, yo ya sé lo que pasa. Y bueno, a partir de cierto valor de la velocidad deja de valer esta ecuación porque se está acercando a la de la luz y la ecuación recibe correcciones relativistas y empieza a valer otra ecuación. Pero la pregunta estaba bien postulada porque es un problema muy importante para los matemáticos, muy interesante y difícil para los matemáticos; es el problema de condiciones iniciales o condiciones de contorno para ecuaciones diferenciales. Iniciales es en el tiempo, el contorno es en el espacio, pero básicamente es lo mismo; en algunos casos se habla mal y pronto de la misma manera la idea es si yo fijo ciertas Condiciones bien comportadas, si la misma dinámica de la evolución física me va a llevar a situaciones que no tienen sentido porque alguna cantidad física relevante diverge, eso es un problema abierto que luego se formuló de diferentes maneras; es el problema…
Gastón Giribet explica cómo los problemas C y D dentro de la clasificación de Fefferman buscan un contraejemplo para demostrar un 'breakdown', que ocurre cuando una solución adquiere una singularidad.
Habla: Gastón GiribetSignificado #15 · Palabras #8problemas fefferman breakdownsingularidad solución físicaecuación dinámica fluidoproblema del milenio singularidad…yo a un fluido le doy un golpe infinito no me sorprende que la velocidad del fluido al que gira infinita velocidad. La idea es con un forzado suave y condiciones iniciales suaves y no se puede dar lugar a una, a una, en realidad el problema C y el problema. D es buscar un contraejemplo: mostrar que hay un breakdown. Las versiones CID son las versiones del breakdown, que es cuando en efecto uno ve que la solución adquiere una singularidad; es un problema de cómo se comporta la física cuando comienza comportándose bien, cómo se comporta un fluido cuando comienza comportándose bien. La misma ecuación que gobierna la dinámica de un fluido puede hacer que de repente en algún tiempo finito se comporte mal: ese es el problema del milenio. En general, el problema del milenio se llamó Déjame incidir en una cosa para los oyentes, que como clarificación, no se trata de decir: voy a resolver estas ecuaciones en una determinada situación en la que le pongo un fluido en unas condiciones suaves y voy a resolverlo, no; se trata de demostrar. No…
Gastón Giribet explica la dificultad de encontrar contraejemplos para demostrar el comportamiento correcto de soluciones en problemas matemáticos, comparándolo con el problema del milenio.
Habla: Gastón GiribetSignificado #4problema del milenio como contraejemplocuatro versiones problema milenioresultados preliminares problema milenio…pero eso es un problema para matemáticos, ¿no? O sea, gente como Francis se dedica a esas cosas, que son mucho más complicadas que el problema. Resolver esas situaciones es complicado, pero siempre las estarás resolviendo en unas condiciones particulares. Pero esto es que para cualquier, que puedas demostrar que para cualquier, da igual lo que tú le pongas de entrada, se va a comportar bien o encontrar un contraejemplo Al menos encontrar un contraejemplo en el que muestres que no es así. Demostrar eso. El problema de milenio es demostrar eso. Hay cuatro versiones y hay un montón independientes y hay un montón de resultados preliminares. Se ha logrado en una dimensión más baja probar algunas cosas, mucho. Se ha probado también con condiciones de contorno que son pequeñas. Hay un montón de subresultados sobre esto. La idea, que el problema es, como dice, como enfatiza Héctor, es demostrar que…
Gastón Giribet explica que Grigori Perelman resolvió uno de los Problemas del Milenio y rechazó tanto el premio de un millón de dólares como la medalla Fields, optando por vivir con su madre en San Petersburgo.
Habla: Gastón GiribetSignificado #9problemas del milenio instituto clayperelman resolvió problema del mileniotristan bookmaster curant institutedepartamento matemática universidad nueva yorkperelman rechaza millón dólaresmedalla field para menores de 40san petersburgo residencia perelmanproblema del milenio resueltoecuaciones de navier stokesresolución problemas millenium…de contorno, si encuentran un contraejemplo y parten de que el fluido se comporta bien, pero la evolución temporal lo lleva a que de repente explota, entonces eso se alcanza como contraejemplo. No me importa si este caso tiene o no aplicación física. Entonces, es un problema muy muy complejo, el Instituto Clay lo incluyó en una serie de problemas Los problemas del milenio son problemas que no fueron resolucionados hasta ahora, salvo uno Que es aquel que resolvió Perelman en el año 2002, circa, porque es una serie de trabajos Y luego otra gente que publicó los trabajos de él de manera más prolija Que también estaba en el Current Institute acá, donde uno de los personajes de los que luego entrarán en la historia de la controversia trabaja Tristan Bookmaster, pero Perelman estaba visitando el Curant Institute, el Departamento de Matemática de la Universidad de Nueva York y él resolvió en ese momento uno de los problemas del milenio, el único que ha sido resuelto hasta ahora. El único que ha sido resuelto hasta ahora, los que resuelven el problema del milenio ganan un millón de dólares, Perelman rechazó el millón de dólares y como era menor de 40 años también se le ofreció la medalla Field, porque la medalla Field te la dan, si hiciste ese resultado a menor de los 40 años, También rechazó la medalla Field y también rechazó posiciones de profesor en todo el planeta y terminó viviendo con su mamá en San Petersburgo Bueno, esto un poco para mostrar cuán complicados estos problemas. Solo uno ha sido resuelto en décadas, solo uno y no solamente eso, sino que si bien había muchos resultados que se iban acercando a este segundo. Creíamos que no iba a ser resuelto ya. Entonces, en ninguna de sus versiones, esta versión de FF, una clasificación, había gente que se estaba acercando mucho; entonces ahora voy a dejar que hay un físico que estaba en Harvard y que ahora trabaja para…
Gastón Giribet introduce la transición a lo que se sabe actualmente sobre el problema de las ecuaciones de Navier-Stokes, anticipando la intervención de Francis Villatoro y recapitulando la pregunta central del desafío: demostrar o encontrar un contraejemplo para una afirmación sobre la evolución temporal de fluidos.
Habla: Gastón GiribetSignificado #13 · Palabras #15ecuaciones navier stokes problemafrancis villatoro y ecuacionesproblema del milenio millón dólaresevolución temporal fluido divergencia…forzada de este problema, basan su trabajo en el trabajo de dos matemáticos españoles, de los que hablaremos en un segundo; supongo que Francis mencionará. Hay mucha gente que se iba acercando, pero nadie esperaba que el problema fuera resuelto. Bueno. Vamos a entonces hacer la transición a qué se sabe ahora del problema, que va a hablar Francis, pero espero que haya quedado claro: El comportamiento es, la pregunta era, ¿me puedes demostrar o al menos dar un contraejemplo que muestre que no es cierto la siguiente afirmación? Yo comienzo con un fluido que está siempre bien comportado y la evolución temporal del comportamiento de este fluido en un tiempo finito me produce una divergencia, un infinito, un blow up, un sin sentido matemático. Ese es el problema del milenio. Y hay un millón de dólares de premio para los problemas del milenio. O sea que hay mucha gente trabajando muy duro en los últimos 26 años en intentar resolver esos problemas. Estos problemas son tan importantes que el dinero no importa. Y créeme eso. Un matemático estaría feliz con un millón de dólares, seguro. Yo también. Pero como científico, esto no es de ser un idealista; como científico, la relevancia, el capital simbólico, la fama, el prestigio que te daría resolver un problema de…
Ignacio Crespo reflexiona sobre la motivación detrás de la resolución de problemas matemáticos complejos, tomando como ejemplo a Grigori Perelman, quien rechazó el premio por resolver un Problema del Milenio.
Habla: Ignacio CrespoSignificado #6problema del milenio perelmanresolución problemas del milenio…idea de la relevancia que tiene el problema y contribuye a dar un empujón inicial para darle valor al premio, que también creo que es interesante. Evidentemente ahora eso ya es algo que va por libre. Y como reflexión rápida antes de que sigamos con el tema. Pensemos una cosa. Perelman, que hablamos antes de él, rechaza el premio. Por ahora, un caso de uno que conocemos de haber resuelto problemas del milenio lo rechaza. Este tiene pinta de que va por el mismo camino por otros motivos; así que ojo hasta qué punto quienes parece que están detrás de esas resoluciones no lo tienen como meta y Otro detalle, no sé vosotros; yo jamás resolveré uno, pero me pongo en la situación de que me dicen: has resuelto uno de estos problemas, puedes elegir el millón de dólares, pero nadie sabe que lo has resuelto, jamás o que todo el mundo sepa, pero no recibes…
Francis Villatoro aclara aspectos relacionados con el problema de valores iniciales de las ecuaciones de Navier Stokes, señalando la irrelevancia de los contornos debido a su capacidad para generar singularidades.
Habla: Francis VillatoroPalabras #17ecuaciones navier stokes problema valores inicialescontornos irrelevantes ecuaciones navier stokessingularidades generadas por contornosfluido núcleo singular…es más famoso que cualquier otro matemático que haya ganado la Phil Medal Salmo, Salmo, Andrew Weil o alguno de esos Al final el tipo no pudo escapar de su fama, le sacan fotos todo el tiempo en el metro Se hizo un efecto Streisand, ¿no? ¿No se llamaba así? Bueno, pues adelante Francis, cuéntanos un poco. Quizás hay que aclarar un par de cositas de lo que ha dicho Gastón, que creo que son relevantes. En el problema del milenio se plantea el problema de valores iniciales de las ecuaciones de Navier Stokes. ¿Eso qué significa? Significa que no se consideran los contornos. Los contornos son irrelevantes, ¿por qué? Porque sabemos que los contornos generan singularidades. Yo puedo con un contorno generar un núcleo singular que se propaga el fluido y genera la singularidad en el fluido. Eso está demostrado hace muchísimo tiempo. Entonces, tanto con contornos como con propiedades físicas que cambian. Por ejemplo, si tengo dos fluidos, un fluido y otro fluido. Diego Córdoba, el español, durante uno de los claves en lo que vamos a hablaros después, como entre el 2000 y el año 2010, se demostró que en la interfase entre dos fluidos de densidad constante, cada uno es de densidad constante, la interfase se puede curvar…
Francis Villatoro explica que Fefferman incluyó una solución improvisada en el problema del milenio para darle una oportunidad a quienes intentaban resolverlo.
Habla: Francis VillatoroSignificado #11 · Palabras #6solución improvisada problema del mileniofefferman y ecuaciones navier stokesversiones c y d fefferman problemas…de valores iniciales en infinito, en un sistema abierto y la formulación B en un problema con condiciones de contorno periódicas que el fluido que sale por una pared reentra por la otra pared, que eso simula también condiciones iniciales pero Feferman pensaba que ese problema era tan difícil que lo mismo había que darle una pequeña vidilla a los que querían atacar el problema del milenio entonces decidió incluir algo que se sacó de la manga y que en aquel momento nadie entendió, dijo la gente, pero Feferman que hace, que hombre se está perdiendo la olla completamente de hecho a nivel de divulgación nadie mencionaba las versiones C y D del problema, parecían irrelevantes, es la idea de forzar la ecuación de Navier-Stokes, en la ecuación de Navier-Stokes tengo viscosidad constante, densidad constante, por lo tanto es un fluido incomprensible, incomprensible, perdón, incomprensible Pero puedo añadir la ecuación igual a cero, como lo ha contado Gastón; era la parte de la formulación tipo de ecuación de Newton. Las ecuaciones de Navier-Stokes básicamente son las fórmulas de Newton: f igual a masa por aceleración. La masa por aceleración…
Francis Villatoro explica la formulación estándar para resolver las ecuaciones de Navier-Stokes y cómo se esperaba que llevara al premio del milenio.
Habla: Francis VillatoroSignificado #8 · Palabras #19ecuaciones navier stokes premio milenioviscosidad presión fuerzas externasaceleración igualada a ceroformulacion estándar fefferman…La masa por aceleración es la fuerza, hay una densidad multiplicada por un operador de derivada que actúa como aceleración que actúa sobre la velocidad, sobre un pequeño volumen de fluido y eso lo igualo a las densidades de fuerza que tengo externas. Pero la formulación estándar de poner viscosidad, presión como fuerzas externas, pero no externas, incluida la interlocación y la derivada de la velocidad, es decir, la aceleración a un lado y lo igualo a cero, esa es la formulación estándar y es lo que todo el mundo pensaba que es, había que resolver para obtener el premio del milenio. Pero Feferman se le ocurrió la idea de añadir un Forzamiento, dijo, como no es verdad que nadie espera que una solución regular sin singularidades genere una singularidad, voy a proponer un caso en el que sí yo podría generar una singularidad: que es metiendo un forzamiento. Entonces yo meto un forzamiento,…
Francis Villatoro describe un método para abordar el problema del milenio relacionado con las ecuaciones de Navier-Stokes, que implica introducir un campo de velocidad arbitrario y calcular los operadores diferenciales para obtener una fuerza o 'forzamiento'. Este proceso permite generar una solución al problema C.
Habla: Francis VillatoroSignificado #10 · Palabras #2campo de fuerza en navier stokesfunción de velocidad arbitrariaecuaciones de navier stokes francis villatoroecuaciones navier stokes problema ccampo velocidad arbitrario forzamientoflujo incomprensible campo presiones univocosingularidad calculo campo fuerza…una singularidad parece una cosa muy difícil pero hay una trampa que tiene esta formulación C y D, la formulación C es en el infinito en el R3 en el espacio abierto y la D es en contención de cotoroperiódica en el troide hay una trampa y la trampa es que Yo puedo, en lugar de plantearme, generar un campo de fuerza; si yo pongo una solución, una solución cualquiera, de hecho ni siquiera tiene que ser una solución de las ecuaciones de Navier-Stokes, una función cualquiera, un campo de velocidad cualquiera, lo meto en las ecuaciones de Navier-Stokes, en el miembro derecho. Y calculo los operadores diferenciales, obtengo una fuerza, un forzamiento. El forzamiento calculado en plan tramposo, como un truco, a partir de meter el campo de velocidades; de hecho, para un flujo incomprensible el campo de velocidades termina de forma unívoca el campo de presiones, con lo que yo elijo un campo de velocidades que me genere una singularidad. Calculo automáticamente el campo de presiones y eso calcula automáticamente el campo de fuerza. Entonces, yo ya tengo una solución del problema C; ah, pero eso tiene un problema, cuando yo hago eso, cuando Yo cojo una solución en principio suave como condición inicial, que yo sé que tiene un perfil típico de lo que es un blowout, de una explosión de la solución, algo que va a generar la singularidad. Lo que ocurre es que el campo de fuerza que me resulta no es…
Francis Villatoro reflexiona sobre una solución propuesta por Fefferman al problema del milenio relacionado con las ecuaciones de Navier-Stokes, señalando que, si bien es un camino razonable para resolver el problema, no proporciona mucha información sobre la física subyacente.
Habla: Francis VillatoroSignificado #14 · Palabras #4solución feferman ecuaciones navier stokesfísica de los fluidos problema milenioformulacion c trampa feferman…y que el fluido de manera natural evolucione y genere la singularidad. Yo estoy metiendo yo la solución generando ese residuo residual de la ecuación, ese esforzamiento artificial y gracias a tener ese esforzamiento artificial yo puedo meter cualquier cosa. Puedo meter en cualquier campo de velocidad, el que yo quiera, pero entonces eso no te ayuda a entender la física de los fluidos, ¿no? Y a quién le importa; es que es la formulación C, es la trampa que nos metió Feferman, ese camino alternativo que Feferman pensaba que no se iba a cumplir porque no se podía dar por las circunstancias de la ecuación, pero creo que ahora hemos visto que es un camino razonable para resolver el problema del milenio, aunque es un camino que no nos va a aportar mucha información sobre la física del problema, aunque bueno, eso es tematizado. Francis, por supuesto te acuerdo con lo que dijiste de todo. Déjame solamente moderar una comentación; es cierto lo que decís y en ese sentido trampa te tomo la acepción también. Es una forma de hacer un problema para el que es más fácil pensar que uno podría…
Francis Villatoro recuerda lo que estaba diciendo sobre la formulación C del problema del milenio, explicando que implica introducir un campo de velocidad arbitrario en la ecuación y buscar una singularidad.
Habla: Francis VillatoroSignificado #3 · Palabras #5campo de velocidad arbitrario problema mileniosingularidad en ecuaciones navier stokesforzamiento infinitamente diferenciable problema milenio…bueno, tampoco es que, uff. Sí, sí, tampoco, para vosotros que sois gringos tenéis mucho más dinero en los proyectos de la NSF. Dice Tomás Vila que ahí en Guayú un millón de dólares lo que cuesta un café. Bueno, puede que no tanto con un café de especialidad. Plantearos: Recordemos lo que yo estaba diciendo. Fijaros, esta formulación C del problema del milenio consiste en, yo meto un campo de velocidad cualquiera, el que me dé la gana en el miembro derecho de la ecuación; tenía que estar igualado a cero, pero no está igualado a cero. Está igualado a una fuerza que yo construyo a partir de ese campo. Y ahora lo que tengo que hacer es buscar la manera de que el campo de velocidad que yo meto por un lado produzca una singularidad, porque no tiene singularidad, es regular; produzca una singularidad y, por otro lado, que el forzamiento que produzca, el residuo de aplicar la ecuación, sea infinitamente diferenciable. Esta línea de ataque es lo que comenzó a trabajar Diego Córdoba con su equipo para su segundo proyecto, para el proyecto de la Embase Grand sobre 2018. Y en ese proyecto se defiende la tesis doctoral de Luis Martínez Zoroa, que por lo que cuenta Diego es uno…
Francis Villatoro explica que la solución propuesta es puramente matemática y carece de aplicación física inmediata, aunque anticipa una búsqueda de aplicaciones prácticas en los próximos meses.
Habla: Francis VillatoroSignificado #17solución matemática problemas navier stokesaplicación física problemas navier stokesbúsqueda aplicación física mesesproblema del milenio ecuaciones diferenciales…una serie de ajustes finos; la idea es muy tonta, es un truco extremadamente trivial, es exactamente la misma idea que tenían Diego Córdoba y su equipo pero aplicada de una manera tan sutil y tan concreta que todo acaba encajando y todo acaba funcionando. Entonces, esto por supuesto es una solución de interés única y exclusivamente matemático; es decir, no tiene ningún tipo de, en principio, aplicación física, aunque probablemente haya que buscarle en los próximos meses una aplicación física. Fijaros que lo que todo el mundo pensaba, cuando todo el mundo divulgaba el problema del milenio de las cuestiones de naves y stocks, todo el mundo pensaba en la turbulencia. ¿Por qué nos interesa ese problema? Por el origen de la turbulencia. No sabemos realmente qué ocurre en la turbulencia; no sabemos realmente cómo una serie de vórtices se rompen en vórtices más pequeños y en vórtices más pequeños y en más pequeños, y cómo la…
Francis Villatoro describe una demostración 'maquinal' similar a las que él realiza al resolver problemas de fluidos tipo 'blow-up', comparándola con su experiencia en ecuaciones más sencillas.
Habla: Francis VillatoroPalabras #14problemas fluidos tipo blow-upecuaciones de una dimensiónsolución autosemejante en fluidosecuación de autosemejanza iafrancis villatoro analiza soluciones…problema. El problema es cuando ya empieza la demostración como tal, cuando empieza esa; es la discusión de cómo se ha demostrado cuáles son los puntos clave de la demostración. Después vienen las 140 páginas o 130 páginas porque la bibliografía es amplia. En esas páginas viene la demostración y claro, viene una demostración extremadamente maquinal. O sea, una demostración de máquina. Es decir, por ejemplo, yo cuando resuelvo un problema de fluidos de tipo blow-up, que yo he estudiado blow-up en varias ecuaciones, mucho más sencillas que en la Navidad de Stops, ecuaciones en una dimensión, cosas muy sencillitas. Claro, aquí uno de los puntos clave es que la solución que se obtiene es una solución autosemejante, que es la solución típica en fluidos o en física para obtener blow-up, es obtener un perfil autosemejante. La ecuación de autosemejanza de este artículo que genera la IA son dos ecuaciones diferenciales acopladas con dos parámetros, eso con absoluta seguridad tiene muchas soluciones; un matemático humano nunca continuaría la demostración sin analizar en detalle esas soluciones y sin clasificarlas, y Francis tampoco. parece muy natural porque yo me he encontrado en alguno de los problemas que yo he estudiado por ejemplo tengo una ecuación que tiene varias ramas o sea varias soluciones autosemejantes y me he encontrado que cuando se aproxima la solución al blow up va por…
Francis Villatoro explica que la solución del premio del milenio no le aporta información útil sobre el origen de la turbulencia y cómo surgen las singularidades en la evolución de un fluido.
Habla: Francis VillatoroPalabras #13ecuaciones de nobel stocks turbulenciasingularidades evolución fluidopremio del milenio turbulenciamodelos explicaciones turbulencia…de deltas de ira, una serie de puntos singulares cuando se lleve ese límite porque está todo como muy anquilosado, o sea, está como todo muy metido ahí como en calzador de tal manera que los límites ahí están muy muy poco claros entonces sobre lo que a todo. El mundo le interesa. Se origina la turbulencia con las ecuaciones de Nobel Stocks. Las ecuaciones de Nobel Stocks ¿describen la turbulencia? Este problema no me dice absolutamente nada; eso es una de las cosas que todo el mundo pensaba que la solución del premio del milenio te iba a aportar, te iba a decir, por ejemplo, mecanismos por los cuales surgen singularidades, en caso de que surgieran en la evolución de un fluido y entonces tú dirías: ah, esos mecanismos me explican ciertos modelos que se han hecho, ciertas explicaciones de la turbulencia, ciertos orígenes; me aportarían información por ahí. Lo que se ha hecho a priori, yo digo, salvo. que ese mecanismo nuevo que todavía está por ver si realmente aporta algo para la turbulencia o no, funciona. Lo mismo me tengo que desecir y el trabajo de los próximos años de varios matemáticos muestren que hay una nueva manera de originar turbulencia y que…
Gastón Giribet introduce la discusión hacia temas más mediáticos y comenta cómo la controversia ha sido clave para dar a conocer los avances en la resolución del problema del milenio.
Habla: Gastón GiribetSignificado #19polemica clasificación fefferman problema milenioavances openai problema del milenionature comprobación adicional andrew wiles…pronuncia Alpogé? Alpogé. Creo que sí, porque es de origen turco, Alpogé, con acento al final; lo estuve buscando por ahí. No sé si será correcta la información que tengo, pero por lo menos lo busqué. Sí, yo al turco no hablo, a pesar de mi cara, no tengo. Alpogé Iba a decir que si pasamos a la parte un poco... de prensa rosa. De prensa rosa, sí. Y todo el mundo ha oído hablar de esto por la polémica que ha habido; pues si no, nadie se habría enterado de nada de esto. Bueno, yo creo que hubiese sido igual en las noticias: hubiese salido que OpenAI resolvió esta versión del problema del milenio, esta versión de la clasificación de Pfefferman del problema del milenio. Igual hubiese estado en las noticias sin duda, porque ha estado en las noticias por cuestiones menos relevantes; por ejemplo, salió Nature por haber hecho una comprobación adicional de lo de Andrew Wiles, que nadie tiene duda de que hace 30 años que sabemos que está bien eso. Me parece que es muy importante, aún así un impulso adicional. Perdona, Gastón, un inciso sobre lo que se han hecho con Andrew Wiles. Con Andrew Wiles, la demostración de Andrew Wiles; no lo dispersemos más, por favor, que queda muy poquito tiempo. Formalizar…
Gastón Giribet compara la resolución de problemas matemáticos por inteligencias artificiales con resolver el problema del milenio, señalando que este último tendría mayor relevancia mediática y considera que una controversia reciente impactó en su agenda.
Habla: Gastón GiribetSignificado #5problema del milenio relevancia mediáticacontroversia reciente impacto agendainteligencias artificiales resolución problemas matemáticos…formalizar todo el área de curvas elípticas es un trabajo de millones de líneas de código en línea; es un trabajo que habían emprendido varios equipos de investigación en el mundo en los últimos años y de repente se cuela las inteligencias artificiales y te Lo resuelven de un plumazo. Sí, sí, pero matemáticamente es mucho menos relevante que resolver el problema del milenio; quiero decir, y estuvo en las noticias hubiese estado igual en las noticias, lo uso como cota inferior. Ahora es cierto que, como dice Héctor, un gran impulso para que esto estuviera en las noticias fue que la controversia que se dio alrededor hace dos días. De todo esto estamos hablando hace dos días, esto nos cambió la agenda incluso a nosotros, que pensábamos hablar de otras cosas. Hace dos días lo que pasó, o sea, la idea. Brevemente, porque están las noticias, todo el mundo la habrá sabido; la puede encontrar si quiere. Hay dos matemáticos que estaban trabajando basados en los trabajos de Córdoba y Martínez y que las reconocen fuertemente. Vamos a poner, si quieres la…