Búsqueda · 27 momentos en 13 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetfactorización producto factoriales kummerteorema de kummer y análisis péadicoproblema factorización factorial abnfactorización matemática artículopublicación revista artículodemostración tipo artículoA factorialTeorema de KummerAnálisis péadicoChatGPTActa PolónicaFrancis VillatoroPaul ErdősHéctor SocasBISconjetura de Goldbach
Problema factorización factorial abn
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica los detalles de un artículo reciente sobre factorización, donde se busca dividir el producto de factoriales utilizando el teorema de Kummer y análisis péadico.
…y contarnos todas estas cosas tan interesantes y nos vemos la próxima, cuando quiera. Nos vemos, sí, un placer como siempre; disculpa Francis por la introducción y me debo a temas familiares, un placer, nos vemos, hasta la próxima Daniel. Hasta pronto Daniel. Yo os digo: este primer artículo, de hecho después de este artículo se han publicado un par de ellos que también pretenden hacer algo parecido, ¿vale? Entonces lo que yo entrar en los detalles de esto es un problema de factorización, ¿no? El producto de A factorial por B factorial se puede dividir entre N factorial por K factorial con un K dado ABN, tres números, con un K lo más grande posible, pues eso es lo que pretende resolver este problema y se ha utilizado una técnica más o menos estándar que es llamada el teorema de Kummer con análisis peádico. Bueno, son técnicas más o menos estándares, ¿no? Entonces, ¿qué situación tenemos ahora mismo? Pues que seguramente este señor 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…
Significado #1 · Palabras #1
Héctor Socas introduce un tema sobre la demostración matemática de una solución, mencionando que intentó leer un paper al respecto pero no lo entendió.
Habla: Héctor SocasSignificado #8problema matemático erdőssolución problema 728demostración matemática soluciónpaper archive héctor socas…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 ChatGPT ha sido utilizado para encontrar demostraciones ocultas en la literatura científica, permitiendo resolver algunos problemas relacionados con los trabajos de Paul Erdős.
Habla: Francis VillatoroPalabras #2chatgpt y demostraciones ocultasacta polónica en 1972semántica del problema con chatgpt…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,…
Francis Villatoro explica los detalles de un artículo reciente sobre factorización, donde se busca dividir el producto de factoriales utilizando el teorema de Kummer y análisis péadico.
Habla: Francis VillatoroSignificado #1 · Palabras #1factorización producto factoriales kummerteorema de kummer y análisis péadicoproblema factorización factorial abnfactorización matemática artículopublicación revista artículodemostración tipo artículo…y contarnos todas estas cosas tan interesantes y nos vemos la próxima, cuando quiera. Nos vemos, sí, un placer como siempre; disculpa Francis por la introducción y me debo a temas familiares, un placer, nos vemos, hasta la próxima Daniel. Hasta pronto Daniel. Yo os digo: este primer artículo, de hecho después de este artículo se han publicado un par de ellos que también pretenden hacer algo parecido, ¿vale? Entonces lo que yo entrar en los detalles de esto es un problema de factorización, ¿no? El producto de A factorial por B factorial se puede dividir entre N factorial por K factorial con un K dado ABN, tres números, con un K lo más grande posible, pues eso es lo que pretende resolver este problema y se ha utilizado una técnica más o menos estándar que es llamada el teorema de Kummer con análisis peádico. Bueno, son técnicas más o menos estándares, ¿no? Entonces, ¿qué situación tenemos ahora mismo? Pues que seguramente este señor 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…
Francis Villatoro comenta sobre la dificultad inherente a los problemas matemáticos, señalando que aquellos que parecen más sencillos suelen ser los más difíciles de resolver.
Habla: Francis VillatoroSignificado #15conjetura golbas problema matemáticoprimos gemelos teorema demostradodificultad enunciado problemas matemáticosgemelidad primos saltos de dos…por encima y me ha recordado mucho a eso; es como... Hay de todo, ¿no? Hay de todo. A ver, no me ha dado tiempo de ver los 1.000: hasta ahí no llego, yo a nivel Francis no tengo. Pero como que lo he hecho, los 1.135; no sé, que le he dado a 2 o 3 y digo, uy. Eso parece un problema sencillo. Parece un problema sencillo, exactamente. Muchas veces los que parecen más sencillos son más difíciles. La dificultad de un problema no se sabe por el enunciado, ¿vale? O sea, un problema relativamente sencillo de enunciar muchas veces es extremadamente difícil la conjetura de Golbas o cosas así, son problemas, o la de los pares de primos, ¿no? Existen infinitos primos gemelos, pues ya está, porque es muy fácil entender: primos gemelos es como el 11 y el 13, ¿no? Primos que están separados por dos, pues no se sabe. Pues ese problema es extremadamente difícil porque no tenemos una técnica que haga algo tan peculiar como es la gemelidad, estar separados solamente un salto de dos unidades infinitamente. Pero eso se había cotado a un delta como de 78 por ahí; es fascinante la historia. No, algo más, algo más de 78. Ah, es que me sonaba. Hay secuencias infinitas de números separados por cierta distancia; la cota mínima, no recuerdo si llegaba a 78, yo creo que…
Francis Villatoro y Juan Carlos Gil discuten sobre la dificultad de avanzar en una demostración matemática que ha sido ampliamente analizada.
Habla: Francis VillatoroSignificado #14demostración matemática ambilicadaprimer resultado no trivial biscota enorme problema matemático…esa cota a un número más pequeño. No recuerdo si era 78, pero sí puede ser 278 o algo así. Pero ha sido un número muy alejado de dos, claro. 246, casi lo clamos. 246, ese número, exactamente. Ese es, ese es el número. Pero de ahí no se ha podido progresar. Ya se ha ambilicado, se ha alfileado tanto la demostración que ya es prácticamente imposible sacar. Sí, es eso, es ir al detalle. ¿Sabéis quién hizo el primer resultado no trivial? El BIS. El 1940 dio la primera cota. Claro, pero la cota es enorme. Pero ya os digo, ese tipo de problemas son muy fáciles de formular y muy difíciles de demostrar. Pero eso no lo sabes hasta que te pones a demostrarlo. El enunciado no tiene nada que ver con las demostraciones de Grotendi. la demostración de Grothendieck en la que el enunciado de lo que quieres demostrar…