Búsqueda · 29 momentos en 9 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetecuaciones de navier stokesresolución problemas milleniumecuaciones navier stokes anthropictristan bookmaster departamento matemáticasmatemáticos españoles resolución problemasfísico harvard trabaja anthropicAnthropicHarvardTristan BookmasterNueva YorkCurrant InstituteFrancis VillatoroOpenAIBookmasterLevent AlpogéProblemas del MilenioCodexGastón GiribetGrigori PerelmanSan PetersburgoSputnikIgnacio CrespoInstituto Klein de MatemáticasNavier StokesFeffermanAndrew WeilPhil MedalEfecto StreisandInstituto Curran de MatemáticasUniversidad de Nueva YorkHéctor SocasProblema del milenioIsaac AsimovInteligencia ArtificialHumanidadDiego CórdobaLuis Martínez OroaTristan BuckmasterEspañaLevent AlpoguéEstados Unidos
Matemáticos españoles resolución problemas
Con
0:000:301:001:302:002:303:003:31
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.
…se le ofreció la medalla Field, porque la medalla Field te la dan, si hiciste ese resultado a menor de los 40 años, También rechazó la medalla Field y también rechazó posiciones de profesor en todo el planeta y terminó viviendo con su mamá en San Petersburgo 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…
Significado #1 · Palabras #1
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 #9problemas 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 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 de navier stokesresolución problemas milleniumecuaciones navier stokes anthropictristan bookmaster departamento matemáticasmatemáticos españoles resolución problemasfísico harvard trabaja anthropic…se le ofreció la medalla Field, porque la medalla Field te la dan, si hiciste ese resultado a menor de los 40 años, También rechazó la medalla Field y también rechazó posiciones de profesor en todo el planeta y terminó viviendo con su mamá en San Petersburgo 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 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 #4problema 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…
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 #9fama 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…
Gastón Giribet compara la resolución de problemas matemáticos por inteligencias artificiales con resolver el problema del milenio, señalando que este último tendría mayor relevancia mediática y considera que una controversia reciente impactó en su agenda.
Habla: Gastón GiribetPalabras #12problema del milenio relevancia mediáticacontroversia reciente impacto agendainteligencias artificiales resolución problemas matemáticostrabajos 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…formalizar todo el área de curvas elípticas es un trabajo de millones de líneas de código en línea; es un trabajo que habían emprendido varios equipos de investigación en el mundo en los últimos años y de repente se cuela las inteligencias artificiales y te Lo resuelven de un plumazo. Sí, sí, pero matemáticamente es mucho menos relevante que resolver el problema del milenio; quiero decir, y estuvo en las noticias hubiese estado igual en las noticias, lo uso como cota inferior. Ahora es cierto que, como dice Héctor, un gran impulso para que esto 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 GiribetPalabras #11trabajo 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 GiribetPalabras #3trabajo de alpogé en anthropicproblemas matemáticos importante bookmastermillón de dólares por problemasrumor matemáticos acercándose a casosopenai redirige esfuerzos codexcambio de atención openai 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 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 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 #15matemá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,…
Ignacio Crespo reflexiona sobre la importancia dada a la resolución de problemas matemáticos por parte de la inteligencia artificial y establece una analogía con el Sputnik, destacando su potencial uso militar implícito.
Habla: Ignacio CrespoSignificado #18 · Palabras #7inteligencia artificial desarrollo ideasimpacto inteligencia artificial conocimiento humanidadproblemas matemáticos abiertos herramientas iapotencia herramientas ia resolución problemassputnik tecnología doble usoproblema abierto matemáticas inteligencia artificialpotencial militar sputnikanalogía sputnik cabeza nuclear…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 uso civil, estamos lanzando también un mensaje militar. En el caso de algo tan neutro como puede ser la resolución de un problema abierto en matemáticas, que no parece relacionarse directamente con los problemas éticos que nos preocupan, están diciendo: soy capaz de hacer esto del mismo modo que el Sputnik era: soy capaz de ponerte una cabeza nuclear encima en cualquier momento; aunque no era una cabeza nuclear, era un satélite y eso es lo que me preocupa también, que eso es parte del contexto; no solamente a partir de ahora van a resolver los grandes problemas. intelectuales las sías que estoy de acuerdo contigo yo quiero entender no quiero ser parte de eso de hecho no investigo me dedico a divulgar porque lo que quiero es aprender de otros pero el sistema es tan complejo que no sé cómo eso va a afectar, va a hacer…