13 episodios
01:51:57Habla: Gastón Giribet
↗

Búsqueda · 19 momentos en 4 episodios

Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetproblema del milenio como contraejemplocuatro versiones problema milenioresultados preliminares problema milenioGastón GiribetNavier StokesFrancis VillatoroProblemas del MilenioProblema del milenioNSFGrigori PerelmanMedalla FieldsSan PetersburgoInstituto ClayHéctor SocasIsaac AsimovFeffermanTristan BookmasterCurant InstituteUniversidad de Nueva YorkOpenAIAndrew WilesNatureDiego CórdobaPremio del MilenioProblema de Cochisformulación Cproblema CForzamientoPremio Nobel

Problema del milenio como contraejemplo

Ep570: Viruela Ancestral; Protones; IA y el Problema del Milenio

10 de septiembre de 2026
15 momentos
Con
0:000:301:001:302:002:303:003:31

Gastón Giribet explica la dificultad de encontrar contraejemplos para demostrar el comportamiento correcto de soluciones en problemas matemáticos, comparándolo con el problema del milenio.

…pero eso es un problema para matemáticos, ¿no? O sea, gente como Francis se dedica a esas cosas, que son mucho más complicadas que el problema. Resolver esas situaciones es complicado, pero siempre las estarás resolviendo en unas condiciones particulares. Pero esto es que para cualquier, que puedas demostrar que para cualquier, da igual lo que tú le pongas de entrada, se va a comportar bien o encontrar un contraejemplo Al menos encontrar un contraejemplo en el que muestres que no es así. Demostrar eso. El problema de milenio es demostrar eso. Hay cuatro versiones y hay un montón independientes y hay un montón de resultados preliminares. Se ha logrado en una dimensión más baja probar algunas cosas, mucho. Se ha probado también con condiciones de contorno que son pequeñas. Hay un montón de subresultados sobre esto. La idea, que el problema es, como dice, como enfatiza Héctor, es demostrar que…
Significado #1 · Palabras #1