Búsqueda · 36 momentos en 26 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 VillatoroLeanDaniel Marín6 de febreroHéctor Socas
22 De Enero 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 #1
Héctor Socas pregunta a Daniel Marín sobre las fechas previstas para un lanzamiento, aprovechando una pausa para comer y habiendo seguido la conversación en el chat.
Habla: Héctor SocasSignificado #13pausa para comer y lanzamientofechas lanzamiento principios febrero6 de febrero primera oportunidad…por supuesto, que hace muchísimo tiempo que estoy también suscrita; así que me siento al día con las novedades del espacio contigo. La verdad que es un placer conocerte. Muy bien, desde aquí, desde Tenerife, no sé... Desde Tenerife ahora, bien, bien. Sí, sí. Pues nada, estábamos hablando, no sé si has seguido un poco la conversación; vi que estabas ahí en el chat poniendo algo y digo, pero ¿qué haces en el chat? Conéctate y... Pero digo, voy a esperar a cómo, la verdad, he aprovechado para comer y digo, bueno, pues eso es importante también. Bueno, y Daniel, en términos de fechas para el lanzamiento, ¿cuándo? Más o menos, principios de febrero, por ahí, ¿no? 6 de febrero, 6 de febrero es la primera oportunidad; lo que pasa que todo el mundo da por sentado que se va a retrasar, mucho. y esto es porque Artemis A1 se retrasó muchísimo, sobre todo por problemas de fuga de hidrógeno del cohete. El cohete SLS tiene, deriva de la tecnología del transbordador espacial, entonces tiene dos cohetes de combustible sólido, que obviamente ese…
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 #1problema 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…