Búsqueda · 26 momentos en 10 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetproblemas de erdős no resueltoslistado problemas erdős inteligencia artificialresolución sistemática problemas erdősproblema distancia unitaria erdőserdős y sus 14 artículosproblema erdős pasión del autorErdősFrancis VillatoroClaudeconjetura de Erdősconjetura de RiesTimothy GowersOpenAIHéctor SocasInteligencia ArtificialPrincetonPaul ErdősGastón Giribet
Listado problemas Erdős Inteligencia Artificial
Con
0:000:301:001:302:002:302:57
Francis Villatoro describe la ventaja del listado de problemas de Erdős, destacando que numerosas personas están resolviendo sistemáticamente los problemas no resueltos.
…los apuntes de R2 y están pasando por todos sus problemas uno detrás de otro y viendo qué cosas interesantes sacan de ahí. Pero es un caso más de una inteligencia artificial ayudando a los matemáticos a resolver problemas que hasta ahora estaban abiertos. Sí, bueno, esa es la gran ventaja del listado de problemas de Erdős, que ahora mismo literalmente decenas como mínimo y probablemente haya cientos de personas están literalmente poniendo primero el primero, después el segundo, después el tercero, después el cuarto, llegan al final, son 1.300 y pico, vuelven al principio de todos los no resueltos, de todos los no resueltos todavía, están sistemáticamente dándoles vueltas una y otra vez y eso echa un tiempo y las intereses artificiales mejoran y entonces lo están haciendo con diferentes inteligencias artificiales. O sea que no hay un enorme interés, específicamente por ese tipo de problemas porque la mayoría de los problemas de Erdős son irrelevantes; pero en concreto este problema sí es un problema bastante interesante y bastante atacado. Este es el problema de la distancia unitaria: es un problema que propuso Erdős en 1946, Erdős tenía 33 años, y es un problema que ha generado bastante eco porque Erdős ha recurrido a él muchas veces y lo cita en unos 14 artículos; y aunque como la mitad están específicamente dedicados a cuestiones relativas a este problema, los otros son artículos de revisión en el que menciona el problema como uno de los que más le apasionaba. Erdi llegó a valorar en dinero poner un premio para quien resolviera el problema de 300 euros, que más tarde subió a 500 para quien lo refutara o lo resolviera. El problema de la distancia unitaria es básicamente el problema de: si tú tienes un conjunto de…
Significado #1 · Palabras #1
Francis Villatoro describe la ventaja del listado de problemas de Erdős, destacando que numerosas personas están resolviendo sistemáticamente los problemas no resueltos.
Habla: Francis VillatoroSignificado #1 · Palabras #1problemas de erdős no resueltoslistado problemas erdős inteligencia artificialresolución sistemática problemas erdősproblema distancia unitaria erdőserdős y sus 14 artículosproblema erdős pasión del autor…los apuntes de R2 y están pasando por todos sus problemas uno detrás de otro y viendo qué cosas interesantes sacan de ahí. Pero es un caso más de una inteligencia artificial ayudando a los matemáticos a resolver problemas que hasta ahora estaban abiertos. Sí, bueno, esa es la gran ventaja del listado de problemas de Erdős, que ahora mismo literalmente decenas como mínimo y probablemente haya cientos de personas están literalmente poniendo primero el primero, después el segundo, después el tercero, después el cuarto, llegan al final, son 1.300 y pico, vuelven al principio de todos los no resueltos, de todos los no resueltos todavía, están sistemáticamente dándoles vueltas una y otra vez y eso echa un tiempo y las intereses artificiales mejoran y entonces lo están haciendo con diferentes inteligencias artificiales. O sea que no hay un enorme interés, específicamente por ese tipo de problemas porque la mayoría de los problemas de Erdős son irrelevantes; pero en concreto este problema sí es un problema bastante interesante y bastante atacado. Este es el problema de la distancia unitaria: es un problema que propuso Erdős en 1946, Erdős tenía 33 años, y es un problema que ha generado bastante eco porque Erdős ha recurrido a él muchas veces y lo cita en unos 14 artículos; y aunque como la mitad están específicamente dedicados a cuestiones relativas a este problema, los otros son artículos de revisión en el que menciona el problema como uno de los que más le apasionaba. Erdi llegó a valorar en dinero poner un premio para quien resolviera el problema de 300 euros, que más tarde subió a 500 para quien lo refutara o lo resolviera. El problema de la distancia unitaria es básicamente el problema de: si tú tienes un conjunto de…
Francis Villatoro explica cómo la inteligencia artificial ha abordado un problema relacionado con la perturbación de puntos y la fijación de cuerpos matemáticos.
Habla: Francis VillatoroSignificado #16inteligencia artificial cuerpos matemáticosperturbación de puntos y fijación cuerpoataque a la demostración resultado ia…distancias unitarias, rozo modo, esa es la explicación. Bueno, pues la mayor parte de los ataques en esa línea eran ataques de tipo: cojo el ejemplo de Ries, que al que hoy en día tendríamos que llamarle contraejemplo, pero que siempre aparece como ejemplo. Modifico, perturbo los puntos y fijo, pero fijo el cuerpo. Yo fijo un único cuerpo y perturbo los puntos. Y ese ataque no permitía demostrar el resultado. ¿Qué ha hecho la inteligencia artificial? Yo me escucho con eco, pero no sé si son tus altavoces, Héctor, o por qué me escucho con eco. Sí, escucho un poquito de eco yo también. pero bueno, espero que no moleste después en el podcast. ¿Qué ha hecho la inteligencia artificial? La inteligencia artificial que ha hecho esto es una inteligencia artificial generalista, interna de OpenAI; es decir, literalmente lo que será el GPT 5.6. Ahora mismo está el 5.5, lo que será el 5.6 Pro, no lo han dicho oficialmente, pero porque está en…
Francis Villatoro explica cómo la inteligencia artificial ha descubierto un contraejemplo formal a la conjetura de Erdős y refuta la conjetura de Ries.
Habla: Francis VillatoroSignificado #19 · Palabras #9cuerpos adecuados números primos erdősconstante problema erdős barrera platónúmero de lados unidad grafosinteligencia artificial exponente n1 epsilonconjetura de erdos inteligencia artificialcontraejemplo formal conjetura de riesteorema clasificación ideales expertos…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 calcular la dimensión, el número, la cardinalidad de estos ideales, no les preocupa qué tamaño tengan los primos. Pero a la hora de calcular el numerito resulta que usando cuerpos adecuados de enorme contenido, contenidos son números primos enormes o coprimos enormes, se logra rebajar la constante del problema de Erdős, pero aparece un plató, aparece una barrera. El valor del exponente del número de lados unidad que hay en estos grafos con un número virtualmente infinito de puntos resulta ser n1 más un épsilon muy pequeño. Entonces eso es lo que descubre la inteligencia artificial. Descubre que no es verdad la conjetura de Ries. Descubre un contraejemplo formal. Aquí es una demostración de existencia. Lo que demuestra la inteligencia artificial es que existe al menos un contraejemplo de la conjetura de Erdős. Si tú utilizas un cuerpo con elementos suficientemente grandes y que tenga unas propiedades 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…
Francis Villatoro explica cómo una inteligencia artificial llamada Claude mejoró una cota previamente establecida por otro matemático, superando incluso las expectativas de Erdős.
Habla: Francis VillatoroPalabras #4inteligencia artificial claude mejora cotacota matemática superando expectativas erdősopinión de erdős sesgó rama matemáticaproblema fundacional condicionado generaciones matemáticos…la cifra, pero algo así como 10 a la menos 38, es 1 más 10 a la menos 38 el mínimo, claro, esa constante obviamente es chapucera, uno de los matemáticos que han ido a OpenAI ha publicado unas horas después del anuncio oficial una cota de 1.014, ¿vale? Y esa cota se le ha dado a Claude, a otra inteligencia artificial y la ha mejorado, le ha puesto en 1.030 y no sé qué. Y ahora se está trabajando en subirla a 1.0. O sea, que es una cota claramente bien definida, que no es lo que tenía en mente Erdős. O sea, la opinión de Erdős ha sesgado toda una rama de la matemática en la que este problema se consideraba fundacional e importante y que todo el mundo lo atacaba ha condicionado dos generaciones de matemáticos hacia no ver por dónde había que atacar el problema, ¿no? Entonces, claro, esto ha llamado muchísimo la atención, ha habido gente que ha dicho si esto lo hubiera hecho un Humano, gente de tipo Medalla Fields Gowers, por ejemplo, Gowers no es un experto en esta línea; Gowers de este tipo de temas no sabe nada, pero bueno, es uno de los coautores del artículo de OpenAI, porque uno de los invitados por OpenAI a ir allí y ver la…
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 VillatoroPalabras #11matemá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…
Gastón Giribet continúa describiendo la vida del matemático Paul Erdős, mencionando su paso por Princeton y los problemas que enfrentó debido a sus orígenes húngaros durante el macartismo.
Habla: Gastón GiribetPalabras #19erdős problemas macartismo húngaropaul erdős lista problemas dólareserdős sin trabajo permanente matemática…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 y otros ajenos, que tenían que ser resueltos. y les ponía un precio en dólares y lo pagaba de su bolsillo porque nunca tuvo un trabajo permanente, nunca tuvo una posición permanente, pero era famoso en el mundo de la matemática. Cuando digo que viajaba de lugar en lugar era invitado incluso por instituciones y se quedaban en institutos de estudios avanzados, en lugares muy importantes. Pero el tipo tenía una serie de problemas que iban desde 4.000 dólares hasta 10 dólares, depende de…