Búsqueda · 25 momentos en 8 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetpolemica clasificación fefferman problema milenioavances openai problema del milenionature comprobación adicional andrew wilesOpenAIAndrew WilesNatureProblema del MilenioGastón GiribetFeffermanAnthropicAGIFrancis VillatoroHéctor SocasBookmasterLevent AlpogéNavier StokesInstituto Curran de MatemáticasUniversidad de Nueva YorkCodexInstituto ClayGrigori PerelmanTristan BookmasterCurant InstituteIgnacio CrespoSam AltmanChatGPTDiego CórdobaPremio del MilenioProblema de CochisTristamook MasterProblemas del Milenio
Avances OpenAI Problema del milenio
Con
0:000:301:001:302:002:303:003:31
Gastón Giribet introduce la discusión hacia temas más mediáticos y comenta cómo la controversia ha sido clave para dar a conocer los avances en la resolución del problema del milenio.
…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 las noticias: hubiese salido que OpenAI resolvió esta versión del problema del milenio, esta versión de la clasificación de Pfefferman del problema del milenio. Igual hubiese estado en las noticias sin duda, porque ha estado en las noticias por cuestiones menos relevantes; por ejemplo, salió Nature por haber hecho una comprobación adicional de lo de Andrew Wiles, que nadie tiene duda de que hace 30 años que sabemos que está bien eso. Me parece que es muy importante, aún así un impulso adicional. Perdona, Gastón, un inciso sobre lo que se han hecho con Andrew Wiles. Con Andrew Wiles, la demostración de Andrew Wiles; no lo dispersemos más, por favor, que queda muy poquito tiempo. Formalizar…
Significado #1 · Palabras #2
Héctor Socas comenta sobre la posibilidad de presentar temas científicos de forma sensacionalista, mencionando ejemplos como 'una inteligencia artificial ha resuelto uno de los problemas del milenio' y 'OpenAI acusada de plagio'.
Habla: Héctor SocasSignificado #3 · Palabras #3inteligencia artificial resuelve problema milenioopenai acusada de plagioestructura conversación problemas milenioplanteamiento del problema milenioimportancia problemas del mileniointeligencia artificial resuelve problemaproblemas del milenio matemáticaecuación física problemas del mileniogastón giribet problemas del milenio…que ha generado mucha polémica, mucha controversia en redes sociales, mucho salseo, cosas aquí que no nos gustan. A nosotros estas cosas no nos van, no nos gusta meternos en situaciones, en fin, entrar ahí al lodo, pero bueno, a veces no queda más remedio. El tema ya lo habrán visto; hay diferentes titulares que se pueden, hay diferentes formas en las que se puede presentar esto de forma un poco sensacionalista, llamativa. Por ejemplo, una inteligencia artificial ha resuelto uno de los problemas del milenio. Podemos empezar por ahí; esa puede ser un titular. Otro titular puede ser OpenAI acusada de plagio; también hay quien va por ese camino. Vamos a intentar poner un poco de orden y un poco de sensatez en todo esto; vamos a empezar por el principio. De hecho, incluso hemos tenido una pequeña conversación ahora en la pausa sobre cómo íbamos a estructurar esta conversación. Algo que no solemos hacer, o sea que imagínense ustedes lo preocupados que estamos con que esto podamos contarlo de una forma medianamente racional y lógica. Pero bueno, vamos a empezar por el planteamiento del problema, el famoso problema del milenio: de qué estamos hablando, qué son los problemas 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 cómo los problemas C y D dentro de la clasificación de Fefferman buscan un contraejemplo para demostrar un 'breakdown', que ocurre cuando una solución adquiere una singularidad.
Habla: Gastón GiribetPalabras #19problemas fefferman breakdownsingularidad solución físicaecuación dinámica fluidoproblema del milenio singularidad…yo a un fluido le doy un golpe infinito no me sorprende que la velocidad del fluido al que gira infinita velocidad. La idea es con un forzado suave y condiciones iniciales suaves y no se puede dar lugar a una, a una, en realidad el problema C y el problema. D es buscar un contraejemplo: mostrar que hay un breakdown. Las versiones CID son las versiones del breakdown, que es cuando en efecto uno ve que la solución adquiere una singularidad; es un problema de cómo se comporta la física cuando comienza comportándose bien, cómo se comporta un fluido cuando comienza comportándose bien. La misma ecuación que gobierna la dinámica de un fluido puede hacer que de repente en algún tiempo finito se comporte mal: ese es el problema del milenio. En general, el problema del milenio se llamó Déjame incidir en una cosa para los oyentes, que como clarificación, no se trata de decir: voy a resolver estas ecuaciones en una determinada situación en la que le pongo un fluido en unas condiciones suaves y voy a resolverlo, no; se trata de demostrar. No…
Gastón Giribet explica la dificultad de encontrar contraejemplos para demostrar el comportamiento correcto de soluciones en problemas matemáticos, comparándolo con el problema del milenio.
Habla: Gastón GiribetSignificado #16 · Palabras #13problema del milenio como contraejemplocuatro versiones problema milenioresultados preliminares problema milenio…pero eso es un problema para matemáticos, ¿no? O sea, gente como Francis se dedica a esas cosas, que son mucho más complicadas que el problema. Resolver esas situaciones es complicado, pero siempre las estarás resolviendo en unas condiciones particulares. Pero esto es que para cualquier, que puedas demostrar que para cualquier, da igual lo que tú le pongas de entrada, se va a comportar bien o encontrar un contraejemplo Al menos encontrar un contraejemplo en el que muestres que no es así. Demostrar eso. El problema de milenio es demostrar eso. Hay cuatro versiones y hay un montón independientes y hay un montón de resultados preliminares. Se ha logrado en una dimensión más baja probar algunas cosas, mucho. Se ha probado también con condiciones de contorno que son pequeñas. Hay un montón de subresultados sobre esto. La idea, que el problema es, como dice, como enfatiza Héctor, es demostrar 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 #10problemas 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…
Ignacio Crespo reflexiona sobre la motivación detrás de la resolución de problemas matemáticos complejos, tomando como ejemplo a Grigori Perelman, quien rechazó el premio por resolver un Problema del Milenio.
Habla: Ignacio CrespoPalabras #17problema del milenio perelmanresolución problemas del milenio…idea de la relevancia que tiene el problema y contribuye a dar un empujón inicial para darle valor al premio, que también creo que es interesante. Evidentemente ahora eso ya es algo que va por libre. Y como reflexión rápida antes de que sigamos con el tema. Pensemos una cosa. Perelman, que hablamos antes de él, rechaza el premio. Por ahora, un caso de uno que conocemos de haber resuelto problemas del milenio lo rechaza. Este tiene pinta de que va por el mismo camino por otros motivos; así que ojo hasta qué punto quienes parece que están detrás de esas resoluciones no lo tienen como meta y Otro detalle, no sé vosotros; yo jamás resolveré uno, pero me pongo en la situación de que me dicen: has resuelto uno de estos problemas, puedes elegir el millón de dólares, pero nadie sabe que lo has resuelto, jamás o que todo el mundo sepa, pero no recibes…
Francis Villatoro aclara que el problema de valores iniciales, pero no las condiciones de contorno, está incluido en el premio del milenio, específicamente el problema de Cochis.
Habla: Francis VillatoroPalabras #15problema cochis premio mileniofefferman director tesis diego córdobavariedades problema fefferman…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 contorno Eso sí, pero eso son condiciones de contorno periódicas que simulan al problema de valores iniciales, ¿vale? Pero el problema de valores iniciales y condiciones de contorno no está incluido dentro del premio del milenio, solo el problema de valores iniciales, lo que sería el problema de Cochis. Es el único problema que es relevante en la formulación. Entonces, los dos problemas que ha comentado Gastón, de los cuatro problemas, de las cuatro variedades, esto es una cosa que puso Feferman; Feferman fue el director de la tesis doctoral del padre de Diego Córdoba y fue el director de la tesis doctoral de Diego Córdoba. En su momento, en el año 2000, todo el mundo pensaba, bueno, todo el mundo, gran parte, la mayoría de los expertos en la matemática de las ecuaciones de Navidad-Stokes pensaba que si yo parto de una condición inicial regular, que no tiene singularidades, el…
Gastón Giribet introduce la discusión hacia temas más mediáticos y comenta cómo la controversia ha sido clave para dar a conocer los avances en la resolución del problema del milenio.
Habla: Gastón GiribetSignificado #1 · Palabras #2polemica clasificación fefferman problema milenioavances openai problema del milenionature comprobación adicional andrew wiles…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 las noticias: hubiese salido que OpenAI resolvió esta versión del problema del milenio, esta versión de la clasificación de Pfefferman del problema del milenio. Igual hubiese estado en las noticias sin duda, porque ha estado en las noticias por cuestiones menos relevantes; por ejemplo, salió Nature por haber hecho una comprobación adicional de lo de Andrew Wiles, que nadie tiene duda de que hace 30 años que sabemos que está bien eso. Me parece que es muy importante, aún así un impulso adicional. Perdona, Gastón, un inciso sobre lo que se han hecho con Andrew Wiles. Con Andrew Wiles, la demostración de Andrew Wiles; no lo dispersemos más, por favor, que queda muy poquito tiempo. Formalizar…
Héctor Socas explica que la demostración final, realizada por OpenAI utilizando 10.000 agentes y un gasto considerable en tokens, representa el avance clave en el tema previamente discutido por Francis Villatoro.
Habla: Héctor SocasSignificado #8 · Palabras #18demostración openai con 10000 agentesgasto tokens por openaimodelo avanzado de openaitrabajo de alpoge en anthropicbookmaster instituto curran matemáticasinteligencias artificiales resolución matemáticacompetencia de openai con anthropic…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 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 explica cómo un rumor sobre el progreso de dos matemáticos en la resolución de casos específicos de un problema llevó a OpenAI a redirigir sus esfuerzos y destinar más recursos.
Habla: Gastón GiribetSignificado #9 · Palabras #11rumor matemáticos acercándose a casosopenai redirige esfuerzos codexcambio de atención openai problemas…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 particulares de este problema. Entonces eso hizo que la compañía OpenAI haga un cambio de esfuerzos, o sea, quiero decir, el rumor de que estos matemáticos estaban trabajando en eso y de esto no hay controversia, hizo que haya un cambio de atención en los problemas que OpenAI estaba tratando. Entonces, como pongamos más recursos para resolver ese problema. Me permite una pequeña aclaración, Gastón. El rumor era que Anthropic, la empresa, estaba trabajando en Nave de Stocks. No sé bien cuál fue el rumor, porque no tenemos acceso a eso. Porque Leven trabajaba para Anthropic, pero en realidad no era Anthropic.…
Gastón Giribet explica cómo un rumor sobre el trabajo de Anthropic en problemas matemáticos llevó a OpenAI a redirigir recursos y desarrollar una solución, lo que generó una disputa sobre la posible utilización de los resultados de otros investigadores.
Habla: Gastón GiribetSignificado #15anthropic y openai redirigen recursos10000 agentes trabajan en problemas matemáticosdisputa por resultados de investigadorestristamook master cuestiona a openai…que lo hizo varios comentarios en redes sociales, a muchos matemáticos, el rumor estaba ahí, ¿no? Está bien, está bien. Y ese rumor es el que le llega a OpenAI y que dice, ¿eh, que la competencia está trabajando en ese problema? Sí, sí. Me voy a poner yo a... Me quiero limitar a lo que está documentado, al menos en algún lado escrito, digamos; ¿no? Es cierto que se dice que el rumor era que Anthropic estaba trabajando esto, OpenAI cambia recursos para trabajar más en esto, pone miles de agentes, 10.000 agentes a trabajar durante 4 días en esto, 88 horas en esto, y bueno, sale el anuncio de que ellos tienen la solución al problema. Entonces aparece una especie de disputa ahí porque Tristamook Master empieza a decirle a OpenAI: Ey, ustedes estuvieron usando, porque nosotros estamos usando su AI, ¿fue entrenada con nuestros resultados? O sea, sobre todo porque había ciertos rasgos de la solución, de cosas que no se te van a ocurrir a vos si no viste mi trabajo Ese era el problema principal uno cuando trabaja se da cuenta que hay ciertos trucos que es muy poco probable que se le ocurran a…
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 SocasSignificado #5 · Palabras #5oferta 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…
Francis Villatoro explica cómo las inteligencias artificiales de OpenAI almacenaron fragmentos de conversaciones de matemáticos, lo que plantea un problema ético debido a la falta de control en el proceso de entrenamiento.
Habla: Francis VillatoroSignificado #7conversaciones de matemáticos openaientrenamiento inteligencia artificial openaiproblema ético openaiautomatización entrenamiento openai…una decisión humana de gente que se enteró por un rumor; más humano que escuchar un rumor y cambiar de dirección no hay. Eso es así, hubo ese cambio de dirección, pero lo que coinciden en OpenAI es que ellos no vieron el chat de estos matemáticos; es decir, Lo que ocurrió fue que las inteligencias artificiales que almacenan ciertos chaps y ciertos trozos de chaps, almacenaron trozos de los chaps de estos que se utilizaron en el entrenamiento de la nueva inteligencia artificial y por eso el problema ético es no trivial, porque la reacción que yo quería decir, el problema no es nada trivial porque todo está muy automatizado y no hay un control en OpenAI le. Llamaban superalignment, el superalineamiento, el tema de controlar realmente qué aprende, qué no aprende, cómo lo aprende la inteligencia artificial. Pero hoy en día, en el que son inteligencias artificiales las que deciden lo que las inteligencias…
Héctor Socas, junto con Gastón Giribet, reflexiona sobre una declaración de Sam Altman, CEO de OpenAI, quien definió el éxito de ChatGPT como una contribución al avance del conocimiento humano.
Habla: Héctor SocasPalabras #14sam altman ceo de openaichatgpt contribución conocimiento humanoempresas peleando avances científicosignacio intriga avances científicos…humano. Esa fue su respuesta. Y a mí eso siempre me llamó la atención: ¿qué ha querido decir? O sea, como que para este hombre la métrica de que esto realmente cambie el mundo sea que contribuya al conocimiento humano; eso es lo que estás pensando. Yo creo que es un vendedor de alfombras. Bueno, puede ser, pero quiero decir que es coherente. Eso suena bien para que la empresa tenga buena propaganda. No, porque podía, o sea, desde el punto de vista de marketing, puede haber dicho otras cosas. Puede haber dicho para hacer la vida mejor a la gente, para que no estemos solos, para que nuestro trabajo sea más sencillo, pero dijo contribuir al avance del conocimiento humano. Pero mira cómo será que hasta te quedó impregnado, el otro no te hubieses acordado nunca; pero es que eso me llamó la atención y es coherente con lo que hemos estado viendo, o sea, se están peleando estas empresas por demostrar que hacen avances en problemas científicos y como Ignacio a mí también me intriga eso, ¿por qué? Sí, pero fíjate que la misma semana salió dos noticias, un gran avance humano y una noticia terrible que es el otro que renunció y dice que van a destruir la humanidad y no sé qué le está hablando a dos públicos distintos, es propaganda, pero para dos…
Francis Villatoro continúa la conversación sobre el desarrollo de OpenAI y Anthropic, mencionando sus planes para salir a bolsa y promocionando sus avances como AGI.
Habla: Francis VillatoroSignificado #4 · Palabras #1agi según openai y anthropicproblema del milenio en laboratorios…curar el cáncer no es nada trivial porque requiere laboratorio. Requiere ensayos clínicos en persona, requiere una serie de cosas, pero demostrar teorías matemáticos o crear nuevas teorías físicas es, entre comillas, trivial porque solo requiere cómputo. Entonces, OpenAI y Anthropic van a salir a bolsa el año que viene; y lo que están haciendo ahora de estar vendiendo de nuevo la octava o la novena vez que lo cuentan, que esto es una AGI y que lo que están viendo en los laboratorios es algo absolutamente increíble, que fijaron las cosas que hacemos, que ahora hemos descubierto un problema del milenio, que después vamos a descubrir no sé qué, es fundamental. Realmente calentar la situación para que cuando salgan a bolsa sean empresas billonarias con B español, no con B americana. Trillonarios con T anglosajona. O sea, quieren entrar a lo grande en el mundo de una valoración realmente increíble en bolsa. La salida…
Ignacio Crespo interviene en la tertulia para señalar que la discusión sobre la ética de las acciones recientes de OpenAI es limitada, considerando la larga lista de controversias previas asociadas a OpenAI y Anthropic.
Habla: Ignacio CrespoSignificado #12ética de acciones recientes openaicontroversias previas openai anthropiclista de situaciones controvertidas openai…es un gran superordenador diseñado para responder a las preguntas últimas y tal, y después de correrla durante mucho tiempo sacaron la respuesta que era 42 o creo que era eso, ¿no? Y entonces se dieron cuenta que no sabían cuál era la pregunta. Bueno, Ignacio, tu comentario. Yo creo que hay un tema importante que estamos dándole vueltas porque fijémonos qué hemos hecho: hemos estado dedicando aquí unos cuantos minutos a hablar sobre si es ético o no es ético lo que ha hecho OpenAI sobre este caso concreto, como si fuera lo peor que ha hecho. Como si no tuviéramos ya una larguísima lista por parte de OpenAI y de Anthropic de situaciones mucho más controvertidas. Y en parte es por lo que estaba diciendo Francis, porque como todo esto viene con el envoltorio de la contribución altruista científica, llama más la atención. Olvidamos todo lo demás; olvidamos que ya había dudas importantes sobre cómo se gestionan los datos…