Búsqueda · 18 momentos en 6 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetecuaciones navier stokes premio milenioviscosidad presión fuerzas externasaceleración igualada a ceroformulacion estándar feffermanFrancis VillatoroFeffermanNavier StokesPremio del MilenioDiego CórdobaProblema de CochisProblemas del MilenioTurbulenciaGrigori PerelmanMedalla FieldsSan PetersburgoInstituto Clayproblema CPerelmanBuckmasterAlpoguéGastón GiribetMadridPorscheHéctor SocasPrograma del MilenioPremio NobelOpenAIAndrew WilesNatureProblema del MilenioTristan BookmasterCurant InstituteUniversidad de Nueva YorkComisión EuropeaERC (European Research Council)Comunidad EuropeaEstados Unidos
Premio del Milenio
Con
0:000:301:001:302:002:303:003:31
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.
…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,…
Significado #4 · 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 #9 · Palabras #10inteligencia artificial resuelve problema milenioopenai acusada de plagioestructura 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 milenio…que ha generado mucha polémica, mucha controversia en redes sociales, mucho salseo, cosas aquí que no nos gustan. A nosotros estas cosas no nos van, no nos gusta meternos en situaciones, en fin, entrar ahí al lodo, pero bueno, a veces no queda más remedio. El tema ya lo habrán visto; hay diferentes titulares que se pueden, hay diferentes formas en las que se puede presentar esto de forma 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,…
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 GiribetPalabras #20problemas 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 GiribetPalabras #13problema 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 #6 · Palabras #8problemas 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 resuelto…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.…
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 GiribetPalabras #11ecuaciones navier stokes problemafrancis villatoro y ecuacionesproblema del milenio millón dólaresevolución temporal fluido divergenciaprestigio supera millón dólaresrelevancia capital simbólico académicoproblemas del milenio prestigiopremio nobel prestigio dotación económica…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 estos es mucho más grande e importante para cualquier académico que este millón de dólares, sin duda. Pero quiero decir que no es cualquier cosa que alguien ha puesto en una pizarra, no; que es una cosa, es como decir, el premio Nobel tiene un prestigio y tal, pero tiene una dotación económica importante también, o sea; van un poco relacionadas las dos cosas, o sea, no es la motivación por la cual uno trabaja en estas cosas. Pero da una 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…
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 #5 · Palabras #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 que el problema de valores iniciales, pero no las condiciones de contorno, está incluido en el premio del milenio, específicamente el problema de Cochis.
Habla: Francis VillatoroSignificado #3 · Palabras #3problema cochis premio mileniofefferman director tesis diego córdobavariedades problema fefferman…en el sentido amplio, por ejemplo, no es lo mismo en R3 que en T3, es decir, no es lo mismo pensar en R3 como en un toro y eso también es contorno Eso sí, pero eso son condiciones de contorno periódicas que simulan al problema de valores iniciales, ¿vale? Pero el problema de valores iniciales y condiciones de contorno no está incluido dentro del premio del milenio, solo el problema de valores iniciales, lo que sería el problema de Cochis. Es el único problema que es relevante en la formulación. Entonces, los dos problemas que ha comentado Gastón, de los cuatro problemas, de las cuatro variedades, esto es una cosa que puso Feferman; Feferman fue el director de la tesis doctoral del padre de Diego Córdoba y fue el director de la tesis doctoral de Diego Córdoba. En su momento, en el año 2000, todo el mundo pensaba, bueno, todo el mundo, gran parte, la mayoría de los expertos en la matemática de las ecuaciones de Navidad-Stokes pensaba que si yo parto de una condición inicial regular, que no tiene singularidades, el…
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 #4 · Palabras #1ecuaciones 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,…
Héctor Socas aclara la naturaleza de los fondos recibidos por investigadores como Diego Córdoba dentro del programa del milenio, diferenciando entre financiación para proyectos y premios individuales.
Habla: Héctor SocasSignificado #10 · Palabras #9feferman y solución suavegrupo diego córdoba programa mileniofinanciación programa del mileniofinanciación de diego córdoba programa mileniostarting grant comunidad europea investigador joveninvestigador senior recibe 1800000 eurosdiego córdoba busca millón para investigaciónproyectos de investigación diego córdobagrupo de investigación proyecto mileniopremios individuales financiaciónbeca erc comisión europeasello de autoridad ercequipo de investigación erc…que en sí, lo perturbo de una manera suave, suave, muy, muy, muy suave, de repente el fluido se va a comportar de manera loca a tiempo finito. No deja de ser relevante el punto de vista físico; si se quiere sorprendente el punto de vista físico, el problema. Sí, sí, claro, eso es lo que pensaba Feferman: que esto era un camino que tenía esa trampa de que era muy difícil que alguien lograra conseguir que ese esforzamiento fuera suave. Lo que pasó con el grupo de investigación de Diego Córdoba, el grupo de investigación de Diego Córdoba recibió 3 millones de dólares para trabajar en el programa del milenio, ¿vale? O sea, La Comunidad Europea le dio 1.200.000 como starting grant, como investigador joven, y le dio 1.800.000 euros como investigador senior ¿eh? Quiero deciros, y Diego estaba trabajando para conseguir el millón ¿para qué? estaba trabajando y le dieron ya 3 millones ¿vale? O sea, para que contextualicemos que muchas veces el problema del millón no es lo que motoriza la investigación. Bueno, espera, déjame aclarar una cosa, el RC es un proyecto de investigación, quiero decir, no te dan 3 millones para ti para que te compre un Porsche y un ático en Madrid, o sea, te dan un dinero para crear un grupo de investigación, o sea, no es dinero para ti, digamos, lo que analiza tu instituto en desarrollar un proyecto, para ir a congresos, no te lo puedes gastar en lo que tú quieras, ¿no? el premio en cambio es un dinero para ti, toma, De repente tienes un millón de euros en la cuenta del banco para disfrutar la vida. Quiero decir que no son comparables las dos cosas, siendo como es la ERC una beca muy prestigiosa y una especie de respaldo, de sello de autoridad que te pone la Comisión Europea a decir: “estoy usted haciendo un trabajo espectacular, tenga usted este dinero para montar su equipo de investigación”. Y recordemos una cosa muy importante: un matemático que trabaja con lápiz y papel, ¿vale? O sea, que no estamos hablando de un equipo experimental que tiene que montar un laboratorio, solo tiene que contratar gente, viajar a congresos y gastarse el dinero en…
Francis Villatoro continúa explicando cómo Diego Córdoba abordó su tesis doctoral, mencionando al director de la misma, Fefferman, y el año en que leyó la tesis (1998). Se contextualiza este trabajo dentro del proceso para proponer una solución al Premio del Milenio en 2000.
Habla: Francis VillatoroSignificado #2 · Palabras #2tesis doctoral de diego córdobafefferman director de tesispremio del milenio 2000formulación para el premio del milenio…Perdona, dice que OpenAI tiene a HGPT y que él tiene a Luis. Exactamente. Esa broma, o sea que debe ser Luis un genio. Debe ser un maquinaje. Entonces, en su tesis doctoral ya desarrolló este tipo de técnicas, este camino, este camino que ya os digo, camino. De Cesserman, que le dirigió la tesis a Diego, o sea que la tesis la leyó en 1998, y estamos hablando de que esto lo propuso en el año 2000 para el Premio del Milenio, cuando lo invitaron a hacer la formulación. Este camino no había sido muy explorado; mucha gente había pensado que era un camino tramposo y que tenía más espinas de lo que parecía, pero alrededor del año 2010 fue cambiando la comunidad de matemáticos que trabajan en Averstock, que es un poco la sensación, y mucha gente empezó a pensar que realmente la idea original de que condición inicial suave conduce a…
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 VillatoroSignificado #1 · Palabras #4ecuaciones de nobel stocks turbulenciasingularidades evolución fluidopremio del milenio turbulenciamodelos explicaciones turbulenciaturbulencia mecanismo nuevotrabajo matemáticos turbulenciapremio del milenio villatoromal gusto problema millenium…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 en ese sentido sí tiene impacto sobre la turbulencia. pero a priori la solución es una solución completamente para obtener el premio del milenio y punto pelota. Resolver el problema C y no hacer nada más. Entonces es una cosa que te deja un poco de mal gusto, de regusto malo. Pero aún así, ya os digo, el artículo se lee, no es difícil de entender. Las ideas, la primera explicación de las ideas de lo que se hace en la demostración es prácticamente lo mismo que aparece después formalizado. Todo es extremadamente sencillo, la verdad; no hay ningún tipo de idea feliz que tú digas. Hay una creatividad, no hay creatividad; no es una solución creativa, bueno, bueno; pero esto no lo ha hecho ningún humano, lo ha hecho una máquina. Luego, la máquina…
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 GiribetPalabras #15polemica 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…
Francis Villatoro aclara que los matemáticos Buckmaster y Alpogué estaban trabajando en una línea de investigación cuyo resultado final es desconocido, y que la contribución de la IA fue significativa, no un simple plagio.
Habla: Francis VillatoroSignificado #12 · Palabras #7investigación buckmaster y alpoguécontribución significativa de la iademostración matemática de cosas conocidasperelman y premio del milenio…hipocresía también ahí. Hay también un tema; tampoco me gustaría que nuestros oyentes se quedaran con la impresión de que estos matemáticos, Buckmaster y Alpogué, tenían el problema resuelto y esto se lo copiaron, eso sería un plan. No estamos hablando de Eso, estamos hablando de que ellos estaban trabajando en una línea que no sabemos dónde hubiera llegado, no sabemos dónde lo hubieran explotado; o sea, realmente la contribución aquí de la IA es significativa, es importante, no es que hayan robado una idea que la pillaron en sus chats, ¿vale? No es un plagio como tal. La demostración matemática es una demostración de cosas conocidas, es usar cosas que ya se conocían, mezclarlas y obtener un resultado nuevo. No es una demostración de cómo lo hubiera hecho un humano, lo que todo el mundo esperaba que un premio del milenio requiera, lo que requirió de Perelman, que es generar toda una matemática nueva para resolver el problema. Pero se ha usado de una manera muy elegante y la verdad en algunos momentos la demostración es muy bonita; tiene ideas muy buenas, pero se han combinado ciertas cosas y una de las cosas que se ha combinado es la idea de Diego y Luis, que estaban utilizando…