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ó.
…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…
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 #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 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 #8factorización producto factoriales kummerteorema de kummer y análisis péadicoproblema factorización factorial abn…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…
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 #14problema 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…
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 #16conjetura 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…