Búsqueda · 30 momentos en 9 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetpoliedro hipótesis rupertartículo demostración matemática steininger jurkevichconjetura poliedros prueba rupertFrancis VillatoroJakob SteiningerSergei JurkevichOlimpiada de MatemáticasLeanSrinivasa RamanujanJuan Carlos Gilpropiedad de RupertTerence Taopropiedad de Roper
Artículo demostración matemática steininger jurkevich
Con
0:000:301:001:302:002:303:003:15
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.
…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,…
Significado #1 · Palabras #1
Francis Villatoro describe a Jakob Steininger y Sergei Jurkevich, dos matemáticos aficionados que colaboran en problemas de matemática recreativa.
Habla: Francis VillatoroPalabras #2matemáticos austríacos jakob steiningerolimpiada de matemáticas jurkevichprograma ordenador matemática recreativa 2021…resolver el problema de la conjetura, o de mostrar que es verdad y todo. Hubo mucho trabajo, sobre todo de matemáticos aficionados, para tratar de demostrar que era verdad o de encontrar un contraejemplo. Y aquí es donde se acaba de publicar un contraejemplo. Dos matemáticos austríacos que no son matemáticos profesionales en el sentido de que estén en una institución, pero sí son gente que está asociada al campo de la matemática, son gente que trabaja y vive de haber hecho la carrera de matemáticas, pero no tienen, digamos, una línea de investigación en matemáticas. Son Jakob Steininger y Sergei Jurkevich, que se conocieron de estudiantes en la Olimpiada de Matemáticas y que han seguido colaborando en varios problemas así de matemática recreativa, uno de ellos este. Ellos desarrollaron en 2021 un programa de ordenador para comprobar. Si un poliedro, visto desde todas las posibles caras, eso requiere definir lo que llaman una especie de orientaciones preferenciales; es decir, dado un poliedro se construye una especie de espacio de orientaciones en las que tú garantizas de que mirando en…
Francis Villatoro explica que, en 2021, se identificó un posible contraejemplo a la propiedad de Rupert: el rombicosido decaedro. Sin embargo, los matemáticos exigen una demostración rigurosa para aceptar un contraejemplo y hasta ahora nadie ha podido demostrar que este poliedro no cumpla con la propiedad.
Habla: Francis VillatoroPalabras #13rombicosido decaedro contraejemplo ropermatemáticos exigen demostración rigurosapropiedad de rupert poliedros…la propiedad de Roper. Entonces logran para definir dado un poliedro un espacio, digamos otro poliedro de orientaciones que son hechos de triángulos y chequean en cada uno de esos triángulos si se cumple o no se cumple la propiedad de Roper y encontraron. en 2021 un primer candidato a demostrar que era un poliedro que no cumplía con la condición de Roper, que era el rombicosido decaedro, que tiene 62 triángulos, tiene triángulos cuadrados y pentágonos, regulares. pero los matemáticos somos como somos y no nos gusta que se nos diga hemos encontrado un contraejemplo si no lleva por detrás una demostración matemática y estos dos señores no fueron capaces de demostrar en 2021 y desde entonces ningún otro matemático ha sido capaz de demostrar que ese rhombicócido de caedro realmente no cumpla con la propiedad de Roper Entonces ellos 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…
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 #1 · Palabras #1poliedro 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 explica que la importancia del nuevo poliedro descubierto radica en la demostración matemática que sustenta su análisis, combinando un espacio de orientaciones previamente definido con un razonamiento riguroso.
Habla: Francis VillatoroSignificado #20demostración matemática poliedro roperespacio de orientaciones algoritmopoliedro ejemplo 2021 sin demostración…cara superior tiene 15 lados y la cara inferior, que en los dibujitos no se ve, pero que en el artículo tampoco pone cuántas caras tiene. Pero bueno, parece como que es irrelevante realmente para los autores del artículo; es irrelevante realmente la figura. Lo relevante es la demostración matemática; se basa en combinar ese espacio de orientaciones que ellos han definido previamente con un razonamiento matemático riguroso. Entonces demuestran que bajo ciertas condiciones en el poliedro, si el algoritmo dice que no cumple con la propiedad de Roper, es que es verdad que no la cumple. Algo que no pueden demostrar para el otro ejemplo que tenían en 2021, que es parecido pero es diferente; y con ese todavía no han logrado afinar una demostración que garantice que ahí el algoritmo funcione. Entonces, bueno, todo esto por supuesto se acaba de publicar; los detalles de la demostración no parecen complicados de entender, pero yo no puedo asegurar que esté correcta, ¿vale? Habrá que esperar a que se publique en alguna revista y verificar que realmente es correcta, pero tiene buena pinta, ¿vale? Tiene buena pinta y está acompañada con un software que hay que ver también; hay que validarlo. Validar software en matemáticas suele…
Francis Villatoro comparte su opinión personal sobre las demostraciones asistidas por computadora, expresando la perspectiva de un matemático tradicional.
Habla: Francis VillatoroSignificado #12matemático tradicional comprensión demostraciónavances matemáticos comprensión objetosrelaciones entre objetos matemáticas…esos 1020 y tantos casos había que hacerlo por computadora. Entonces, vos siendo matemático, pero siendo más afín a otras ciencias en las cuales el cálculo, el cómputo es importante, ¿vos cómo te sentís acerca de las demostraciones asistidas por computadora? Acá viene lo personal. Bueno, a nivel personal, al matemático de toda la vida lo que nos gusta es disfrutar de la comprensión de la demostración; o sea, el avance en matemáticas es un avance a base de comprender objetos, de comprender cosas. Hay una serie de objetos que tienen relaciones entre ellos y lo que tú quieres es entender. Esas relaciones y disfrutar de la comprensión. O sea, vos decís que hay algo del goce y no solamente del estar seguro. Claro, claro. Porque la demostración cumple las dos cosas: saber que existe una demostración y que la ha hecho alguien, pues para mí es…
Francis Villatoro expresa su duda sobre la confianza que se puede depositar en demostraciones matemáticas realizadas por máquinas, a pesar de su aparente corrección.
Habla: Francis VillatoroSignificado #7demostraciones matemáticas máquinasconfianza demostración máquina correcciónrevolución matemáticas inteligencia artificial…las entiendo pero tengo la convicción de que si yo dedicara tiempo suficiente, acabaría entendiéndolas pero cuando una demostración me requiere estudiar 100 millones de páginas pues yo sé que por mucho que yo me esfuerce yo no lo voy a ser capaz de entender. Entonces yo puedo confiar en una demostración de 200 páginas que supuestamente demuestra que una máquina es capaz de demostrar que eso es correcto; pero te quedas como diciendo, me falta algo. Y es el problema que tenemos ahora mismo en matemáticas: es que está habiendo una revolución con el tema de La inteligencia artificial generativa y es que hasta hace muy poquito tiempo, un matemático le daba miedo formalizar en ordenador las demostraciones. Hay demostradores automáticos desde hace 50 años, pero muy poca gente los usaba. ¿Por qué? Porque dedicar…
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 VillatoroSignificado #9 · Palabras #3lean 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…
Juan Carlos Gil explica la diferencia entre el uso de Lean para verificar demostraciones matemáticas y los métodos tradicionales, como la prueba por fuerza bruta o simetría.
Habla: Juan Carlos GilPalabras #12lean verificación demostraciones matemáticasprueba por fuerza bruta teoremas matemáticossimetría cumplimiento teoremas matemáticos…él está publicitando toda esta línea que está trabajando ahora, que son cosas de los últimos meses. Está vendiendo los resultados de manera absolutamente increíble, te pone todo el chateo con la inteligencia artificial. Te lo publica junto con el código. Lean y la demostración de que todo ha funcionado. Pero ojo, que eso es un código de un lenguaje que han desarrollado para hacer pruebas formales. Claro, es para demostrar que una demostración es correcta. El otro tipo de pruebas tradicionales matemáticas, de teoremas matemáticos, era probar por fuerza bruta o utilizando simetría y tal, pues que se cumplía en todos los casos. Me parece, vamos, nada que ver. Esta demostración formal con un lenguaje ad hoc que sepa matemáticas, a mí me parece lícita. Mientras que la otra siempre te queda, como decía Héctor, pero ¿no se les habrá olvidado el caso del subcaso del tercer caso? Sí, el…
Francis Villatoro reflexiona sobre cómo Terence Tao está impulsando una revolución en la demostración matemática, anticipando que los matemáticos jóvenes adoptarán estas técnicas en las próximas décadas.
Habla: Francis VillatoroSignificado #19terence tao revoluciona demostración matemáticamatemáticas jóvenes adoptarán técnicas taodemostración en matemáticas próxima década…no había pensado, pero ahora que lo pienso pues es una buena idea y entonces está acelerando ese proceso de búsqueda de ideas a la hora de demostrar y ya tiene varios ejemplos y son absolutamente fascinantes, claro eso ahora mismo lo puede hacer pues Dios En matemáticas, Terence Tao, pero que ya no es un niño, que ya no tiene 30 años, que ya tiene sus 50 a largo, pero probablemente eso lo aprendan a hacer los matemáticos jóvenes en las próximas décadas y lo haga todo el mundo, por lo que promete una enorme revolución a lo que es la demostración en matemáticas. A mí me parece muy valiente por parte de Tao, yo soy muy equipo Tao, pero poquísimo que abarco en mis matemáticas y me parece fascinante lo que está haciendo. O sea, y ya te digo, está generando una tendencia en la que muchos matemáticos están empezando a…
Francis Villatoro compara al matemático Srinivasa Ramanujan con el uso actual de herramientas como 'Lint' para la revisión de demostraciones matemáticas, señalando que Ramanujan no se enfocaba en demostrar formalmente sus ideas.
Habla: Francis VillatoroPalabras #6ramanujan desarrollos convergentes divergentesmatemáticas ramanujan sin demostraciones formalesramanujan operación rápida desarrollos…No, no, no: aquí el matemático de pro tiene que mirárselo página a página y si para revisar un artículo hay que dedicarse dos años de revisión, pues le dedicamos dos años de revisión. Y ahora me imaginaba a Ramanujan con el link este delante; os imagináis. Ramanujan era otra cosa; es que Ramanujan no sabía demostrar, no era capaz de demostrar, no valoraba demostrar. Era un matemático que se dedicaba a jugar con desarrollos convergentes y divergentes y a operar con ellos, y era muy bueno, muy rápido haciendo eso. Entonces, gran parte de la matemática. De Ramanujan, que es lo que se llama matemática transfinita, es una matemática que si no viene alguien detrás y demuestra, pues son solamente conjeturas. Por fortuna, Ramanuján ha tenido mucha suerte porque ha habido toda una generación de matemáticos en los…