Búsqueda · 31 momentos en 12 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetconjetura golbas problema matemáticoprimos gemelos teorema demostradodificultad enunciado problemas matemáticosgemelidad primos saltos de dosconjetura de GoldbachFrancis VillatoroErdősNavier-StokesHipótesis de RiemannJuan Carlos GilDeepMindBISPaul ErdősHéctor Socas
Conjetura golbas problema Matemático
Ep542: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción
22 de enero de 20265 momentos
Con
0:000:301:001:302:002:303:003:15
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.
…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…
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 #13problema 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 qué tipo de resultados son valiosos para los matemáticos, diferenciando entre resultados útiles que simplifican el trabajo y nuevas herramientas o estrategias de demostración con potencial para resolver familias de problemas.
Habla: Francis VillatoroPalabras #11resultados útiles para matemáticosestrategia demostración matemáticaresolver familias de problemasimpacto de nuevas herramientas…apasionante porque se están resolviendo muchos problemas, pero desde el punto de vista de los matemáticos lo que se está logrando es prácticamente nada, porque hasta ahora no se ha logrado demostrar nada interesante. O sea, nada que interese a un matemático. ¿Qué es lo que le interesa a un matemático? o por un lado un resultado muy útil que aparece en muchos lugares y que yo uso muchos lugares y que me gustaría sustituir esta conjetura me simplifica o me permite ir más lejos desde llegado pero claro puedo ir más lejos pero necesito que alguien la demuestre entonces demostrar algo que implique que tenga digamos un amplio interés porque resuelve a mucha gente le resuelve la papeleta y le permite ir más allá o por otro lado una nueva estrategia o una nueva herramienta de demostración matemática y que tenga potencial de poder resolver familias de problemas completos más o menos similares y eso pues tendrá un cierto impacto. Y por ahora todavía no ha habido ni una nueva Estrategia lo suficientemente interesante ni ningún problema lo suficientemente interesante entre estos problemas de Erdős que se haya logrado resolver. Pero eso acabará cayendo, ¿vale? Esto es como todo: están tirándole balas a todos los problemas y mucha…
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 #7problema 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 #1 · Palabras #1conjetura 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 #11demostració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…