Búsqueda · 28 momentos en 6 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribethipocresía en torno a inteligencia artificialhumanistas limitan inteligencia artificialmatemáticos buckmaster alpogué problema resueltoinvestigación buckmaster y alpoguécontribución significativa de la iademostración matemática de cosas conocidasperelman y premio del milenioBuckmasterAlpoguéGastón GiribetLevent AlpogéAnthropicOpenAIInstituto Curran de MatemáticasUniversidad de Nueva YorkPerelmanFrancis VillatoroBookmasterDiego Córdobamedalla Fieldsproblema de OilerEulerMartínezTristanBreakmasterAlpogéNavier StokesLevent AlpoguéTristan BuckmasterEspañaEstados UnidosProblema del MilenioIgnacio CrespoHarvardTristan BookmasterNueva YorkCurrant InstituteNYU
Matemáticos Buckmaster alpogué problema resuelto
Con
0:000:301:001:302:002:303:003:31
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.
…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 que la pillaron en sus chats, ¿vale? No es un plagio como tal. La demostración matemática es una demostración de cosas conocidas, es usar cosas que ya se conocían, mezclarlas 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…
Significado #1 · Palabras #1
Gastón Giribet explica que el objetivo no es resolver ecuaciones de fluidos con condiciones suaves, sino demostrar algo fundamental: que la solución se comporta bien para cualquier condición inicial.
Habla: Gastón GiribetSignificado #14ecuaciones de fluidos con condiciones suavessolución se comporta bien francisproblema para matemáticos condición inicial…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 es que yo diga: ah pues sí, yo lo resolví para estas condiciones y me salió que todo iba bien, no; no tienes que Demostrar que siempre, para cualquier condición que pongas, cualquier condición inicial que pongas, aquello se va a seguir comportando bien. Claro, 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…
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 GiribetPalabras #12ecuaciones 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…
Ignacio Crespo reflexiona sobre la motivación para resolver problemas matemáticos complejos, planteando un escenario hipotético donde se le ofrece un millón de dólares a cambio de resolver uno de estos problemas.
Habla: Ignacio CrespoPalabras #10millón de dólares por problema matemáticoignacio crespo resuelve problemas matemáticospremio sin reconocimiento para ignacio crespo…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 el premio y mi vida está resuelta en el segundo de los casos, en el que no me dan el millón, pero. Todo el mundo lo sabe. Esa es la forma inteligente de decir lo que dije yo antes, que no me salía decirlo así; es exactamente lo que dice Ignacio. Yo estoy seguro que cualquier matemático, académico, porque después la lógica de las compañías la desconozco;…
Francis Villatoro explica cómo un equipo demostró la aparición de singularidades al usar una técnica específica para resolver problemas matemáticos, lo que impulsó a muchos investigadores a trabajar en el tema.
Habla: Francis VillatoroSignificado #9singularidades al usar alfatécnica para resolver problemas matemáticosinvestigación impulsada por openai…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 utilizar esta técnica, una técnica que consiste en eso: yo meto una solución y veo la respuesta, ¿vale? ¿Qué han hecho exactamente la inteligencia artificial OpenAI? Bueno, la inteligencia artificial OpenAI, estamos hablando de la última inteligencia que está en el mercado, esa que llaman Astra y una inteligencia todavía en desarrollo, una inteligencia artificial todavía en desarrollo que todavía no se ha publicado y que…
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 #20demostració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 #8trabajos 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 explica que Buckmaster sugirió otorgar la medalla Fields a Diego Córdoba, quien tiene alrededor de 53 o 55 años, y reconoce su importante contribución al problema en el límite de Euler.
Habla: Gastón GiribetSignificado #5 · Palabras #17colaboración levent alpogué investigadoresmatemáticas españolas vía ataquetrabajos seminales matemáticos españolesmedalla fields a diego córdobaproblema en el límite de euleraportación de diego córdobaresultados de cuatro problemas oiler…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 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…
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 #13 · Palabras #2trabajo de alpoge en anthropicbookmaster instituto curran matemáticasinteligencias artificiales resolución matemáticacompetencia de openai con anthropictrabajo de alpogué en anthropicinvestigación académica de alpoguécolega matemático de alpoguétrabajo de alpogé en anthropicproblemas matemáticos importante bookmastermillón de dólares por problemas…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 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…
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 #16 · Palabras #20recursos para demostración teoremaseñor de nyu cambia bombillatruco matemático señor nyuproblema en oficina gastón giribet…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 #4matemá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 #1 · Palabras #1hipocresía en torno a inteligencia artificialhumanistas limitan inteligencia artificialmatemáticos buckmaster alpogué problema resueltoinvestigación buckmaster y alpoguécontribución significativa de la iademostración matemática de cosas conocidasperelman y premio del milenio…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 que la pillaron en sus chats, ¿vale? No es un plagio como tal. La demostración matemática es una demostración de cosas conocidas, es usar cosas que ya se conocían, mezclarlas 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…