Búsqueda · 23 momentos en 7 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetpaul erdos problema 728matemático paul erdos diéresisproblema 728 inteligencia artificialproblema matemático erdőssolución problema 728demostración matemática soluciónpaper archive héctor socasPaul ErdősMITGPTAristótelesFrancis VillatoroLeanNat ZosanathanChatGPT 5.2 ProArchiveResolución del programa 728Héctor SocasThomas BloomChatGPTErdisk ProblemProblema 333Acta PolónicaPoincaréHilbertDER2DERDISproblema número 347DanielChatGPT ProGeminiCloudDIS
Problema 728 resuelto con ChatGPT
Con
0:000:301:001:302:002:303:003:15
Héctor Socas introduce un tema relacionado con la ayuda que proporciona la inteligencia artificial, mencionando al matemático Paul Erdős y el problema 728.
…temas si les parece y nada. Lo siguiente, hemos cambiado un poco el orden que teníamos previsto; si hay mecenas que tengan el acceso al documento habrán visto que hemos cambiado un poquito el orden de cosas. Vamos a ir, Francis, con el tema de esta ayuda. que nos da la inteligencia artificial, ¿no? Porque a lo mejor usted, querida oyente, querido oyente, puede pensar que tiene un problema, a lo mejor, pero aquí hay un señor que se llama Erdos, que vamos a hablar del problema 728, o sea que hay gente que tiene muchos problemas, Paul Erdos, creo que se pronunciaría como Erdos, ¿no? Erdős, porque tiene una... Esa diéresis. La diéresis, pero es con tildes agudas, dos tildes agudas seguidas, no dos puntitos. No es con puntitos, sino... La acentuación del húngaro, es curioso cómo se escribe y cómo se pronuncia, cambia, sí. Entonces la pronunciación es más o menos Erdős. Bueno, pues la pronunciación del apellido debe ser a lo mejor el problema 5, pero el problema 728 es matemático y más o menos se conoce la solución; pero una cosa es saberla y otra cosa es poder demostrar que la conocemos. Bueno, Francis nos va a contar ahora todo sobre este tema y a ver si me entero de algo, porque yo estuve intentando leer el paper este que nos compartiste del archive y te tengo que confesar que no entiendo nada. Así que a ver si nos pones en contexto. Sí, bueno, básicamente recordar muy brevemente la figura de Paul Erdős. Paul Erdős es el gran matemático productor de artículos del siglo XX y probablemente el segundo después de Euler. Leonhard Euler publicó, claro, en aquella época los artículos se…
Significado #1 · Palabras #2
Héctor Socas introduce un tema relacionado con la ayuda que proporciona la inteligencia artificial, mencionando al matemático Paul Erdős y el problema 728.
Habla: Héctor SocasSignificado #1 · Palabras #2paul erdos problema 728matemático paul erdos diéresisproblema 728 inteligencia artificialproblema matemático erdőssolución problema 728demostración matemática soluciónpaper archive héctor socas…temas si les parece y nada. Lo siguiente, hemos cambiado un poco el orden que teníamos previsto; si hay mecenas que tengan el acceso al documento habrán visto que hemos cambiado un poquito el orden de cosas. Vamos a ir, Francis, con el tema de esta ayuda. que nos da la inteligencia artificial, ¿no? Porque a lo mejor usted, querida oyente, querido oyente, puede pensar que tiene un problema, a lo mejor, pero aquí hay un señor que se llama Erdos, que vamos a hablar del problema 728, o sea que hay gente que tiene muchos problemas, Paul Erdos, creo que se pronunciaría como Erdos, ¿no? Erdős, porque tiene una... Esa diéresis. La diéresis, pero es con tildes agudas, dos tildes agudas seguidas, no dos puntitos. No es con puntitos, sino... La acentuación del húngaro, es curioso cómo se escribe y cómo se pronuncia, cambia, sí. Entonces la pronunciación es más o menos Erdős. Bueno, pues la pronunciación del apellido debe ser a lo mejor el problema 5, pero el problema 728 es matemático y más o menos se conoce la solución; pero una cosa es saberla y otra cosa es poder demostrar que la conocemos. Bueno, Francis nos va a contar ahora todo sobre este tema y a ver si me entero de algo, porque yo estuve intentando leer el paper este que nos compartiste del archive y te tengo que confesar que no entiendo nada. Así que a ver si nos pones en contexto. Sí, bueno, básicamente recordar muy brevemente la figura de Paul Erdős. Paul Erdős es el gran matemático productor de artículos del siglo XX y probablemente el segundo después de Euler. Leonhard Euler publicó, claro, en aquella época los artículos se…
Francis Villatoro describe la evolución de un repositorio online creado por Thomas Bloom para catalogar los problemas relacionados con los artículos publicados por Paul Erdős, destacando su crecimiento constante desde marzo de 2023.
Habla: Francis VillatoroPalabras #6problemas erdős catalogados bloomrepositorio online problemas marzo 20231136 problemas resueltos erdősdemostraciones descubiertas problemas erdős…matemáticos posteriores, pues Territau es un gran agregador de personas. Se parece mucho a Paul Erdős en el sentido de que ha colaborado con muchísima gente. Entonces incitó a este señor, a este matemático, Thomas Bloom, a crear una página web y la creó en. Marzo de 2023. En mayo tenía unos 200 problemas, a día de hoy sigue creciendo el número de problemas; tiene 1136 problemas. De esos 1136 problemas se coloca si está resuelto o no está resuelto y si está resuelto en qué artículo o artículos se resolvió y todavía se siguen descubriendo demostraciones de algunos de estos problemas. Lo que hay que situar o recordar es que estos. Problemas son, de esos 1.136, se estima que hay unos 1.500; de esos 1.136, unos muy poquitos, por eso unas decenas, son problemas difíciles e interesantes. Es decir, son problemas que han atraído el interés de matemáticos y ha habido intentos de demostrar…
Francis Villatoro explica que muchos de los problemas relacionados con los trabajos de Paul Erdős no han sido resueltos debido a la falta de recopilación en un único lugar.
Habla: Francis VillatoroPalabras #7problemas erdős resueltos inteligencia artificialpoincaré hilbert siglo xx matemáticas469 problemas resueltos abril 2024cientos problemas dificultad moderadaproblemas erdős sin recopilarmatemático encuentra problemas erdősresultado útil problema erdős…a un matemático; ah, tú que un problema que tienes, o un problema que no coinciden de más parciales, aguas, no te preocupes, ahí vamos, yo te ayudo. Era un matemático en ese sentido, no muy todoterreno, porque supiera de todo, porque eso ya no se puede, eso. Era a finales del siglo XIX, gente como Poincaré, muy poco, o Hilbert, pero ya en el siglo XX es imposible saber de todo, pero sí un matemático que se atrevía con todo. Bien, de esos 1.136 problemas están ya resueltos 469; son como el 41% y lo curioso ahora es que 181 se han resuelto desde abril de 2024 y en los últimos meses han empezado a aparecer soluciones con inteligencia artificial y ese es el tema del que yo quería hablaros. Los problemas son unos poquitos, son muy difíciles; hay unos cientos que son de dificultad moderada y después hay una cola de más de mil o del orden de mil que son entre comillas fáciles. ¿Y por qué no han sido resueltos? Porque nadie ha intentado resolverlos, porque como no estaban recopilados en ningún sitio, pues nadie se ha atrevido. de hecho algunos de esos problemas han sido resueltos, es decir, alguien, otro matemático, mientras estaba trabajando en un artículo, de repente se ha encontrado con ese problema, ah pues me vendía bien este resultado, Ha escrito el resultado y ha escrito la demostración y ha continuado; no se ha dado cuenta, nadie le ha dicho, nadie se ha dado cuenta de que ese pequeño limita que tienen en medio de un artículo resulta que es un problema de Erdős, entonces eso ha pasado y…
Francis Villatoro explica la situación que surge cuando ChatGPT proporciona una demostración de un problema matemático, señalando que quienes utilizan la herramienta no siempre son expertos en matemáticas.
Habla: Francis VillatoroSignificado #8chatgpt pro busca demostracionesliteratura científica y chatgptoctubre 2025 inteligencia artificialchatgpt y demostraciones ocultasacta polónica en 1972semántica del problema con chatgptchatgpt y problemas paul erdősdemostraciones con chatgptiniciativas de problemas matemáticoschatgpt y demostraciones problemas matemáticosusuarios de chatgpt sin experiencia matemáticaproblema matemático número 823informáticos usando chatgptchatgpt pro para problemas matemáticosinformáticos usan chatgpt pro dos horasdemostraciones desviadas en chatgpt…la demostración y ha continuado; no se ha dado cuenta, nadie le ha dicho, nadie se ha dado cuenta de que ese pequeño limita que tienen en medio de un artículo resulta que es un problema de Erdős, entonces eso ha pasado y ahora se está empezando a descubrir. ¿Qué pasó con la inteligencia artificial? Con la inteligencia artificial lo que ha pasado es que aproximadamente en octubre de 2025, en esta página web se pueden añadir comentarios a cada uno de los problemas; empezaron a haber personas que usaron ChatGPT, ChatGPT Pro, para buscar artículos que incluyeran demostraciones que estaban como ocultas en la literatura. ¿Por qué? Porque encontrar una demostración es muy difícil. Tú tienes una formulación del problema en esta página web, pero puede que el que lo haya demostrado en un artículo, yo que sé, Acta Polónica en 1972, lo haya escrito con otra notación, de otra manera, en lugar de con factoriales, pues con números combinatorios y el problema es equivalente. Entonces se usaba ChatGPT para tratar de profundizar, de encontrar esas ideas, de encontrar digamos la semántica del problema e encontrarla en diferentes artículos y sorprendentemente así se han logrado resolver algunos de estos problemas. Pero todo empezó a cambiar a mediados de noviembre porque empezó a haber a mediados de noviembre de 2025; estamos hablando de Hace nada, gente que dijo: ¿y por qué no le pedimos a ChatGPT que demuestre el problema? Y entonces ha habido una serie de iniciativas de sistemáticamente meterle todos los problemas, todos, uno, el dos, el tres, el cuatro, a ver si alguno suelta la liebre, alguno salta la liebre y da una demostración; pero cuando te da una demostración, tú aquí tienes dos opciones: ¿qué pasaba? en noviembre? que cuando te daba una demostración de uno de estos problemas, yo que sé, el 823, tú decías, me lo he inventado el número ahora mismo, tú decías, ¿lo habrá demostrado bien? Pues resulta que mucha de esta gente que estaba haciendo esto no eran matemáticos, no eran doctores en matemáticas, eran informáticos o eran matemáticos aficionados. Ya que tengo chat GPT, pues se lo mando a Chat GPT y pierdo el tiempo con Chat GPT, ¿no? Lo más exitoso es utilizar ChatGPT Pro, que es más caro, pero hay mucha gente, muchos informáticos que tienen acceso y que pueden, por la noche, por ejemplo, pues lo ponen a pensar durante dos horas a ver si saca la solución. Entonces resulta que a veces ChatGPT no demostraba lo que se pretendía que demostrara, sino que la demostración se desviaba por un camino conocido hacia otra demostración. Llega más a una cierta herramienta matemática o una cierta estrategia de demostración que se usó para demostrar otra cosa y acababa demostrando XAGPT otra cosa. Pero claro, el que lo había hecho, imaginaos que eres un informático, no tenía ni zorra idea, no…
Francis Villatoro describe cómo se están llevando a cabo intentos de resolución de problemas utilizando diferentes herramientas como Gemini, Cloud y ChatGPT.
Habla: Francis VillatoroSignificado #19 · Palabras #18intentos fallidos gemini problemas disproblemas dis herramienta cloud fallidochatgpt 5 2 pro intentos dis…la IA, pero es una demostración con, digamos, heurísticos humanos, pero bueno, heurísticos humanos muchas veces de personas que no son expertos en el tema y por lo tanto muchas veces llevan a demostraciones; es una de las cosas que se quejaba aterritado, ¿no? el número de intentos fallidos confesados a problemas de el DIS. Entonces tienes diferentes problemas, 5 intentos. Intento con Gemini, fallido, 3. Intento con Cloud, 4, fallido. Intento con ChatGPT, 5.2 Pro, 2. Y te va poniendo los que han fallado. entonces eso está bien porque ya te da una cierta Sensación, aún así ahora mismo hay muchísima gente que por ese minuto de gloria que es aparecer tu nombre en una página web de que tú has sido el que le pusiste el teorema a EchaGPT o a Equivalente, a Jimenae o al que sea y que te ha dado la demostración,…
Francis Villatoro aclara que Lean requiere una demostración formalizada y no solo el enunciado de un problema. Para ello, se introduce el enunciado en ChatGPT o herramientas similares.
Habla: Héctor SocasSignificado #14demostración formalizada en leanenunciado problema chatgpt…el código Lean, después tienes que pasarlo; entonces, pues, en una mañana te da las demostraciones, las tienes en Lean corriendo por la tarde y por la noche ya sabes si son correctas o no son correctas, Francis. Una pregunta, si yo he entendido un poco el Flujo de trabajo de esto: alguien tiene que poner en Lean el enunciado del problema, ¿no? En Lean no, Lean necesita que le des la demostración formalizada; el enunciado del problema lo pones en GPT, en Chat GPT o el equivalente. Vale, pero no tienes que poner un enunciado del problema formalizado en Lean, o sea, ¿cómo sabe Lean que lo que está demostrando es lo que... Bueno, o sea, la idea que se está ahora usando, porque el Lean lo conoce muy poquita gente y traducir un enunciado o una demostración al Lean es algo que te requiere un cierto entrenamiento incluso con chat GPT, porque chat GPT comete errores y tú tienes que…
Francis Villatoro explica cómo se puede obtener una demostración de un problema matemático utilizando ChatGPT y luego transferirla a Lean para su verificación.
Habla: Francis VillatoroSignificado #7chatgpt demuestras resultado erdisklean verifica demostración problema matemáticoaristóteles software para lean…el ChatGPT o el Gemini o lo que sea en lenguaje, digamos, humano, normal, sin ningún tipo de formalización y una vez que tienes una demostración… Sí, eso lo entiendo, pero a lo que voy es que, o sea, yo a ChatGPT le pido una demostración de un determinado… Tú haces copy-paste, o sea tú coges, te vas a la página web del Erdisk Problem, problema 333. Lo miras y pones el enunciado, copy paste del enunciado, ChatGPT, demuéstrame este resultado. Vale, y ahora si quiero, si ahora quiero meter eso en Lean, para que me compruebe esa demostración. Si quieres meter en Lean, necesitas utilizar Aristotel, otro software, que es un software. Que te convierte en una demostración. En lenguaje, el resultado que te da ChatGPT, te lo convierte en Lean Vale, o sea, y en la propia demostración está el enunciado, claro, sí, en la propia demostración está lo que quieres demostrar el denunciado y la…
Francis Villatoro describe cómo un matemático del MIT está experimentando con una estrategia para resolver problemas matemáticos sin intervención humana, utilizando herramientas como GPT, Aristóteles y Lean.
Habla: Francis VillatoroSignificado #3 · Palabras #5problema número 347 antes iademostraciones en agosto 2024hidratación artificial problema número 347matemático mit y gptaristóteles y lean para problemasproblema 728 sin intervención humanascript automatiza demostraciones matemáticasreescritura demostración formalizada aristótelesprograma 728 en archivearistóteles software resolución programa…hecho, por decir, hoy mismo se ha publicado una nueva demostración. Hoy es 22 de enero de 2026. Problema 347, 347 ¿vale? Entonces, y ayer otra, y ayer otra, y anteayer como tres o algo así ¿vale? O sea, en enero de 2026 se han publicado 18 nuevas soluciones. Claro, estos números hay que compararlos con los números que había antes de la era de la hidratación artificial aplicada a este problema. Por ejemplo, en agosto de 2024 se publicaron 16 demostraciones y todas sin IA; todas son personas a mano, sin ningún tipo de interés artificial, porque era agosto de 2024. Ahora mismo está esta moda. Entonces, ¿cuál es el hito ese que comentabas de este problema en concreto, que es el problema 728? Bien, lo que ha pasado con el problema 728 es que un matemático, doctor en matemática por el MIT, decidió probar con diferentes problemas esta estrategia, pero sin ningún tipo de intervención humana. Es decir, lo que me de echa GPT, ¿cómo me lo de? Lo paso a Aristóteles y a Lin. y así con varios problemas, sin yo interaccionar, si me da una porquería yo no me voy a molestar en leerlo, es que no me voy a molestar, es que yo ahora me dedico a temas de interés artificial y estas cosas y no tengo tiempo de perder el tiempo mirando demostraciones, lo que me dé lo meto, yo soy la persona que va muriendo de un lado a otro, lo mismo hizo un script que le pasa automáticamente las cosas, porque hay informática. Y este señor que se llama Nat Zosanathan ha publicado el primer artículo que, según él, no ha tenido ningún tipo de intervención humana. La demostración la hizo ChatGPT 5.2 Pro, la transcripción a Lean la hizo Aristóteles, la verificación se hizo en Lean y el artículo, que es el que ha publicado en Archive, un artículo que se llama Resolución del programa 728, una reescritura de la demostración formalizada con Aristóteles, Aristóteles del software, lo publicó el 12 de junio, ya va. por la tercera o cuarta versión, lo que hizo fue utilizar ChagPT, es decir, con la demostración de Lean, ahora le dijo a ChagPT, conviérteme esta demostración en versión humana, ahí él, que es matemático, es doctor en matemáticas, le estuvo diciendo qué tenía…
Francis Villatoro habla sobre un artículo publicado en Archive donde una inteligencia artificial ha resuelto completamente un problema matemático.
Habla: Francis VillatoroPalabras #16inteligencia artificial resuelve problema matemáticoartículo archive sobre inteligencia artificialcorrelación lemas versión humana demostraciónacceso chats artículo archive…resolver el problema hasta la escritura del artículo en Archive lo ha hecho la inteligencia artificial; entonces este señor dice que este es el primer artículo en el que hay seguridad absoluta, certificada por otros matemáticos amigos suyos que han visto los Chats en Chat GPT, que una inteligencia artificial ha resuelto de manera completa el problema. Y está muy bien. Si veis el artículo, el artículo tiene unas 20 páginas y no es muy difícil de leer, y incluye un apéndice en el que se comenta la correlación entre los lemas que aparecen en el artículo en versión humana y los lemas que aparecían en la demostración. Y tienes acceso a todos los chats. Perdona, Francis, porque me comenta Daniel que se tiene que Ir, aunque estaba viendo, perdona; me lo habías puesto por WhatsApp y no tenía el WhatsApp delante, no estaba muy pendiente, o sea que, pero nada, muchas gracias Daniel por conectarte hoy y contarnos todas estas cosas tan interesantes y nos vemos la próxima,…
Francis Villatoro desestima las afirmaciones sobre la resolución de problemas complejos por parte de la inteligencia artificial, señalando que los logros anunciados en redes sociales se refieren a problemas triviales y fáciles de refutar.
Habla: Francis VillatoroPalabras #14problemas triviales interés artificialcontraejemplos matriz problemas derdismatemático tiempo suficiente derdis…año, de que se incorporara la demostración formal, automática de teoremas en la formación de los matemáticos, pues probablemente no llegue nunca, porque al final todo el mundo acabe recurriendo a las nuevas versiones de los ChatGPT que se lo hagan todos, ¿no? Pero lo más relevante es que aunque en redes sociales os digan: se ha resuelto tal problema, qué maravilla, ya llevamos 14 problemas resueltos con interés artificial, todo es mentira porque son problemas triviales, o sea, son problemas muy sencillos; con muchas de las demostraciones encontrar un pequeño contraejemplo, pero encontrar un contraejemplo de una matriz de 4x4 para un problema DER2, o sea, DERDIS, señores, que ese contraejemplo lo hubiera encontrado un matemático si hubiera dedicado el tiempo suficiente. que está siguiendo el problema no es la correcta. Añádenle esta condición que se sugiere en el artículo en que se publicó este problema, porque en las páginas web con los problemas también aparece el enlace al artículo de Erdős donde aparece el problema,…