Búsqueda · 29 momentos en 21 episodios
Ignacio CrespoBorja TosarJosé EdelsteinIsabel CorderoFrancis VillatoroHéctor Socasdemostraciones matemáticas generadas artificialmentepublicación de demostraciones en dindeshumanización de las matemáticas bellezadestrucción al estudiar código informáticoDINFrancis VillatoroMucho FricuoTerence TaoICM 2026Filadelfia
Deshumanización de las Matemáticas belleza
Ep565: Introgresión; Eclipse; Inestabilidad Kelvin-Helmholtz; Piezoquiralidad
6 de agosto de 20263 momentos
Con
0:000:301:001:302:002:303:003:34
Francis Villatoro advierte sobre la proliferación de demostraciones matemáticas generadas artificialmente, describiéndolas como 'indigeribles' y criticando su publicación en formato DIN.
…Go, AlphaGo o AlphaCero, que aprendió sola. Bueno, es que yo he evaluado la partida y el lugar donde hay que poner una pieza es aquí. Aquí tengo que poner una piedra. ¿Y por qué? No, no, porque lo he evaluado y hay que ponerlo ahí. No tienes un razonamiento. Y eso va a ocurrir ahora con muchas demostraciones. Está habiendo una explosión terrible de demostraciones, porque es artificial, terrible; es una cosa absolutamente indigerible y mucha gente está empezando a publicar demostraciones en DIN. Y eso es deshumanizar completamente las matemáticas, la belleza de las matemáticas, la belleza de la comprensión, del razonamiento, el disfrute de aprender cosas. Cuando estás leyendo una demostración se destruye cuando lo que estás estudiando es un código informático, sea verificable o no; y permíteme, estoy hablando de una barbaridad, pero permíteme un punto final y ya acabo. Se encontró hay bugs, hay errores en el núcleo de Lean, como en cualquier programa informático. El núcleo de Lean no es muy grande, no son muchas líneas de código, son unas miles de líneas de código. Se ha encontrado un error y resulta que una IA aprovechó…
Significado #1 · Palabras #1
Francis Villatoro continúa una analogía sobre las demostraciones matemáticas, comparándolas con el cuidado y la educación de una hija, siguiendo una reflexión previa sobre lo dicho por Terence Tao en el ICM 2026.
Habla: Francis VillatoroSignificado #16demostraciones matemáticas como hijascuidado de demostraciones por matemáticosterence tao en el icm 2026mucho fricuo y las demostraciones…y el futuro de las matemáticas en el ICM 2026, también en Filadelfia. Y Terence Tao ha dicho: lo voy a tratar con mis palabras porque no tengo las palabras exactas de Terence en la cabeza, pero básicamente ha dicho que una demostración es como una hija. A una hija no tienes que parirla, no basta con parirla y abandonarla. A una hija la tienes que cuidar, la tienes que cuidar, la tienes que educar, la tienes que transformar en un adulto, un adulto productivo, feliz y que tenga una buena vida. Y los matemáticos tratamos a nuestras demostraciones como si fueran nuestros hijos y las cuidamos. Entonces, una demostración, cuando tú haces una gran demostración, un matemático hace una gran demostración, no hace la demostración y dice: señores, como dice Mucho Fricuo, ya he cumplido, aquí no hay que hacer nada más, ya está, ahí tenéis la demostración, buscaros la vida. No, hombre, sino tienes que ir a conferencias científicas y contar la demostración, a dar seminarios, a dar cursos, a vender tu demostración para que la comunidad matemática pueda asimilar esa demostración, pueda incorporar esa demostración. Esa parte de…
Francis Villatoro advierte sobre la proliferación de demostraciones matemáticas generadas artificialmente, describiéndolas como 'indigeribles' y criticando su publicación en formato DIN.
Habla: Francis VillatoroSignificado #1 · Palabras #1demostraciones matemáticas generadas artificialmentepublicación de demostraciones en dindeshumanización de las matemáticas bellezadestrucción al estudiar código informático…Go, AlphaGo o AlphaCero, que aprendió sola. Bueno, es que yo he evaluado la partida y el lugar donde hay que poner una pieza es aquí. Aquí tengo que poner una piedra. ¿Y por qué? No, no, porque lo he evaluado y hay que ponerlo ahí. No tienes un razonamiento. Y eso va a ocurrir ahora con muchas demostraciones. Está habiendo una explosión terrible de demostraciones, porque es artificial, terrible; es una cosa absolutamente indigerible y mucha gente está empezando a publicar demostraciones en DIN. Y eso es deshumanizar completamente las matemáticas, la belleza de las matemáticas, la belleza de la comprensión, del razonamiento, el disfrute de aprender cosas. Cuando estás leyendo una demostración se destruye cuando lo que estás estudiando es un código informático, sea verificable o no; y permíteme, estoy hablando de una barbaridad, pero permíteme un punto final y ya acabo. Se encontró hay bugs, hay errores en el núcleo de Lean, como en cualquier programa informático. El núcleo de Lean no es muy grande, no son muchas líneas de código, son unas miles de líneas de código. Se ha encontrado un error y resulta que una IA aprovechó…
Francis Villatoro continúa hablando sobre la dificultad de comprender demostraciones matemáticas complejas, comparándolas con poesía y explicando que se puede apreciar su belleza incluso sin entenderlas completamente.
Habla: Francis VillatoroSignificado #5 · Palabras #9belleza de la poesía matemáticademostraciones matemáticas complejasdocumento de 241 páginas sin demostraciones…lo puedo creer, no me lo creo”. Y no me lo creo yo, que soy un ignorante, porque yo no soy un experto; son súper técnicas, son conceptos técnicos terribles, o sea, estas cosas que trabajan 20 personas en el mundo y que fuera ese circulito nadie más entiende. Pero bueno, hay un cuerpo genérico que te permite, tú vas leyendo con el lenguaje matemático y es como la poesía; te va gustando, te va agradando y vas diciendo que maravilla, que bien fluye esto, que bien razonado está esto, aunque no te enteres. Hay un disfrute de esa poesía matemática y en este documento de 241 páginas esas 10 demostraciones no las hay, entonces es muy aburrido, cuesta muchísimo. Vamos a ir con más preguntas, entonces, y quedaba José que tenías que hablar de la cena y escuchar la legislativa. ¿Que no sé si quieres contestarla o prefieres pasar? José, puedo decir algo brevemente respecto a lo anterior; lo ideal sería cuando te tira la…