Búsqueda · 28 momentos en 7 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetdemostración matemática elegante diego luistrabajo previo levant bookmasterideas buenas combinadas diego luisDiegoLuisaLevantBookmasterDiego CórdobaLuis Martínez ZoroaGastón de LevenFrancis VillatoroLeanInstituto CleyLuis Martínez OroaTristan BuckmasterGastón GiribetEspañaOpenAIHGPTEmbase GrandInteligencia ArtificialCódigo LINMatemáticosGrigori PerelmanAndrew WeilPhil MedalEfecto Streisand
Demostración matemática elegante Diego Luis
Con
0:000:301:001:302:002:303:003:31
Francis Villatoro describe cómo se ha utilizado una demostración matemática elegante, con ideas buenas combinadas, incluyendo el trabajo previo de Diego y Luis con Levant y Bookmaster.
…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 Levant y Bookmaster. Precisamente por eso, por lo que estaba comentando Héctor, creo que hay una cosa que quiero subrayar después de haberos escuchado, haber estado hablando también con otros profesionales, y es que es muy interesante, por supuesto, si han tenido acceso o no a…
Significado #1 · Palabras #1
Gastón Giribet continúa la discusión sobre la motivación detrás de la resolución de problemas matemáticos complejos, comparando la fama obtenida por Grigori Perelman con la de otros matemáticos reconocidos.
Habla: Gastón GiribetPalabras #17fama de grigori perelmanphil medal andrew weilefecto streisand perelman…te doy el doble, pero no le digo a nadie que fuiste vos, o no te doy la plata, pero te doy el crédito de haberlo hecho, no hay duda de que ninguna de estas personas, porque son personas que se dedicaron su vida a hacer algo que no les iba a dar mucha guita. Eso es importante también Sí, sí, pero bueno, pero no hay que elegir Bueno, hay que elegir para algunas personas Perelman 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…
Francis Villatoro explica cómo Diego Córdoba, un científico español, demostró entre los años 2000 y 2010 que la interfase entre dos fluidos de densidad constante puede curvarse formando una ola que rompe.
Habla: Francis VillatoroPalabras #6interfase fluidos densidad constanteola que rompe diego córdobainvestigación diego córdoba años 2000…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 en ciertas circunstancias formando una especie como de ola que rompe y en el centro de esa ola se genera una singularidad Sí, pero déjame hacer una aclaración en mi defensa nada más, con contorno, me refiero al contorno 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…
Francis Villatoro explica cómo Diego Córdoba y su equipo abordaron un proyecto en 2018 relacionado con la Embase Grand, donde Luis Martínez Zoroa defendió su tesis doctoral.
Habla: Francis VillatoroPalabras #5proyecto embase grand diego córdobatesis doctoral luis martínez zoroahgpt openai y luis martínez…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 de los grandes genios que él ha conocido; es un chaval que bueno, tiene como 33 años o algo así. 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…
Francis Villatoro describe una solución obtenida para un problema matemático, destacando su belleza e interés, así como su conexión con la física a través de ideas de Diego Córdoba y Luis Martínez Zoroa.
Habla: Francis VillatoroPalabras #2solución matemática diego córdobabelleza e interés luis martínez zoroaconexión física gastón de leven…asunto hasta que de repente un día, y eso lo comentaremos más tarde cuando hablamos de la prensa rosa, se les enciende la bombilla y dicen: uy, este problema lo podemos resolver, lo vamos a resolver. Y ponen una enorme cantidad de cómputo para resolverlo. ¿Y cuál es la solución que han obtenido? Pues la solución que han obtenido es una solución extremadamente bonita, interesante, que se puede explicar desde el punto de vista de la física; tiene un sentido físico, que combina ideas del trabajo de Diego Córdoba y de Luis Martínez Zoroa, también del trabajo que como comentaba Gastón de Leven. Alpoge y Bookmaster, Tristan Bookmaster y Leven Alpoge que estaban trabajando con OpenAI y con Anthropic por su cuenta; Leven Alpoge es trabajador de Anthropic pero no trabajaba en la empresa Anthropic en esto, esto lo hacía en plan por su cuenta y llevan…
Francis Villatoro reflexiona sobre una demostración matemática, expresando la necesidad de que un matemático la revise y reformule para facilitar su comprensión a otros profesionales del campo.
Habla: Francis VillatoroSignificado #4 · Palabras #16demostración matemática necesita revisiónmatemático reformula demostracióncomprensión de la demostración por matemáticosreescritura para otros matemáticosfalta humanidad en demostracióndemostración matemática chirríainteligencia artificial para humanoscódigo lin validadodemostración matemática revisada por matemáticoscódigo lin necesita revisión detalladadocumento de 166 páginas con inconsistencias…en este problema, pero como eso es irrelevante para el desarrollo de la demostración, te pones en las ecuaciones del perfil y te dice, pero yo tengo un perfil. Y ya está, punto, pelota. ¿Cuál? El primero, cualquiera de ellos sirve. ¿Cualquiera de ellos sirve? Son ese tipo de cosas que cuando lo vas leyendo te van dando una sensación como me falta algo, me falta que un matemático lo dijera es decir, esta demostración matemática, la parte matemática estrictamente requiere que un matemático o un grupo de matemáticos entienda lo que ha ocurrido y lo reescriba para que otros matemáticos lo entendamos Le falta humanidad Y después hay otro punto importante: hay varios lugares en los que la demostración chirría. A mí me chirría. Yo le dije, “No, no, esto no está bien demostrado”. Aquí falla algo. Hay varios puntos en los que te quedas con la duda. Pero después dices, “Ah, pero es que este es el documento en PDF que la inteligencia artificial ha generado para los pobres humanos”, en realidad el código LIN que ha sido validado no. Debe de incluir este problema y tiene que aclararlo, ¿vale? O sea, yo no me he puesto a leer el código LIN, o sea, lo que pide esta demostración a gritos es que alguien, un grupo de matemáticos, se lea el código LIN en todo detalle y seguramente descubrirá que hay varios puntos en el documento que tenemos de 166 páginas que son mentiras porque chirrían, o sea, son cosas que tú dices, no me lo creo, no me. Lo creo. La intuición matemática, pero claro, uno siempre piensa que en el Lean tiene que estar bien. Ahí hay que mirarlo, hay que ver exactamente en esos puntos qué es lo que está pasando y ver cómo en el Lean lo resuelve, que seguramente lo resolverá. Yo no…
Francis Villatoro comenta sobre un trabajo en Lean y anticipa la necesidad de revisión por parte de múltiples grupos de matemáticos, quienes recibirán financiación para verificarlo.
Habla: Francis VillatoroPalabras #3demostración en lean por matemáticosfinanciación para revisión de demostracióntrabajo de diego córdoba…que seguramente lo resolverá. Yo no niego que la demostración sea correcta. Así que este trabajo, probablemente el Instituto Cley exige dos años de aceptación de la demostración por toda la comunidad; probablemente ahora empiecen a contar los dos años y habrá muchos grupos de matemáticos que serán financiados y algunos con mucho dinero para poder verificar esa demostración en Lean y redactar esta demostración 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…
Héctor Socas introduce la discusión sobre noticias recientes relacionadas con matemáticos trabajando en base a los trabajos de Diego Córdoba y Luis Martínez Oroa, destacando su contribución reconocida por otros investigadores.
Habla: Héctor SocasPalabras #4trabajos diego córdoba y luis martínezcontribución reconocida por investigadoresmatemáticos basados en trabajos de españatristan buckmaster australiano…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 cronología, primero los trabajos de Diego Córdoba y Luis Martínez Oroa, estos dos investigadores españoles; aquí no hay ninguna controversia, está clarísimo, ellos han marcado una línea de ataque a este problema, todo el mundo reconoce su contribución, ellos están ahí, de hecho, incluso luego los otros par de investigadores, muy importantes, Tristan Buckmaster, hemos hablado aquí; este es australiano, que creo que trabaja contigo, Gastón. En otra universidad, en otro departamento de matemáticos. Sí, contigo quiero decir en la misma universidad. Y Levent Alpogué, que es turco-estadounidense, y entre los dos, siguiendo un poco esa vía de ataque que habían abierto estos matemáticos españoles,…
Francis Villatoro describe cómo se ha utilizado una demostración matemática elegante, con ideas buenas combinadas, incluyendo el trabajo previo de Diego y Luis con Levant y Bookmaster.
Habla: Francis VillatoroSignificado #1 · Palabras #1demostración matemática elegante diego luistrabajo previo levant bookmasterideas buenas combinadas diego luis…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 Levant y Bookmaster. Precisamente por eso, por lo que estaba comentando Héctor, creo que hay una cosa que quiero subrayar después de haberos escuchado, haber estado hablando también con otros profesionales, y es que es muy interesante, por supuesto, si han tenido acceso o no a…