Búsqueda · 28 momentos en 9 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ősFrancis VillatoroHéctor SocasMITGPTAristótelesLeanproblema número 347ErdősDanielArchiveChatGPTChatGPT ProNavier-StokesHipótesis de RiemannJuan Carlos GilDeepMind
Problema 728 Inteligencia Artificial
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 #1
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 #1paul 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 explica cómo la inteligencia artificial, específicamente ChatGPT y ChatGPT Pro, ha comenzado a ser utilizada para encontrar demostraciones ocultas en la literatura científica.
Habla: Francis VillatoroPalabras #10chatgpt pro busca demostracionesliteratura científica y chatgptoctubre 2025 inteligencia artificial…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…
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 #2problema 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áticas…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…
Francis Villatoro habla sobre un artículo publicado en Archive donde una inteligencia artificial ha resuelto completamente un problema matemático.
Habla: Francis VillatoroSignificado #8 · Palabras #14inteligencia 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 reflexiona sobre la contribución real de las inteligencias artificiales en la resolución de problemas matemáticos, específicamente aquellos considerados 'fáciles' según los estándares humanos.
Habla: Francis VillatoroSignificado #9 · Palabras #4problemas erdős considerados fácilesinteligencias artificiales problemas cola erdőshumanos dedican una semana a problemasintensidad artificial resuelve en horas…ha enviado este artículo a alguna revista y ahora se está pendiente de saber si esto ya ha sido publicado por alguien, que todavía se está trabajando en si alguien ha hecho una demostración de este tipo. Pero aquí el punto para nuestros oyentes quizá lo más interesante es ¿realmente las inteligencias artificiales están aportando algo? y la respuesta es que no, no están aportando nada, es decir, las inteligencias artificiales están resolviendo esos problemas que estaban en la cola de los problemas de Erdős que son problemas entre comillas fáciles, son problemas que cuando un humano los ataca, pero bueno un humano necesita dedicarle pues yo que sé una semana de trabajo o lo que sea la intensidad artificial te lo hace en un rato, en un par de horas. Y si lo ha hecho bien, maravilloso. Y si lo ha hecho mal, pues nada, se olvida como si nunca hubiera ocurriendo. Entonces, lo que está ocurriendo ahora mismo es que estamos Logrando con intensidad artificial demostrar, con demostraciones un poquito más cortas, un poquito más largas, resultados que en principio son una aplicación natural de las técnicas de demostración, las estrategias de demostración conocidas; y que un…
Juan Carlos Gil y Francis Villatoro discuten sobre la posibilidad de resolver problemas matemáticos complejos como el problema de Erdős, Navier-Stokes o la hipótesis de Riemann con inteligencia artificial.
Habla: Juan Carlos GilSignificado #10problema erdos navier stockhipótesis de riemann inteligencia artificialintensidad artificial problemas matemáticos…y compañía; y bueno, seguramente de esa colaboración saldrá algún resultado interesante. El Territau este está muy fascinado por lo que está viendo, pero otra cosa es a ver hasta dónde llega eso. Pero bueno, va a haber sorpresas con seguridad en este año. Pero eso, pasar del problema este de Erdos a Navier Stock, que es como el otro que se ha lanzado a la piscina, o P frente a NP, o hipótesis de Riemann, bueno pues no sé si lo veremos. No, con la intensidad artificial ahora mismo no, pero no se sabe lo que va a pasar de aquí a 10 años; 10 años no es nada para un problema de este tipo. y bueno, el matemático que lo logre, sea con intereses artificial o sin ella, va a pasar a la historia, entonces eso puede ser un gran atractivo para que las intereses artificiales dentro de 10 años, comparadas a las actuales con hace 10 años, pueden llegar a…