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.
…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 se refiere a la opinión de Fefferman sobre un método que implica forzar una solución suave y menciona el grupo de investigación de Diego Córdoba, quienes recibieron financiación para trabajar en el programa del milenio.
Habla: Francis VillatoroPalabras #7feferman 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ón…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…
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 VillatoroSignificado #6 · Palabras #4proyecto 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 explica que la percepción sobre una formulación específica para el Premio del Milenio cambió alrededor de 2010 dentro de la comunidad matemática que trabaja en Averstock.
Habla: Francis VillatoroPalabras #15singularidades en fluidos averstockproblema fefferman formulacion cequipo diego córdoba averstock…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 fluido suave siempre, en todo tiempo. no era correcta y que puede haber fluidos que generen singularidades y eso cambia el foco y ahora la gente ya no se concentra en el problema A, en la formulación A, sino en la formulación C y uno de ellos pues el propio equipo de Diego Córdoba, entonces ellos Atacaron básicamente con esta idea: la idea de yo inyecto una solución, meto, genero automáticamente un forzamiento, utilizo ese forzamiento para perturbar la solución que he obtenido, esa solución perturbada me vuelve a generar un nuevo forzamiento que me…
Francis Villatoro explica cómo el equipo liderado por Diego Córdoba logró atacar el problema de hipodispación en ecuaciones como la de Navier-Stokes.
Habla: Francis VillatoroPalabras #6ecuación de navier stokes y hipodispaciónequipo de córdoba y martínez zorroasingularidades en ecuación de medios porososoperador laplaciano fraccionario…esa solución perturbada me vuelve a generar un nuevo forzamiento que me vuelvo a utilizar para que perturbe y hago un proceso de bad reaction, de retrorreacción en el que voy metiendo, forzando; el forzamiento me sugiere una modificación que lo acerca a Singularidad y gracias a eso probaron la aparición de singularidades en versiones mucho más simplificadas de este problema, como la ecuación de medios porosos y en algunas variantes de la ecuación de Euler, que es sin viscosidad. E incluso en las ecuaciones de Navier-Stokes, el equipo de Córdoba y Martínez Zorroa logró atacar el problema de hipodicipación: es decir, cuando el operador laplaciano que multiplica la viscosidad en realidad es un operador fraccionario; no tienes una derivada segunda sino que tienes una derivada menor de 2, una derivada pequeña. Entonces demostraron que para valores de potencia el sustituido del 2 por un alfa, pues para alfas mucho más pequeños que 2 había aparición de singularidades por este procedimiento, que eso fue una cosa muy sorprendente y eso fue el motor de que mucha gente trabajara en los últimos 3 años en este problema, en el problema de…
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 #3solución matemática diego córdobabelleza e interés luis martínez zoroaconexión física gastón de leventécnicas diego córdoba ecuaciones navier stokestristan bookmaster openai anthropicleven alpoge anthropic ecuación euler…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 trabajando como un año y medio en usar las técnicas de Diego Córdoba para atacar estas ecuaciones: la ecuación de Euler, la ecuación de Naberstocks. Y cuando estaban ya obteniendo un resultado, de repente OPNIA y se le enciende la bombilla y decide trabajar en eso. ¿Qué es lo que han hecho? La solución es muy bonita y muy sencilla. La idea es la siguiente: imaginemos que yo tengo un vórtice, una solución de tipo vórtice. Cuando yo tengo una solución de tipo vórtice, lo que tengo es un fluido que se mueve como una espiral que se dirige como a un…
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 VillatoroSignificado #5 · Palabras #20demostració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…
Gastón Giribet comenta sobre su dificultad para entender una demostración matemática y relata haber leído tres trabajos recientes publicados por Tristan, Breakmaster y Alpogé.
Habla: Gastón GiribetSignificado #19trabajos tristan breakmaster alpogéorigen turco alpogéinvestigación tristan y colaboradores…bueno, bueno; pero esto no lo ha hecho ningún humano, lo ha hecho una máquina. Luego, la máquina es creativa, pero yo quiero ver una chispa, quiero ver algo que me deslumbre y no lo veo, no lo veo. Yo no entendí nada de los detalles de la demostración. O sea, es verdad que al principio se entiende y luego me costó mucho ni siquiera entender el lenguaje. Lo que sí leí son los tres trabajos que el 8 de septiembre, hace dos días, bueno, Tristan y su colaborador publicaron: Breakmaster y Alpogé, Alpogé y... ¿Se 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…
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 SocasSignificado #2 · Palabras #1trabajos 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,…
Héctor Socas y Gastón Giribet discuten el proceso de certificación de un resultado matemático y la redacción del artículo científico correspondiente, mencionando los trabajos previos de Córdoba, Martínez Oroa, Backmaster y Alpogé.
Habla: Héctor SocasSignificado #1 · Palabras #2medalla fields a diego córdobaproblema en el límite de euleraportación de diego córdobaresultados de cuatro problemas oilertrabajos de córdoba martínez oroapreprints certificación resultado matemáticoartículo científico backmaster alpogéuso apellido argentino córdoba…y entre los dos, siguiendo un poco esa vía de ataque que habían abierto estos matemáticos españoles, ellos habían hecho un avance. Dándoles todo el crédito al trabajo de los españoles como trabajos seminales de esta línea de investigación. Ahí no está la controversia. De hecho, Buckmaster decía que debían darle la medalla Fields a Diego Córdoba. Diego Cotoba ya tiene cincuenta y tantos, 53 o 55; igual ellos dicen, reconocen que el gran aporte es el de Diego, no hay duda de eso. Y ellos lo que hacen es un ataque al problema en el límite de Euler. Bueno, analizaron, trataron cuatro problemas, más problemas, pero tienen resultados de cuatro problemas, pero publicaron tres porque no están muy seguros de uno de ellos. Es el problema de Oiler, o sea, sin viscosidad; hay otro problema más, que es un caso particular: el de los medios porosos. Son casos como particulares. Son casos particulares; uno de los preprints es la generalización de lo de Córdoba y Martínez. Al caso de forzado suave. Por no entretenernos con la parte técnica: tres preprints y hay un cuarto en el que están trabajando para asegurarse, por un lado, para certificar el resultado y por otro lado para escribir el paper. La idea es que ellos estuvieron trabajando. Espera, espera, simplemente por poner la cronología de las cosas, habíamos puesto los trabajos de Primero de Córdoba, Martínez Oroa, luego estos trabajos de Backmaster y Alpogué. Siempre digo Martínez, perdón, porque yo como argentino uso un solo apellido, pero pobre, tiene dos apellidos. Bueno, sí, depende, cada uno, sí, yo digo que cada uno se llama como le da la gana, como él los pone con guión, pues supongo que es para que se pongan los dos. Y luego, sobre eso, es donde vendría la demostración, digamos, la parte final que ha estado contando Francis, que es la de OpenAI, hecha con esos 10.000 agentes con esos 15 millones de dólares gastados en tokens, con ese modelo súper avanzado; es donde se ha…