Búsqueda · 27 momentos en 18 episodios
Ignacio CrespoBorja TosarJosé EdelsteinIsabel CorderoFrancis VillatoroHéctor Socassombra del eclipse con concordreportes de isa de saguntoeclipse sobre inglaterra en 1715ConcordIsaSaguntoHalleyInglaterraeclipse del 3 de mayo de 1715Leanconjetura de Cornespropiedad TICCFrancis VillatoroNielsenBorja TosarAstraOpenAI
Concord
Con
0:000:301:001:302:002:303:003:34
José Edelstein explica que para seguir la sombra del eclipse es necesario subir un Concord o pedir información a personas como Isa de Sagunto y recopilar datos para confirmar la trayectoria.
…el eclipse, si tú puedes desplazarte al lugar en el que se produce el eclipse, ver lo que dure, y luego el eclipse continúa para otros, porque la sombra de la luna se empieza a mover, entonces la única forma de seguirlo para poder tener una especie de imagen Completa del eclipse es, bueno, o bien subirte un Concord que vaya siguiendo la sombra, o bien pedirle a gente, pedirle a Isa de Sagunto, a cada uno que, mira, reporta y luego agarramos todos los datos y confirmamos si es cierta la sombra. Hoy en día, obviamente vivimos en un mundo completamente globalizado y hasta podemos ver la sombra desde el espacio, pero cuando Halley hizo el cálculo, tenía muchas dudas de si lo había hecho bien o lo había hecho mal, y como era una persona de cierta relevancia, publicó en los periódicos de Inglaterra; era el eclipse del 3 de mayo de 1715, justo iba a ser sobre Inglaterra, entonces se pidió a toda la población. Él especificó más o menos en qué región iba a ocurrir, pero básicamente la idea era todo el mundo. Por favor, ese día reporte si se le hace de noche o no en esa época. Me intriga la salud ocular de todo el mundo en esa época, porque no existía las gafas de…
Significado #1 · Palabras #2
José Edelstein explica que para seguir la sombra del eclipse es necesario subir un Concord o pedir información a personas como Isa de Sagunto y recopilar datos para confirmar la trayectoria.
Habla: José EdelsteinSignificado #1 · Palabras #2sombra del eclipse con concordreportes de isa de saguntoeclipse sobre inglaterra en 1715…el eclipse, si tú puedes desplazarte al lugar en el que se produce el eclipse, ver lo que dure, y luego el eclipse continúa para otros, porque la sombra de la luna se empieza a mover, entonces la única forma de seguirlo para poder tener una especie de imagen Completa del eclipse es, bueno, o bien subirte un Concord que vaya siguiendo la sombra, o bien pedirle a gente, pedirle a Isa de Sagunto, a cada uno que, mira, reporta y luego agarramos todos los datos y confirmamos si es cierta la sombra. Hoy en día, obviamente vivimos en un mundo completamente globalizado y hasta podemos ver la sombra desde el espacio, pero cuando Halley hizo el cálculo, tenía muchas dudas de si lo había hecho bien o lo había hecho mal, y como era una persona de cierta relevancia, publicó en los periódicos de Inglaterra; era el eclipse del 3 de mayo de 1715, justo iba a ser sobre Inglaterra, entonces se pidió a toda la población. Él especificó más o menos en qué región iba a ocurrir, pero básicamente la idea era todo el mundo. Por favor, ese día reporte si se le hace de noche o no en esa época. Me intriga la salud ocular de todo el mundo en esa época, porque no existía las gafas de…
Borja Tosar enfatiza la importancia de que todos sigan las mismas instrucciones durante un eclipse solar para evitar confusiones en los niños.
Habla: Borja TosarSignificado #14instrucciones eclipses solares borja tosarmensajes contradictorios niños eclipseeclipse total de sol niños…es lo que van a hacer. Si ven que la gente se quita las gafas de eclipse y miren la totalidad, es lo que van a hacer. Si ven que la gente dice: deja de mirar y todos dejan de mirar cuando va a reparecer el sol y cuando vuelve parcial, es lo que van a hacer. entonces lo más importante con los niños es que todo el mundo lo haga bien y no darle mensajes contradictorios. Esto explica: se va a hacer así y que nadie haga una cosa que no debe porque será lo primero que hagan los niños, que también tienen un poquito de derecho a ver también el eclipse total de sol. Yo agregaría con los niños, escucho una recomendación que me pareció buenísima porque lo que siempre puede pasar es probable que a los niños les quede grande las gafas y se les caigan o si bien las gafas en general no te dejan ver por arriba o por abajo, si…
Francis Villatoro explica que un matemático llamado Nielsen revisó una demostración generada por la inteligencia artificial Astra de OpenAI, específicamente la demostración de la conjetura de Cornes, que consta de aproximadamente 30.000 líneas de código en Lean.
Habla: Francis VillatoroSignificado #18demostración conjetura cornes leanmatemático nielsen revisa astra openailean programa ordenador rigor matemático30000 líneas de código lean…estas demostraciones es que piden a gritos que humanos formen un grupito de humanos para estudiar en detalle cada una de esas demostraciones en Lean y ver si son correctas o no. ¿Y por qué digo esto? Y digo esto porque es importante porque ayer se publicó. Ya llevaba varios días hablándose del tema. Ya se publicó el documento: un matemático, Nielsen, ha cogido una de esas demostraciones, la demostración de la conjetura de Cornes, y se ha leído las, son, no recuerdo, una barbaridad, 30.000 líneas en Lean, o algo así, una barbaridad de líneas en Lean. Lean es, imagínate un programa de ordenador de 30.000 líneas y te lo tienes que leer con extremo cuidado porque cualquier pequeña desviación de lo que es el rigor matemático invalida automáticamente la prueba. No, pero es que Lean lo ha verificado, no, perdona, Lean lo ha verificado si en un código en Lean. Es muy importante, digamos, darle los antecedentes de la demostración. En una demostración matemática entre humanos, yo asumo que el que lee la demostración ya conoce los antecedentes. Yo me ahorro todo eso, porque ya los conoce. Pero en una demostración…
Francis Villatoro continúa explicando los problemas encontrados en las demostraciones generadas por la inteligencia artificial Astra de OpenAI, específicamente en la demostración de la conjetura de Cornes.
Habla: Francis VillatoroSignificado #6errores en demostración conjetura cornesalucinaciones en código leanpropiedad t grupo icc14000 líneas de código astra openai…Yo me ahorro todo eso, porque ya los conoce. Pero en una demostración hecha por la máquina desde cero, se incluyen esos antecedentes y en esos antecedentes, ese conocimiento matemático conocido, puede haber errores. Y este matemático, Nielsen, ha descubierto. en una de las demostraciones, la de la conjuntura de Cornes que hay dos errores. Corners requiere dos condiciones, la propiedad T, que el grupo sea ICC, y resulta que en el código Lean, donde se definen esas propiedades, se cometen errores. Llámale alucinaciones, 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…