Búsqueda · 39 momentos en 29 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetproblema número 347demostraciones matemáticas disponiblessoluciones problema 347publicación demostración 22 enero 202618 soluciones en enero 202622 de enero de 2026problema 347Francis VillatoroLean6 de febrero7 de febrero8 de febrero10 de febrero11 de febreroDaniel Marín
16 De marzo de 2026
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro describe la situación actual donde hay una gran cantidad de demostraciones matemáticas disponibles, destacando que hoy, 22 de enero de 2026, se ha publicado una nueva solución al problema número 347.
…un software que automáticamente te lo verifica. Hay demostraciones de 1500 líneas, hay demostraciones de 15.000 líneas en Lean; eso un humano es imposible. Que lo pille con cientos de lemas que eso después traducido al lenguaje humano reduce los ejemplos. Entonces, esto es un poco la circunstancia en la que tenemos y ahora mismo está habiendo muchas demostraciones. De 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…
Significado #1 · Palabras #14
Daniel Marín explica las fechas disponibles para la ventana de lanzamiento, mencionando varias opciones en febrero y marzo, y expresa confusión sobre por qué el día 10 no está incluido.
Habla: Daniel MarínPalabras #18ventanas lanzamiento febrero marzofecha lanzamiento 11 febreroconfusión fecha lanzamiento daniel marín…principalmente por culpa de estas fugas, no solo por eso, así que aunque la NASA dice que todo eso ya está solventado y que no va a haber en principio muchos retrasos por ese tema, nadie les cree y todo el mundo piensa que va a haber retrasos y retrasos. entonces claro ahí vamos a tener en las ventanas de lanzamiento: hemos dicho el 6 y luego aquí tenemos la tenemos 678, 10 y 11. Esos son los días que va a haber ventana de lanzamiento que dura dos horas en cada día; la ventana de lanzamiento. Y si para el 11 no se puede, 11 de febrero no se puede lanzar, ya nos vamos a marzo: que tenemos 678, otra vez 9 y 11. Y si tampoco puede ser el 11 de marzo, eso me hace gracia; del 6 al 11, pero el 10 no se puede, no entiendo mucho esto. Sí, vamos; aquí evidentemente uno puede ver el patrón porque luego tenemos también en abril 1, 3, 4, 5, 6 y luego el 30 de abril, que eso lo han puesto ahí como fecha ya como el último intento, que si no ya habría que volver a traer al cohete al edificio, al…
Francis Villatoro describe la situación actual donde hay una gran cantidad de demostraciones matemáticas disponibles, destacando que hoy, 22 de enero de 2026, se ha publicado una nueva solución al problema número 347.
Habla: Francis VillatoroSignificado #1 · Palabras #14problema número 347demostraciones matemáticas disponiblessoluciones problema 347publicación demostración 22 enero 202618 soluciones en enero 2026…un software que automáticamente te lo verifica. Hay demostraciones de 1500 líneas, hay demostraciones de 15.000 líneas en Lean; eso un humano es imposible. Que lo pille con cientos de lemas que eso después traducido al lenguaje humano reduce los ejemplos. Entonces, esto es un poco la circunstancia en la que tenemos y ahora mismo está habiendo muchas demostraciones. De 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…