Búsqueda · 36 momentos en 24 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 milenioGastón GiribetNavier StokesProblemas del MilenioGrigori PerelmanSan PetersburgoFrancis VillatoroDiego CórdobaAnthropicOpenAIBookmasterLevent AlpogéFeffermanNYU
Problemas interesantes Gastón Giribet
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,…
Significado #1 · Palabras #7
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 #7problemas del milenio matemáticaecuación física problemas del mileniogastón giribet problemas del milenio…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 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 GiribetPalabras #15ecuaciones 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 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 #20problema 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 continúa explicando la complejidad de los problemas matemáticos relacionados con las ecuaciones de Navier-Stokes, haciendo referencia a la resolución de uno de los Problemas del Milenio.
Habla: Gastón GiribetPalabras #13ecuaciones de navier stokesresolución problemas millenium…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 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 #13problema 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 GiribetSignificado #15declaraciones 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 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 #19trabajo 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 utiliza una analogía para explicar cómo OpenAI podría haber utilizado los resultados del trabajo de Bookmaster y Levent Alpogé.
Habla: Gastón GiribetSignificado #20recursos para demostración teoremaseñor de nyu cambia bombillatruco matemático señor nyuproblema en oficina gastón giribet…en Codex y que eso haya ido directa o indirectamente a la demostración? Bueno, lo que probablemente pasó, no lo sabemos, porque acá hay, dime si direte, pero lo que probablemente pasó es que OpenAI usó en su entrenamiento los resultados de estas personas. Esto es equivalente a decir lo siguiente. Yo estoy trabajando en un problema, una demostración de un teorema de mi oficina. Pero claro, para hacer ese problema necesito recursos: necesito una lapicera, necesito un papel y necesito luz. Entonces viene el señor que cambia la luz en NYU, pone la escalera y me cambia la bombita. Mientras me cambia la bombita, mira lo que yo estoy haciendo en mi papel y después se va y resuelve el problema con un truco matemático que vio mientras cambiaba. La bombita y después me argumenta y dice: bueno, pero vos usaste mi bombita, vos necesitas luz para hacer tu teorema. Entonces, mientras vos usas mi luz, yo puedo mirar tu teorema y la verdad que se me ocurre a mí, digamos o mira tu pizarra cuando sale en…
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 #11pé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…