Búsqueda · 25 momentos en 13 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetproblemas 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 solucionesGastón GiribetNavier StokesInstituto ClayGrigori PerelmanTristan BookmasterCurant InstituteUniversidad de Nueva YorkHéctor SocasProblema del milenioIsaac AsimovOpenAIAndrew WilesNatureFeffermanProblemas del MilenioSan PetersburgoMedalla FieldsPremio NobelFrancis VillatoroAnthropicBookmasterLevent AlpogéDiego Córdoba
Gastón Giribet Problemas del Milenio
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.
…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…
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 #1problemas 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 soluciones…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…
Gastón Giribet explica un problema específico dentro de la clasificación de Fefferman, denominado 'problema A'. Este problema se centra en determinar si ciertas condiciones iniciales bien definidas en una simulación de fluidos llevan a la divergencia del campo de velocidades o la energía.
Habla: Gastón GiribetPalabras #19problema a de feffermanecuaciones navier stokes divergenciacondiciones iniciales simulación fluidosexistencia de soluciones problema a…se formuló de diferentes maneras; es el problema original pero después hay una clasificación de problemas similares, no equivalentes, pero similares en cuanto a dificultad y relevancia física que son la clasificación de Fefferman que dio diferentes problemas. Un problema era este: el problema original que se llama el problema A de Fefferman, que es si dadas ciertas condiciones bien comportadas para el campo de fluidos al comienzo, la misma evolución de Navier Stokes te va a llevar a que diverja el campo de velocidades o la energía. En realidad, la pregunta es acerca de la existencia de soluciones. Después hay otra versión, que es la versión B, pero está relacionada con eso, porque uno es, si estoy en el triespacio y el otro es, si estoy en el tritoro, que es un espacio con condiciones de contorno periódicas en las tres dimensiones espaciales, lo que un…
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 #6 · Palabras #4problemas 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 #2 · Palabras #2problema 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 el Instituto Clay incluyó un problema complejo en una serie de desafíos conocidos como 'Problemas del Milenio', destacando que solo uno ha sido resuelto hasta la fecha.
Habla: Gastón GiribetSignificado #5 · Palabras #3problemas 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 reflexiona sobre la motivación de los científicos para resolver problemas complejos como los Problemas del Milenio, argumentando que el prestigio y reconocimiento superan con creces la recompensa económica.
Habla: Gastón GiribetSignificado #8 · Palabras #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…
Gastón Giribet confirma la validez del planteamiento anterior y lo describe como una forma de formular un problema que facilita la búsqueda de posibles contraejemplos.
Habla: Gastón GiribetSignificado #10problema con posibles contraejemplosplanteamiento de gastón giribetacepción de trampa según francis villatoro…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 tener un contraejemplo. Ahora igual sería sorprendente el punto de vista físico si fuese así, si ese contraejemplo existiese, porque no es trivial. Pensar que si yo empiezo con un fluido bien comportado y 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…
Tras una discusión sobre una demostración matemática generada con Lean, Gastón Giribet interviene para aclarar que las declaraciones anteriores fueron hechas de forma retórica por Francis Villatoro.
Habla: Gastón GiribetPalabras #20declaraciones retóricas de francis villatoroproblema a según gastón giribetmentes matemáticas de punta…y cuando la veamos bonita será mucho más sencilla y mucho más natural, pero aún así la idea es extremadamente idiota, con perdón, o sea, es una cosa, no quiero insultar el trabajo de Diego Córdoba, pero es una cosa que tú dices, ¿y esto qué me aporta? ¿Qué me aporta sobre el problema A? Son matemáticos de punta, por supuesto. Lo decimos en el sentido retórico. ¿Qué me aporta el problema A? Gracias por aclararlo, Gastón, que luego los mensajes me llegan a mí. No, claro, claro, o sea, lo decimos en un sentido retórico, va, yo no dije nada, lo dijo Francis en un sentido retórico, por supuesto. Son dos mentes. Es una idea como muy extraña, en. El sentido de que no es lo que a uno le gustaría, pues no te aporta nada. No te aporta nada para el problema A, o sea, dada una solución inicial regular de las ocasiones de nave y estoques, ¿con el tiempo aparecerán singularidades o se mantendrá siempre como…
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 #4 · Palabras #5polemica 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 #3 · Palabras #8problema 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…
Gastón Giribet aclara que el trabajo realizado por Levent Alpogé en la resolución de problemas matemáticos no está directamente vinculado a su empleo en Anthropic.
Habla: Gastón GiribetPalabras #18trabajo de alpogé en anthropicproblemas matemáticos importante bookmastermillón de dólares por problemas…aunque trabaja en Anthropic, pero esto que está haciendo aquí es como que no tiene nada que ver con su trabajo académico, que no es institucional, no tiene que ver con Anthropic. Él trabaja en Anthropic, pero trabaja con su colega matemático también en este. Problema. Pero está bien la aclaración: no es Anthropic contra OpenAI, es un trabajador que trabaja casualmente en Anthropic a pesar de que hace esto en su tiempo libre, digamos, en su tiempo libre y resuelve problemas matemáticos importantes que le dan un millón de dólares a la gente y trabaja con Bookmaster, que es un reconocido experto en estos. Temas: La cuestión es que, bueno, estaban trabajando en esto; usaron muchas inteligencias artificiales, en particular usaron Codex, entonces ese es el problema porque hubo un rumor en OpenAI de que estos dos matemáticos se estaban acercando a resolver casos…
Gastón Giribet interrumpe la conversación para expresar su opinión sobre una perspectiva nostálgica y critica la preocupación por la pérdida de empleo debido a la inteligencia artificial.
Habla: Gastón GiribetSignificado #13pérdida de empleo inteligencia artificialpreocupación burguesa gastón giribetfalta de trabajo cruenta…café. Lo lindo es saber cómo funciona el mundo, y si viene me lo dice una máquina, no como caja negra, sino que me dice, y lo puedo entender; me da igual, a mí mejor, mi trabajo se dedica a decirme las leyes del universo, y listo, yo estoy feliz, ese no es. El momento que, lo que, a mí me parece un poco burguesa Gastón, perdona; porque hay otra gente que va a sufrir la falta de trabajo, de otra manera, mucho más cruenta. Esos son los que están jodidos, no los físicos, que vamos a tener que cambiar de nuestra forma de trabajar. Pero una, solo para que quede claro, estoy. De acuerdo, pero creo que es el mismo problema al que nos enfrentamos cuando hablamos de la inteligencia artificial: no viene necesariamente a quitarnos el trabajo, sino que puede ayudar a liberarnos de determinadas rutinas que son un absoluto engorro. Y…