Búsqueda · 33 momentos en 17 episodios
Ignacio CrespoBorja TosarJosé EdelsteinIsabel CorderoFrancis VillatoroHéctor Socasdemostraciones complejas expertos matemáticoslógica clara en demostraciones sinuosasatajos imposibles en demostracionesguías matemáticas carecen de concienciaFrancis VillatoroJosé EdelsteinAstraOpenAICornesDIN
Atajos imposibles en demostraciones
Ep565: Introgresión; Eclipse; Inestabilidad Kelvin-Helmholtz; Piezoquiralidad
6 de agosto de 20265 momentos
Con
0:000:301:001:302:002:303:003:34
Francis Villatoro explica cómo los matemáticos expertos dedican años a detallar el funcionamiento de las demostraciones complejas, destacando que es un proceso sinuoso pero con una lógica clara.
…pueda incorporar esa demostración. Esa parte de asimilación y de incorporación de la demostración al común conocimiento matemático de esa área es mucho más importante que la propia demostración. Y eso es lo que los matemáticos han estado haciendo. De las grandes demostraciones, los grandes matemáticos se tiran años contando cómo funciona la demostración, los detalles, porque la demostración es un camino muchas veces sin trabas. es un camino perfectamente, muy sinuoso, dando mucha vuelta, pero perfectamente llega al final y todo el mundo se puede decir, ¿y por qué aquí no tomaste un atajo? Ah, no, porque no funciona, porque pasa tal y cual y cual, eso se lo puede contar el que lo ha hecho pero las guías no pueden, porque las guías no saben lo que han hecho, no son conscientes de lo que han hecho han producido un código link, dice, no, bueno, no puedo hacerlo porque no se puede hacer, punto pelota ¿Por qué no? Pues yo creo que cuando jugaba al 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…
Significado #1 · Palabras #2
Francis Villatoro reflexiona sobre la labor necesaria para revisar las demostraciones generadas por la inteligencia artificial Astra de OpenAI, destacando su complejidad técnica y el esfuerzo requerido.
Habla: Francis VillatoroSignificado #15demostraciones inteligencia artificial astracomplejidad técnica demostraciones openaiconocimiento requerido demostraciones astra…llámale como quieras. Hay errores. Entonces, la demostración es automáticamente incorrecta. Pero para leer eso, te has tenido que leer como 14.000 líneas de código para llegar al punto en el que aparece eso. Esto es una labor absolutamente terrible y pesada. ¿Qué matemáticos van a querer hacer eso? Menos mal que lo ha hecho uno con esta demostración y se da vuelta; está volviendo famoso. Y entonces probablemente eso incentive a gente joven que lo haga también. Pero se requiere un enorme conocimiento porque son demostraciones muy técnicas. Este es el gran problema que tenemos ahora mismo, como Esto se popularice y se está empezando a popularizar, ya está empezando a haber gente que está diciendo: No, no, no, no, yo no quiero que Charles G.P.T. me explique la demostración, porque yo no tengo ni zorrea, no lo voy a entender, quiero que me genere el…
Francis Villatoro explica cómo los matemáticos expertos dedican años a detallar el funcionamiento de las demostraciones complejas, destacando que es un proceso sinuoso pero con una lógica clara.
Habla: Francis VillatoroSignificado #1 · Palabras #2demostraciones complejas expertos matemáticoslógica clara en demostraciones sinuosasatajos imposibles en demostracionesguías matemáticas carecen de conciencia…pueda incorporar esa demostración. Esa parte de asimilación y de incorporación de la demostración al común conocimiento matemático de esa área es mucho más importante que la propia demostración. Y eso es lo que los matemáticos han estado haciendo. De las grandes demostraciones, los grandes matemáticos se tiran años contando cómo funciona la demostración, los detalles, porque la demostración es un camino muchas veces sin trabas. es un camino perfectamente, muy sinuoso, dando mucha vuelta, pero perfectamente llega al final y todo el mundo se puede decir, ¿y por qué aquí no tomaste un atajo? Ah, no, porque no funciona, porque pasa tal y cual y cual, eso se lo puede contar el que lo ha hecho pero las guías no pueden, porque las guías no saben lo que han hecho, no son conscientes de lo que han hecho han producido un código link, dice, no, bueno, no puedo hacerlo porque no se puede hacer, punto pelota ¿Por qué no? Pues yo creo que cuando jugaba al 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…
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 #16demostraciones 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 explica que las demostraciones matemáticas extensas e ilegibles dificultan su verificación, lo que plantea un problema para la comunidad científica.
Habla: Francis VillatoroSignificado #19demostraciones matemáticas extensasverificación de demostraciones ilegiblespieza escrita de francis villatoro…verificado, comprobado por la comunidad para que pueda ser aceptado. La diferencia de las matemáticas es que las matemáticas de las verdades son verdades y en biología las verdades son cosas que van emocionando. Hay que verificar esas verdades también. Claro, hay que verificarlas y es el problema; cuando las demostraciones son muy largas, son enormes, ya no puedes verificar. Entonces, ya os digo, lo que ha pasado con estas 10 demostraciones; yo quería, no sé si, una pieza medio escrita que he ido tocando varios días y todavía no la he publicado en el blog, y lo mismo lo publico algún día. Es eso; es que estas demostraciones, como están escritas, son ilegibles. Por mí que yo no soy experto, son súper técnicas; no sé qué, pero las vas leyendo y vas diciendo: “no me 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…
José Edelstein matiza que, aunque se podría demostrar matemáticamente lo que ha dicho anteriormente, en física es imposible confirmar la existencia de agujeros negros en todas las galaxias.
Habla: José EdelsteinPalabras #14agujeros negros en todas las galaxiasconfirmar agujeros negros josé edelsteinhistoria de cada galaxia…sí, en cualquier formación estelar que tenga más de unos millones de años va a haber agujeros negros seguro porque las estrellas más masivas terminan su vida así y además viven muy poquito; o sea que en unos pocos millones de años ya tendrían los primeros. Igual una aclaración, porque esa frase si fuera matemática uno podría demostrar o ofrecer un contraejemplo, pero hablando de física, hombre, nunca podremos conjeturar; pero nunca podremos ver todas las galaxias y confirmar que tiene una mujer negra en su centro, entonces simplemente, muy probablemente las grandes lo tengan, pero vete todo a saber. Cada galaxia tiene una historia; al final, la historia de cada galaxia, así como hay seres humanos de 2 metros 20, otros que viven 120 años, y qué sé yo. Digamos, las galaxias también son muy variadas y puede haber alguna que por algún motivo no lo tenga, aunque sea grande. Y hay muchas más galaxias que seres humanos. Sí, y recordemos que las galaxias elípticas muchas son producto de colisiones de galaxias…