Búsqueda · 28 momentos en 7 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribettrabajo de alpogé en anthropicproblemas matemáticos importante bookmastermillón de dólares por problemasAnthropicOpenAIBookmasterLevent AlpogéHarvardTristan BookmasterNueva YorkCurrant InstituteFrancis VillatoroInstituto Curran de MatemáticasUniversidad de Nueva YorkGastón GiribetDiegoLuisaLevantNYUInstituto Klein de MatemáticasNavier StokesFeffermanInstituto ClayGrigori PerelmanCurant InstituteCodexHéctor SocasBuckmasterAlpoguéInteligencia ArtificialHumanidadIgnacio CrespoDiego CórdobaLeven AlpogeEulerAndrew WeilPhil MedalEfecto Streisand
Problemas Matemáticos importante Bookmaster
Con
0:000:301:001:302:002:303:003:31
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.
…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…
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 #10 · Palabras #14problemas 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 que el Instituto Klein de Matemáticas propuso una serie de problemas hace más de 25 años, algunos relacionados con la física debido a su conexión con ecuaciones físicas.
Habla: Gastón GiribetSignificado #7problemas instituto klein matemáticasecuaciones navier stokes físicaderivadas en ecuaciones físicasmotivación problemas matemática física…pedís a un estudiante, demuestre o busque un contraejemplo y la respuesta es que no hay ningún contraejemplo, es como, no sé, no sos docente Es como buscar un contraejemplo al teorema de Pitágoras, ¿no? Te puedes tirar un rato largo Inténtalo, ¿no? Inténtalo La idea es que hace más de 25 años la Klein Mathematical, ¿cómo se llama? Society Instituto Klein de Matemáticas Instituto, eso, claro, CMI El Instituto Klein de Matemáticas propuso una serie de problemas, siete si no recuerdo mal en los cuales algunos están muy relacionados con la física no porque el problema en sí sea físico, el problema es de matemática, pero bueno, de ecuaciones que tienen que ver con la física que vienen de ahí porque uno podría inventarse cualquier ecuación a hacerse estas preguntas, ¿no? Por ejemplo, podría complicar la ecuación de Unanivestock poniendo otro término más complicado con tres derivadas sería más inasequible el problema, pero también más irrelevante, porque los fluidos no tienen ese término entonces hay como una comunicación entre física y matemática aquí, pero solo en la motivación del problema El problema es un problema de matemática, es probar o buscar un contraejemplo, y es muy complicado, por ejemplo, cualquier Físico aprende en la carrera la ecuación de Navier-Stokes, o la vio alguna vez; pero agarras uno de estos papers y es imposible leerlos, o sea, incluso para mis amigos expertos en fluidos como físicos, no podrían entender estos papers. Ellos dirían 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 GiribetPalabras #7problemas 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 #2 · Palabras #2ecuaciones 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…
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 #20fama 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 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 VillatoroPalabras #18té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…
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 #3trabajo 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 #1 · Palabras #1trabajo 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 #6oferta openai a bookmaster alpoguépublicación problema del mileniocrédito primer autor problema mileniouso modelos de openaiexclusión poge como autor…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 GiribetSignificado #17 · Palabras #5entrenamiento 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…
Gastón Giribet continúa una analogía sobre cómo alguien podría aprovechar el trabajo de otro para avanzar en sus propios descubrimientos, y ahora plantea la idea de que un matemático resuelve un problema y una empresa se apropia del resultado argumentando que avanza el conocimiento.
Habla: Gastón GiribetSignificado #14matemático resuelve problema empresaavanza conocimiento humanidad empresadiscusión créditos matemático empresa…mi canal para tu podcast. Claro, exacto; entonces a alguien se le ocurre encontrar soluciones con R al cuadrado en 10 dimensiones usando como base manifold, la grasmaniana que es rich y flat y no con formally flat y le tienen la métrica ahí. Aprende OpenAI. Acá hay un, la idea es, che, loco, la idea es que un matemático humano resuelve este problema. Ahora viene una empresa y dice: acá hay un doble juego, ojo, el resultado está buenísimo, avanza el conocimiento de la humanidad y como resultado vale la pena, y listo, yo me quedo con eso. Ahora, después está la discusión de los créditos, del dinero, de la gloria, del ego, todas esas cosas que son importantes también de las acciones. Esas discusiones de: hay que repensar la autoría, hay que repensar el concepto de original, hay que repensar muchas cosas. Vamos a jugar un toy model. Supongamos que todo el conocimiento de todos los científicos del mundo, que estamos todos usando sistemas,…
Gastón Giribet critica la hipocresía en torno a la inteligencia artificial, señalando que algunos humanistas buscan limitarla porque no la necesitan. Además, aclara que los matemáticos Buckmaster y Alpogué no tenían una solución completa al problema que se discute.
Habla: Héctor SocasSignificado #8hipocresía en torno a inteligencia artificialhumanistas limitan inteligencia artificialmatemáticos buckmaster alpogué problema resuelto…compartir información, que siempre lo vemos como una cosa peyorativa, se meten en mi intimidad, nos van a controlar, todo eso es verdad, como riesgo, pero también hay un costado amable en todo eso; esto también va a llevar a cosas buenas, eso quiero decir. Si no es un problema a todo el mundo, es como muchas de las gentes de humanidades que están como diciendo: ay la inteligencia artificial, cortémosla con eso, porque hay gente que no la necesita. Hay mucha hipocresía también ahí. Hay también un tema; tampoco me gustaría que nuestros oyentes se quedaran con la impresión de que estos matemáticos, Buckmaster y Alpogué, tenían el problema resuelto y esto se lo copiaron, eso sería un plan. No estamos hablando de Eso, estamos hablando de que ellos estaban trabajando en una línea que no sabemos dónde hubiera llegado, no sabemos dónde lo hubieran explotado; o sea, realmente la contribución aquí de la IA es significativa, es importante, no es que hayan robado una idea…
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 #13 · Palabras #4demostració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…
Ignacio Crespo reflexiona sobre el impacto del uso de la inteligencia artificial en el desarrollo de nuevas ideas y cuestiona la importancia dada a demostrar su potencia resolviendo problemas matemáticos.
Habla: Ignacio CrespoPalabras #16inteligencia artificial desarrollo ideasimpacto inteligencia artificial conocimiento humanidadproblemas matemáticos abiertos herramientas iapotencia herramientas ia resolución problemas…adiós. Chao, Juan Carlos, hasta otro día. Perdona, Ignacio. No, no, no hay problema. Estoy teniendo gente taladrando aquí en la pared, así que igual eso interfiere, pero me refería a eso a mí. Lo que me preocupa es cómo afecta a corto plazo, pero no, ni Siquiera solo en la vida de esas personas o de dónde obtienen sus lentejas, sino en cómo se desarrollan las nuevas ideas; porque hay también otra cosa. Si estuviéramos asumiendo que este uso de la inteligencia artificial es efectivamente para contribuir al conocimiento de la humanidad, perfecto, y asumimos que el uso de recursos va a ir en esa línea, pero hay algo de lo que creo que nos está hablando en general, y es: ¿por qué tanta importancia en esto? ¿Por qué tanta importancia en demostrar la potencia de estas herramientas con la resolución de problemas matemáticos abiertos? Y es que son muy neutros, son moralmente muy neutros. Estaba pensando en este caso y digo: bienvenido el Sputnik, es el típico ejemplo de una tecnología de doble uso que se llama, que tiene la posibilidad de tener la vertiente militar, por supuesto, pero también una vertiente civil. Y ofreciendo ejemplos de su…