Búsqueda · 31 momentos en 9 episodios
Luisa AchaerandioIsabel CorderoJuan Carlos GilIgnacio CrespoFrancis VillatoroHéctor SocasGastón Giribetdemostración doctoral con chatgpt proventanas de contexto en inteligencia artificialverificador automático de demostracionesinteligencia artificial simplifica demostracionesdemostración humanamente comprensible alphadevlenguaje humano para demostraciones matemáticasFrancis VillatoroChatGPT ProLeanInteligencia ArtificialIgnacio Crespo
Inteligencia Artificial y demostraciones
Ep551: Ryugu; Gravitondas; DeepMind y Debate IA; Criogenización; Consciencia
26 de marzo de 20262 momentos
Con
0:000:301:001:302:002:303:003:20
Francis Villatoro explica cómo la inteligencia artificial se está utilizando para simplificar demostraciones matemáticas complejas y convertirlas en lenguaje comprensible para humanos.
…planteó mi director de tesis. ¿Qué he hecho? He escaneado estos apuntes, se los he pasado al ChatGPT Pro y en un día me ha dado la demostración de mi resultado y me da una demostración que a mí me convence y la he pasado a Lean y en Lean es un código, no sé. Eran 150.000 líneas, una barbaridad, una cosa absoluta. Absolutamente inabarcable. Y el link dice que la demostración es correcta. Yo me tengo que creer que esa demostración es correcta, pero no la entiendo. ¿Alguien habrá que sea capaz de entenderlo? Y claro, cuando eso pase al siguiente nivel, es decir, cuando las ventanas de contexto de estas inteligencias artificiales en cinco años, en diez años, sean de miles de millones de páginas, y te llega una inteligencia artificial y te diga: esto lo he demostrado. Y el verificador automático diga después de cuatro días trabajando: es correcta la demostración, y tú tengas el equivalente a miles de millones de páginas de texto, cuando ya sea Absolutamente inviable, porque ahora mismo se están usando inteligencias artificiales para tratar de simplificar esas demostraciones y transformarlas a lo que llaman lenguaje humano, demostración humanamente comprensible. Pero cuando llega un momento en el que muchas demostraciones sean tan largas que sea incluso imposible de entender por un humano dedicado toda su vida a entender esas demostraciones. ¿Qué haremos con esas demostraciones? ¿Nos las creeremos? Porque el demostrador automático no nos va a aportar placer, el placer de la comprensión, porque yo ahora mismo, claro, yo no me he estudiado en detalle la demostración de Andrew Wiles del último…
Significado #1 · Palabras #5
Francis Villatoro explica cómo la inteligencia artificial se está utilizando para simplificar demostraciones matemáticas complejas y convertirlas en lenguaje comprensible para humanos.
Habla: Francis VillatoroSignificado #1 · Palabras #5demostración doctoral con chatgpt proventanas de contexto en inteligencia artificialverificador automático de demostracionesinteligencia artificial simplifica demostracionesdemostración humanamente comprensible alphadevlenguaje humano para demostraciones matemáticas…planteó mi director de tesis. ¿Qué he hecho? He escaneado estos apuntes, se los he pasado al ChatGPT Pro y en un día me ha dado la demostración de mi resultado y me da una demostración que a mí me convence y la he pasado a Lean y en Lean es un código, no sé. Eran 150.000 líneas, una barbaridad, una cosa absoluta. Absolutamente inabarcable. Y el link dice que la demostración es correcta. Yo me tengo que creer que esa demostración es correcta, pero no la entiendo. ¿Alguien habrá que sea capaz de entenderlo? Y claro, cuando eso pase al siguiente nivel, es decir, cuando las ventanas de contexto de estas inteligencias artificiales en cinco años, en diez años, sean de miles de millones de páginas, y te llega una inteligencia artificial y te diga: esto lo he demostrado. Y el verificador automático diga después de cuatro días trabajando: es correcta la demostración, y tú tengas el equivalente a miles de millones de páginas de texto, cuando ya sea Absolutamente inviable, porque ahora mismo se están usando inteligencias artificiales para tratar de simplificar esas demostraciones y transformarlas a lo que llaman lenguaje humano, demostración humanamente comprensible. Pero cuando llega un momento en el que muchas demostraciones sean tan largas que sea incluso imposible de entender por un humano dedicado toda su vida a entender esas demostraciones. ¿Qué haremos con esas demostraciones? ¿Nos las creeremos? Porque el demostrador automático no nos va a aportar placer, el placer de la comprensión, porque yo ahora mismo, claro, yo no me he estudiado en detalle la demostración de Andrew Wiles del último…
Ignacio Crespo continúa reflexionando sobre la percepción de soluciones a problemas, relacionándola con el valor que damos al ingenio frente a la fuerza bruta y cómo la inteligencia artificial podría cambiar nuestra apreciación de la belleza en las demostraciones matemáticas.
Habla: Ignacio CrespoPalabras #17belleza en demostraciones matemáticasinteligencia artificial y valores construidosconciencia futura inteligencia artificial…podemos hacerlo por fuerza bruta. Alguien con la velocidad suficiente para hacer todas las combinaciones de los candados en el tiempo necesario se lo pasará y no nos parecerá bonito, desde luego, ni interesante. Y creo que eso es otra de las cuestiones que Hay detrás, al menos históricamente, de programas que se han utilizado para resolver, por ejemplo, conjeturas matemáticas para demostrarlas, que no tiene esa belleza. Pero también depende de cómo interpretamos el mundo que nos rodea y de a qué atribuimos belleza o no, de los valores que hemos construido y de cómo puedan cambiar en un mundo donde la inteligencia artificial esté naturalizada. O además de eso, pues hayamos podido confirmar que tiene una conciencia la futura. Bueno, yo estaría ahora con este debate porque me lo estoy pasando bomba, pero seguro que se me van a enfadar los que tienen todavía temas pendientes y se nos acaba el tiempo y no pueden. Así que vamos con el de Francis, que ya estaba pendiente, de hecho, de…