Búsqueda · 28 momentos en 11 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetmatemáticos sorprendidos por máquinasmetodología desde 2012 no aprovechadateorema del 65 para nueva metodologíaimpacto enorme en la matemáticaFrancis VillatoroErdősTeorema de clasificación de idealesInteligencia ArtificialWhitneyHawkingSpockGastón GiribetStar TrekErdichTimothy GowersOpenAIGPT 5.6 ProPaul Erdős
Matemáticos sorprendidos por máquinas
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20266 momentos
Con
0:000:301:001:302:002:302:57
Francis Villatoro reflexiona sobre cómo los matemáticos se han visto sorprendidos por la capacidad de las máquinas para resolver problemas, señalando que una metodología existente desde 2012 no había sido aprovechada.
…no era una enana marrón, sino que era una enana amarronada. Y ahora resulta que lo dices y de repente empiezas a decirlo y todo el mundo ve enanas amarronadas por todos lados. Y ya tenemos ahí las familias de las marrones y las amarronadas. Algo parecido. O sea, no es una cosa realmente revolucionaria que tú digas qué creatividad tiene la máquina, pero sí es una cosa que a los matemáticos les ha dicho: tontos somos, es que somos idiotas. O sea, lo teníamos delante de las narices, por lo menos desde 2012, ha estado ahí delante de las narices; usar un teorema del 65 para hacer una nueva metodología para demostrar este tipo de cosas y nadie la había aprovechado. O sea, pero bueno, ha tenido un impacto enorme. O sea, en redes, OpenAI está, que se sale, de estas de las mil millonarias, ¿no? Se estima que está por encima de los 3.000 millones de valoración y alguna gente le habla de casi 800.000 millones de valoración. OpenAI está, ¿qué se sale? O sea, OpenAI está vendiendo…
Significado #1 · Palabras #1
Francis Villatoro explica cómo la inteligencia artificial ha sorprendido a los matemáticos al abordar un problema desde una perspectiva opuesta a la utilizada por otros investigadores.
Habla: Francis VillatoroSignificado #6inteligencia artificial sorprende matemáticosgeometría combinatoria álgebra de cuerposproblema específico técnica inteligencia artificialartículos famosos publicados líneainteligencia artificial sorprende a matemáticosteoremas propiedades descomposiciones cuerposperturbación de cuerpos unidades…que tienen ahora; cuando lo saquen, no sé, lo sacarán en un mes o tres meses o cuatro meses; harán algo mejor, pero esto es lo que en el futuro será el 5.6 Pro. Lo han aplicado a este problema, pero de hecho lo han aplicado a todos los formas de disk, ¿vale? Y en este programa en concreto la inteligencia artificial ha ofrecido una solución que ha dejado alucinados a todos los matemáticos. En lugar de utilizar el camino que los pocos matemáticos que estaban trabajando con este tipo de técnica, porque recuerdo, hay que ser experto en geometría combinatoria y hay que ser experto en álgebra de cuerpos, que eso no todo el mundo lo es, pero los que han usado estas herramientas, que hay varios artículos famosos publicados en esa línea, habían atacado el problema desde el punto de vista perturbo los puntos y fijo el cuerpo y lo que se Le ocurre de manera sorprendente a la inteligencia artificial es hacer lo contrario. Hay teoremas que me hablan de las propiedades de las descomposiciones de cuerpos de forma genérica y yo puedo perturbar los cuerpos, no considerar cuerpos cuyas unidades. Yo os he contado el caso de creo que era 3, 5, 15, 21. Pues imaginar cuerpos que tienen ese elemento de base, pues Un número muy grande. Pero no solo un número muy grande, sino que esos números son muy grandes. Son números enormes. Un número primo de 200 dígitos y otro número primo de 300 dígitos. No importa porque los teoremas de la teoría de cuerpos que me permiten…
Francis Villatoro describe cómo un caso específico no había sido considerado previamente, generando sorpresa e incredulidad entre los matemáticos del área.
Habla: Francis VillatoroSignificado #5caso no considerado por matemáticosfigura de erdős deslumbrando a matemáticosmatemáticos del área sorprendidos…relativamente clásicas, y para ello todo eso se apoya en un teorema de clasificación de ideales de 1965, que es conocido por todos los expertos que han hecho esto. Todos los expertos que han combinado ambos mundos, que son poquitos, conocían ese resultado. A nadie se le ha ocurrido considerar ese caso. Eso ha llamado enormemente la atención a los matemáticos que trabajan en este área, porque de repente se les ha abierto la mente y han dicho: ¿Cómo? ¿Por qué a nosotros que somos idiotas? ¿Qué nos ha pasado? ¿Por qué la figura de Erdős nos ha deslumbrado y nos ha impedido ver lo que teníamos delante de la nariz? Es que el trabajo que ha hecho la IA, que es una demostración extremadamente corta, depende de cómo la escribas; la verdad es que la demostración que realmente ha generado esta inteligencia artificial no es la que vemos publicada en el artículo, que está…
Francis Villatoro explica cómo el resultado generado por inteligencia artificial está siendo adoptado por matemáticos y utilizado en investigaciones ajenas a la conjetura original.
Habla: Francis VillatoroSignificado #12matemáticos usan resultado inteligencia artificialconjetura distancia aplicación idea iapremios erdos impacto metálico…invitados por OpenAI a ir allí y ver la demostración y estar con los otros matemáticos, él no es un experto en este tipo de temas y lo reconoce, pero bueno, se ha quedado alucinado de que los expertos se queden alucinados, porque la gente dice, pero ¿cómo? Es que eso se puede hacer. ¿Y qué está pasando con este resultado? Pues lo maravilloso de este resultado es que ahora todos los matemáticos que trabajan en eso dicen si es que esto se nos podía haber ocurrido a nosotros, lo están empezando a usar; están empezando a aparecer artículos que no tienen nada que ver con la conjetura de la distancia que están aplicando esta misma idea y es una buena idea de la inteligencia artificial, con lo que este es el primer resultado demostrado por la inteligencia artificial que está teniendo un impacto más allá de la chorrada de ganar 300 dólares por haber demostrado, porque este es uno de los premios de los premios de Erdos que tiene premio metálico. Entonces, se ha creado ahí un gran bombo mediático. Hay que poner un poco los pies, es decir, lo que ha hecho realmente la inteligencia artificial no es tan revolucionario, no es tan creativo. Pero si es verdad, algunos lo dicen, si lo hubiera hecho un…
Francis Villatoro reflexiona sobre cómo los matemáticos se han visto sorprendidos por la capacidad de las máquinas para resolver problemas, señalando que una metodología existente desde 2012 no había sido aprovechada.
Habla: Francis VillatoroSignificado #1 · Palabras #1matemáticos sorprendidos por máquinasmetodología desde 2012 no aprovechadateorema del 65 para nueva metodologíaimpacto enorme en la matemática…no era una enana marrón, sino que era una enana amarronada. Y ahora resulta que lo dices y de repente empiezas a decirlo y todo el mundo ve enanas amarronadas por todos lados. Y ya tenemos ahí las familias de las marrones y las amarronadas. Algo parecido. O sea, no es una cosa realmente revolucionaria que tú digas qué creatividad tiene la máquina, pero sí es una cosa que a los matemáticos les ha dicho: tontos somos, es que somos idiotas. O sea, lo teníamos delante de las narices, por lo menos desde 2012, ha estado ahí delante de las narices; usar un teorema del 65 para hacer una nueva metodología para demostrar este tipo de cosas y nadie la había aprovechado. O sea, pero bueno, ha tenido un impacto enorme. O sea, en redes, OpenAI está, que se sale, de estas de las mil millonarias, ¿no? Se estima que está por encima de los 3.000 millones de valoración y alguna gente le habla de casi 800.000 millones de valoración. OpenAI está, ¿qué se sale? O sea, OpenAI está vendiendo…
Gastón Giribet reflexiona sobre cómo las máquinas, a diferencia de los humanos, pueden evitar sesgos emocionales al resolver problemas matemáticos, comparando su enfoque con el personaje Spock de Star Trek y haciendo referencia a Erdich.
Habla: Gastón GiribetSignificado #7 · Palabras #12sesgos emocionales spock star trekmáquina sin sesgos whitney hawkingerdich máquina iconoclastafalta de imaginación francis…la falta de emocionalidad ayudaba, no, era como que la emocionalidad resultaba una obstrucción a la hora de pensar racionalmente, ¿no? y el sesgo sobre un matemático famoso como Erdillo, como quien fuera, es emocional, este tipo no puede estar equivocado, ¿Por qué? Estuvo equivocado; no solamente está bien, muchas veces, si lo dice Whitney está bien, si lo dijo Hawking, ese tipo de cosas, bueno, señor Spock; en este caso esta máquina no tendría esos sesgos emocionales; yo me fijo, acá jugó un poco eso me parece; yo no estoy en los pormenores, ni siquiera soy matemático como Francis, como para dar cuenta de cuáles son los detalles, de cuánto importaba ese sesgo en la falta de imaginación para encontrar contraejemplos. Pero en este caso, claramente, la compu. Así que sé yo; aquí en Erzerdich, no me vengas con eso, humano; y tus ídolos. Es la máquina iconoclasta, más que la capaz. En ciencia, en general, la mayor parte de las revistas no publican resultados negativos. Entonces, cuando tú tratas de construir un contraejemplo y no lo logras, no lo puedes publicar. Si tú tratas de buscar un contraejemplo y lo logras, pues publicas el…
Gastón Giribet describe el peculiar estilo de vida del matemático Paul Erdős, destacando su forma de hablar inusual y sus hábitos poco convencionales.
Habla: Gastón GiribetPalabras #13paul erdős matemático café teoremaserdős hábitos poco convencionalesanfetaminas en la vida de erdősmatemático vive en casa de amigos…cuando era joven sí, pero luego no se le conoció; no tuvo domicilio permanente entonces se la pasó viviendo en casa de amigos. Voy te visito dos meses o dos semanas y hacemos matemáticas juntos; sus amigos eran todos matemáticos; su vida era la matemática y Tenía un lenguaje muy particular para hablar; él definía a los matemáticos como máquinas que transformaban café en teoremas y que vivía en la casa de sus amigos. Los visitaba un tiempo, vivía, hacía matemática, trabajaba el día y la noche; se la pasaba tomando café y anfetaminas. Lo único que hacía era un tipo muy delgado; vivió bastante, 80 y tantos años. trabajó mucho tiempo en Princeton, tuvo sus problemas también con el macartismo porque era húngaro y bueno, una vida bastante colorful, pero era un tipo muy muy particular, era un tipo extremadamente particular y tenía una lista de problemas, algunos propios…