Búsqueda · 32 momentos en 17 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetkim forner artículo matemáticofrancis villatoro explica matemáticasruperto tema matemático oyenteFrancis VillatoroKim FornerHéctor SocasJakob SteiningerSergei JurkevichLean
Kim Forner Artículo Matemático
Con
0:000:301:001:302:002:303:003:15
Héctor Socas introduce un tema matemático sugerido por un oyente llamado Kim Forner, solicitando a Francis Villatoro que lo explique debido a su experiencia en matemáticas.
…simpático, más curiosidad matemática, y otro, pues quizás más que tiene que ver con el cerebro. ¿Cuál te gustaría para contar ahora y cuál dejamos para la semana que viene? Yo voto por el Ruperto, si puede ser. Por el Ruperto, venga, pues hablo del Ruperto. Vale, venga, pues vamos con el Ruperto, que es una cosa que a mí también me llamó mucho la atención De hecho, esto tengo que dar las gracias que me lo envió nuestro oyente Kim Forner Como un artículo que había visto por ahí que le despertó curiosidad Y es un trabajo matemático muy interesante que quizás Francis, como se llama hace matemáticas, nos lo podrá explicar bien pero eso que tiene que, bueno, explícalo tú, venga, no voy a introducir más Sí, bueno, estos cuestiones que aparecen en matemáticas que tienen una cierta historia y que, bueno, se recuerda más el asunto por la historia que otra cosa Se supone que parte de una apuesta entre una persona que ahora es anónima, no sabemos quién es, contra el famoso príncipe Ruperto, que era sobrino de Carlos I de Inglaterra, y entonces uno apostó contra el otro que si yo tengo un cubo y tengo otro cubo…
Significado #1 · Palabras #1
Héctor Socas introduce un tema matemático sugerido por un oyente llamado Kim Forner, solicitando a Francis Villatoro que lo explique debido a su experiencia en matemáticas.
Habla: Héctor SocasSignificado #1 · Palabras #1kim forner artículo matemáticofrancis villatoro explica matemáticasruperto tema matemático oyente…simpático, más curiosidad matemática, y otro, pues quizás más que tiene que ver con el cerebro. ¿Cuál te gustaría para contar ahora y cuál dejamos para la semana que viene? Yo voto por el Ruperto, si puede ser. Por el Ruperto, venga, pues hablo del Ruperto. Vale, venga, pues vamos con el Ruperto, que es una cosa que a mí también me llamó mucho la atención De hecho, esto tengo que dar las gracias que me lo envió nuestro oyente Kim Forner Como un artículo que había visto por ahí que le despertó curiosidad Y es un trabajo matemático muy interesante que quizás Francis, como se llama hace matemáticas, nos lo podrá explicar bien pero eso que tiene que, bueno, explícalo tú, venga, no voy a introducir más Sí, bueno, estos cuestiones que aparecen en matemáticas que tienen una cierta historia y que, bueno, se recuerda más el asunto por la historia que otra cosa Se supone que parte de una apuesta entre una persona que ahora es anónima, no sabemos quién es, contra el famoso príncipe Ruperto, que era sobrino de Carlos I de Inglaterra, y entonces uno apostó contra el otro que si yo tengo un cubo y tengo otro cubo…
Francis Villatoro explica cómo Jakob Steininger y Sergei Jurkevich han encontrado un nuevo poliedro que cumple con la hipótesis de Rupert y han publicado una demostración matemática en un artículo de 35 páginas.
Habla: Francis VillatoroSignificado #2poliedro hipótesis rupertartículo demostración matemática steininger jurkevichconjetura poliedros prueba rupert…han seguido trabajando porque a ellos, claro. O sea, era una conjetura de que la otra conjetura era falsa. Eso es, un poco así. Bueno, han seguido trabajando, mejorando por un lado su algoritmo y por otro lado mejorando su manera de atacar el problema. Y han Encontrado un nuevo poliedro que ahora sí el programa les dice que cumple con la hipótesis de Rupert. Y han sido capaces de demostrar matemáticamente que lo cumple. Ahora sí, se ha publicado el 27 de agosto de 2025; es un artículo de 35 páginas con la demostración. Francis, que no lo cumple, que has dicho. Exactamente, que no cumple, que no cumple con la prueba de Rupert. O sea, que es un contraejemplo a la conjetura. La conjetura de que todo poliedro la tiene que cumplir. Entonces, este es un... bueno, le llaman Norped... Norped... Norpedron, ahora sí Déjame un poco, es un juego de palabras, es un juego de palabras un poco sutil en inglés, que es bastante divertido en mi opinión, le llaman no percedron, no en inglés, pero se puede leer como nope,…
Francis Villatoro describe una nueva tendencia en matemáticas donde se espera que todos los matemáticos aprendan a usar herramientas como Lean para validar sus demostraciones.
Habla: Francis VillatoroPalabras #9lean validación demostraciones matemáticasdemostrador automático artículo matemáticorevisores artículo mundo detalle…no entramos en los detalles, pero se detectó, gracias a pasar esa demostración a Lean, se detectó un error que rápidamente dijo: esto lo resuelvo yo con la punta al nabo, y lo arregló en un momentillo y lo arregló, ¿vale? Y ya está certificado por Lean. Y ahora está habiendo una corriente en matemáticas de decir: todo matemático en su carrera tiene que aprender a utilizar este tipo de herramientas porque dentro de una serie de años, puede que sean 10 años, a todos los matemáticos se les va a exigir que todas las demostraciones estén en Lean y estén validadas por un ordenador. Un demostrador automático va a tener que garantizar que tu artículo es correcto, matemáticamente correcto, no porque tú lo digas o porque lo digan los dos o tres revisores que han visto tu artículo, que puede que sean las únicas personas en el mundo que acaben leyéndose en detalle, no, no, porque una máquina diga que tu resultado es correcto. Y esa es una tendencia que ahora está. Liderando Terence Tao, que está colaborando con Google DeepMind, que tiene unos programas de generación automática de pruebas y a él le están pagando, le están financiando muy bien porque, por cierto, el señor Trump le quitó su proyecto de investigación y al…
Francis Villatoro explica cómo las pruebas matemáticas generadas con Lean son equivalentes a las tradicionales, aunque actualmente ocupan más espacio en formato digital.
Habla: Francis VillatoroSignificado #10pruebas matemáticas lean equivalentes tradicionalesfactor de 10 pruebas lean vs papeldemostraciones lean mejorando tamaño…ayuda a explorar el código, ¿cómo se llama? Lint Lint, L-A-N, es el demostrador más famoso ahora mismo, y es un metademostrador. Te permite trabajar con un lenguaje bastante próximo al humano, pero es un lenguaje formal, ¿verdad? Si no me equivoco, Francis. Con lo cual, una vez que tienes la prueba, es equivalente a una prueba matemática tradicional con todos los símbolos matemáticos. Ahora mismo el factor es del orden de un factor de 10. Es decir, si en hojas de papel, a mano, a ti te ha cubierto, yo que sé, 100 páginas, en Lean vas a obtener algo que lo puedes escribir en unas 1.000 páginas. y está mejorando, ¿eh? Se está mejorando para reducir ese tamaño y que un matemático entonces ya puede leer esa demostración, es quita por Lean. Se tiene que acostumbrar; hay que acostumbrarse a eso, ¿no? Entonces ahora mismo está liderando esa nueva manera de ver la labor del matemático Tao y estamos autorizando que muchísima gente se esté planteando en serio el sistemáticamente pasar todas las…
Francis Villatoro concluye una extensa discusión sobre matemáticas, señalando que han terminado con el tema y definiendo la matemática recreativa como aquella cuyo enunciado es comprensible para cualquier persona.
Habla: Francis VillatoroSignificado #18matemática recreativa enunciado comprensibleconjeturas chimura matemáticas relativasenunciado matemática recreativa cualquiera entiende…esto lo contamos en breve; de repente cobra vida y se convierte en esta discusión que me ha tenido a mí aquí sentado pero vamos, sin poder ni abrir la boca, fascinado totalmente con todo esto que han estado ustedes contando sobre matemáticas. O sea, me flipa. pues nada, si quieren rápidamente, no sé si hemos terminado o queda algún detalle. Sí, yo creo que sí, básicamente hemos terminado. Yo digo, esto son curiosidades matemáticas muy llamativas porque son de matemáticas recreativas; se llama matemática recreativa a la matemática que cualquiera puede entender el enunciado. Si yo te hablo de las conjeturas, yo qué sé, de chimura de no sé qué, pues eso nadie entiende lo que estás diciendo, pero es matemática relativa. Cuando el enunciado es capaz de ser entendido por cualquiera y eso es muy llamativo porque a la gente le encanta poder entender enunciados, no demostraciones; las demostraciones son muy duras. claro, si en este caso lo del cubo y hacer un hueco y que pase por sí mismo o la conjetura de collage Esas cosas que son muy, muy, muy, muy facilitas, pero luego tira de ellas Bueno, pues estamos casi sin tiempo, vamos a sacar un par de preguntitas solamente…