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 GiribetPalabras #2problemas del milenio instituto clayperelman resolvió problema del mileniotristan bookmaster curant institutedepartamento matemática universidad nueva york…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…
Gastón Giribet describe cómo un físico que ahora trabaja para Anthropic y Tristan Bookmaster están trabajando en la resolución de problemas relacionados con las ecuaciones de Navier-Stokes, basándose en el trabajo de dos matemáticos españoles.
Habla: Gastón GiribetSignificado #1 · Palabras #1ecuaciones navier stokes anthropictristan bookmaster departamento matemáticasmatemáticos españoles resolución problemasfísico harvard trabaja anthropic…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 Anthropic, que trabaja con otro profesor, con Tristan Bookmaster, que es profesor acá en Nueva York, en el departamento de matemáticas, en el Currant Institute; hay otros dos que basan su trabajo y sus acercamientos a la resolución de algunos casos particulares de este problema y de este problema, al menos en la versión 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…
Francis Villatoro explica cómo Tristan Bookmaster y Leven Alpoge, trabajando independientemente para OpenAI y Anthropic, han estado aplicando las técnicas de Diego Córdoba a ecuaciones como la ecuación de Euler y Navier-Stokes durante un año y medio.
Habla: Francis VillatoroSignificado #5 · Palabras #3técnicas diego córdoba ecuaciones navier stokestristan bookmaster openai anthropicleven alpoge anthropic ecuación euler…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 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 #14demostració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ón…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…
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 GiribetPalabras #9trabajos 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…
Gastón Giribet menciona a Levent Alpogué y su colaboración con otros investigadores en una universidad específica, siguiendo la línea de investigación iniciada por matemáticos españoles.
Habla: Héctor SocasPalabras #8trabajos diego córdoba y luis martínezcontribución reconocida por investigadoresmatemáticos basados en trabajos de españatristan buckmaster australianocolaboración levent alpogué investigadoresmatemáticas españolas vía ataquetrabajos seminales matemáticos españoles…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, 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…
Gastón Giribet introduce la controversia surgida tras los avances realizados por OpenAI en la resolución del problema matemático, mencionando el trabajo de Levent Alpogé en Anthropic y el de Buckmaster en el Instituto Curran de Matemáticas.
Habla: Gastón GiribetSignificado #4 · Palabras #4trabajo de alpoge en anthropicbookmaster instituto curran matemáticasinteligencias artificiales resolución matemáticacompetencia de openai con anthropic…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 dado el paso final sobre esto. Y ahora aquí es donde viene la controversia, que no sé si alguno de ustedes quiere contarla. Claro, sí, la idea de grosso modo es esto: Alpoge trabaja para Anthropic, que es la, digamos, la competencia. La competencia, la principal competencia de OpenAI. Y Bookmaster trabaja acá en el Instituto Curran de Matemáticas, el Departamento de Física de la Universidad de Nueva York. Trabajan juntos, hacía mucho que estaban trabajando en este tema y usaron muchas inteligencias artificiales. Es importante mencionar que Alpogué, 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…
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 GiribetSignificado #2 · Palabras #6trabajo 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…
Héctor Socas resume una oferta realizada a Bookmaster y Levent Alpogé por parte de OpenAI, según consta en una nota publicada por el primero.
Habla: Héctor SocasPalabras #10bookmaster sin poder fire openaiempleado de anthropic excluido por openaibookmaster publicación trabajo euler openaiopenai ofrece publicar a bookmasterdos opciones para bookmaster euleroferta openai a bookmaster alpoguépublicación problema del mileniocrédito primer autor problema mileniouso modelos de openaiexclusión poge como autor…OpenAI estaba mirando, o al menos dice no haber estado mirando la carpeta del usuario pero sí que ha sido entrenada con lo que los usuarios estaban haciendo con los recursos de OpenAI Astral, entonces ahí aparece una controversia y la controversia empezó a Subir de tensión, pero recordemos que estamos hablando de dos académicos, porque Alpogea, aunque trabaje en Anthropic, acá era un particular, y Bookmaster, que es un profesor universitario, no tiene el poder de fuego de una empresa como OpenAI, y las comunicaciones con OpenAI empezaron a subir de tono y fueron muy agresivos; primero empezaron a negociar como que Alpogea no Podía estar en el trabajo. ¿Por qué? Porque ser empleado de Anthropic, OpenAI pedía que sacaran a uno de los autores solamente porque era empleado de Anthropic, aunque no tuviese nada que ver Anthropic con todo esto, a lo cual ellos se negaron. Por otro lado, Gastón, una puntualización, porque, claro, para explicar cómo es que OpenAI está diciendo de sacar el trabajo a otros y se supone que estaban independientes y tal, es que OpenAI le ofreció a Bookmaster decir, bueno, vale, tú has estado trabajando en esto, públicalo tú, decía OpenAI, nosotros no necesitamos el crédito, o sea, nosotros, tú lo puedes publicar, si quieres. Dices que, de hecho le ofrecieron dos, según dice Bookmaster en una nota que publicó, le ofrecieron dos opciones: una es, o bien tú publica lo que tienes sobre Euler, y luego al día siguiente nosotros publicamos la solución completa. Tenía que decir que OpenAI tenía un resultado al respecto. Esa es. La segunda opción, espera, es que le dieron dos opciones; lo tengo aquí, tengo delante la, bueno, eso es lo que dice Bookmaster en una nota que publicó él. Dice que le dieron dos opciones: una era que publicaran primero ellos, Bookmaster y Alpogué, lo que tenían, y al día siguiente OpenAI publicaba el resultado final del problema del milenio; o bien le ofrecieron decir tú te llevas el crédito como primer autor de todo esto y del problema del milenio. Tienes que decir eso que tú dices, Gastón; tienes que decir que lo hiciste utilizando modelos de OpenAI. Pero una de las opciones era excluir al Poge como autor exacto; eso es lo que estoy diciendo, pero esa opción exactamente si tú lo puedes publicar y te llevas el crédito, dices que usas un modelo de OpenAI pero excluyes al Poge de autor porque bueno claro. Pero cuando ves tal como lo expresa Bookmaster en la nota, Igual hay algo de malentendido aquí, porque lo que dice el empleado de OpenAI, el ingeniero que llevaba esto en OpenAI, que se llama Sebastián Bubeck, dice: no, no, yo no le dije eso de forma como chantaje, sino le dije que hombre, que era un fastidio, que…
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 GiribetPalabras #12entrenamiento openai bookmaster alpogecodex y herramientas de ia bookmasterresultados bookmaster levent alpogérecursos para demostración teoremaseñor de nyu cambia bombillatruco matemático señor nyuproblema en oficina gastón giribet…oye, le ofrecimos a Bookmaster que hiciera este trabajo con nosotros dejando fuera el amigo, no lo quiso hacer, pues vale, nosotros lo publicamos y ya está. Bueno, puede ser hasta, puede estar hasta dentro de lo que son sus derechos legítimos. Ahora bien, Y es donde viene la segunda parte del problema: ¿realmente ha habido algún tipo de información que se haya difundido desde ese uso de herramientas de IA que estaban usando Bookmaster y Alpoge 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…
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 VillatoroPalabras #5demostració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…