Búsqueda · 14 momentos en 3 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasalojamiento en galicia eclipse solarrefugiados eclipseros fuera de la bandaproblemas de erdush inteligencia artificialFrancis VillatoroErdushHéctor SocasBorja TosarSoriaGaliciaLaTeXInteligencias ArtificialesErdősPaul ErdősGPTTerry TaoShannon
Erdush
Con
0:000:301:001:302:002:303:003:37
Héctor Socas y Borja Tosar cierran una conversación sobre la oferta de alojamiento en Galicia para observar el eclipse solar, donde Héctor bromea con enviar a alguien si Borja no puede asistir.
…sabemos lo que va a pasar ese día, pero a priori es un sitio excelente. Ya nos dirás cuánto cobras por el alojamiento, Borja; te puedo forrar. A vosotros no os cobro nada, os pongo de comer empanada todos los días. Bueno pues sí, cuéntame, cuéntame para ir. Cuéntame para ir, ¿que si yo no voy te mando a alguien? Sí, bueno, también, pero que sea simpático como vosotros. Si no, no lo quiero. No, pero bueno. Y nada, con eso, nada. Acojo refugiados eclipseros y tal, fuera de la banda, y nada. Y me voy, que ya voy a tener que ir igual incumpliendo alguna norma de tráfico. Venga, no, no. No cumples demasiado. Llega un pelín más tarde, no pasa nada. Venga, chao, chao. Chao, chao. Venga, que vaya bien. Mejor llegar tarde. Venga, hasta luego. Chao, gracias. Un abrazo. Chao. Francis, habíamos hablado hace no mucho de la resolución por inteligencia artificial de un problema de matemáticas que creo recordar que era además uno de estos problemas de Erdush, Erdush. Y ahora está en las noticias otro hecho con el Chat GPT Pro. El problema número 1196. Sí, bueno, no, otro; estos que están aquí saliendo problemas cada semana, varios, ¿no? Pero bueno, esto es un asunto que nos comentó Isabel. Isabel nos comentó que quería…
Significado #1 · Palabras #1
Héctor Socas y Borja Tosar cierran una conversación sobre la oferta de alojamiento en Galicia para observar el eclipse solar, donde Héctor bromea con enviar a alguien si Borja no puede asistir.
Habla: Héctor SocasSignificado #1 · Palabras #1alojamiento en galicia eclipse solarrefugiados eclipseros fuera de la bandaproblemas de erdush inteligencia artificial…sabemos lo que va a pasar ese día, pero a priori es un sitio excelente. Ya nos dirás cuánto cobras por el alojamiento, Borja; te puedo forrar. A vosotros no os cobro nada, os pongo de comer empanada todos los días. Bueno pues sí, cuéntame, cuéntame para ir. Cuéntame para ir, ¿que si yo no voy te mando a alguien? Sí, bueno, también, pero que sea simpático como vosotros. Si no, no lo quiero. No, pero bueno. Y nada, con eso, nada. Acojo refugiados eclipseros y tal, fuera de la banda, y nada. Y me voy, que ya voy a tener que ir igual incumpliendo alguna norma de tráfico. Venga, no, no. No cumples demasiado. Llega un pelín más tarde, no pasa nada. Venga, chao, chao. Chao, chao. Venga, que vaya bien. Mejor llegar tarde. Venga, hasta luego. Chao, gracias. Un abrazo. Chao. Francis, habíamos hablado hace no mucho de la resolución por inteligencia artificial de un problema de matemáticas que creo recordar que era además uno de estos problemas de Erdush, Erdush. Y ahora está en las noticias otro hecho con el Chat GPT Pro. El problema número 1196. Sí, bueno, no, otro; estos que están aquí saliendo problemas cada semana, varios, ¿no? Pero bueno, esto es un asunto que nos comentó Isabel. Isabel nos comentó que quería…
Francis Villatoro explica el motivo por el cual se recopilaron los problemas de Erdős con formato LaTeX para facilitar su introducción en inteligencias artificiales.
Habla: Francis VillatoroSignificado #6problemas erdős sin contextoresultados matemáticos paul erdőspágina web problemas erdősproblemas erdős con formato latexintroducción problemas erdős en iademostraciones de problemas por ias…realmente Lisman cuando decía esta demostración merece estar en el libro, lo que decía es: bueno, la versión mía con Pau, todavía no la tenía, lo dijo antes de detenerla; es la que merece estar en el libro. Es decir, ahí hay bastante soberbia matemática. ¿Qué es lo que ha sorprendido de este resultado matemático en concreto? Pues lo que ha sorprendido, porque la mayoría de los problemas de Erdős son problemas que nadie les ha prestado atención, ¿vale? O sea, muchos de los problemas de Erdős han sido resueltos sin que el que los resolviera supiera que los estaba resolviendo es decir, tú haciendo tu trabajo matemático llegas a que te interesa tener un pequeño resultado que te va a servir como lema para tu demostración y escribes esa demostración y te importa un comino que resulte que eso es un problema de Erdős. Los problemas de ERDIS se han puesto de moda desde que hay una página web en internet que los recopila. ¿Y para qué alguien ha recopilado esos problemas de ERDIS con el enunciado escrito en látex para poderlo meter directamente en una IA? Porque esa era la intención. La intención era que esos problemas fueran metidos en inteligencias artificiales. Entonces no es sorprendente que las IAs estén dando demostraciones a muchos de esos problemas, sobre todo los problemas relativamente Fáciles. Este es un problema que Territau, después de haber hecho esa versión en una sola página del problema, ha dicho que este es un problema que a priori parecía difícil, pero que a posteriori es un problema fácil. Claro, ¿una vez que tenemos la…
Francis Villatoro explica la propuesta de Erdős y sus colaboradores en un artículo de 1968 sobre la suma de Erdős, una métrica relacionada con la información contenida en conjuntos primitivos.
Habla: Francis VillatoroSignificado #12suma de erdős en conjuntos primosconjuntos primitivos y función mínimaartículo de erdős sobre informaciónsuma de erdős y conjuntos primitivosconjetura unidad suma de erdős…primos; y propuso una idea que nos parece buena, que es introducir una especie de métrica que mide la cantidad, entre comillas, de información, información en el sentido de Shannon, que tiene ese conjunto primitivo. A esa métrica se le llama la suma de Erdős. Y esa suma de Erdős, lo que propone Erdős o proponen los tres autores de este artículo del 68 es que se maximiza con los conjuntos primos. Los conjuntos primitivos tienen un valor de esta función más pequeño que para los conjuntos primos, y entonces plantearon un comportamiento asintótico para cuando en un conjunto de números primitivos Primitivos, un conjunto primitivo, perdón, un conjunto primitivo en los que todos los números sean más grandes que una cierta X. Yo pongo 52, porque todos los números sean mayores que 52. 1200, que todos los números que tengan el conjunto sean mayores que 1200. Bien, pues resulta que hay un comportamiento asintótico cuando esa cota, esa cota inferior tiende a infinito. el comportamiento asintótico de esta suma de Erdős ellos conjetularon que era la unidad. La unidad más un término que era pequeño. Bueno, pues lo que ha demostrado GPT 5.4 es que ese término pequeño es del orden de 1 partido el logaritmo de X; y eso garantiza que se demuestra el problema 1196 de Erdős. Entonces, un conjunto primitivo puede ser, por ejemplo, los números 6, 10 y 15, porque…
