Búsqueda · 27 momentos en 11 episodios
Luisa AchaerandioIsabel CorderoJuan Carlos GilIgnacio CrespoFrancis VillatoroHéctor SocasGastón Giribetinteligencia artificial y tesis doctoralmatemáticos usando ia para resolver problemasInteligencia ArtificialMatemáticoTesis DoctoralFrancis VillatoroIgnacio Crespo
Matemática Inteligencia Artificial máster
Ep551: Ryugu; Gravitondas; DeepMind y Debate IA; Criogenización; Consciencia
26 de marzo de 20263 momentos
Con
0:000:301:001:302:002:303:003:20
Francis Villatoro habla sobre cómo la inteligencia artificial está transformando el trabajo de los matemáticos y menciona una experiencia personal de un matemático que usó IA para resolver problemas planteados en su tesis doctoral.
…programa está bien hecho. Yo puedo ver el programa y ver los argumentos que llevan a que estas configuraciones son estrictamente las necesarias y como son muchas, ver en detalle cada una es imposible; no tiene una cierta confianza de que eso está bien hecho. Con la IA eso va a pasar dentro de muy poco. Ahora mismo muchos matemáticos están usando la IA para algún resultado que han hecho ellos o recientemente un matemático que ahora se dedica a inteligencia artificial decía: “mira, yo en mi tesis doctoral mi director me pidió que resolviera tal”. Problema y no fui capaz. Y yo tenía unos apuntes de durante cuatro años estuve trabajando, publiqué varios artículos sobre el tema pero no fui capaz de resolver el problema que me planteó mi director de tesis. ¿Qué he hecho? He escaneado estos apuntes, se los…
Significado #1 · Palabras #3
Francis Villatoro habla sobre cómo la inteligencia artificial está transformando el trabajo de los matemáticos y menciona una experiencia personal de un matemático que usó IA para resolver problemas planteados en su tesis doctoral.
Habla: Francis VillatoroSignificado #1 · Palabras #3inteligencia artificial y tesis doctoralmatemáticos usando ia para resolver problemas…programa está bien hecho. Yo puedo ver el programa y ver los argumentos que llevan a que estas configuraciones son estrictamente las necesarias y como son muchas, ver en detalle cada una es imposible; no tiene una cierta confianza de que eso está bien hecho. Con la IA eso va a pasar dentro de muy poco. Ahora mismo muchos matemáticos están usando la IA para algún resultado que han hecho ellos o recientemente un matemático que ahora se dedica a inteligencia artificial decía: “mira, yo en mi tesis doctoral mi director me pidió que resolviera tal”. Problema y no fui capaz. Y yo tenía unos apuntes de durante cuatro años estuve trabajando, publiqué varios artículos sobre el tema pero no fui capaz de resolver el problema que me planteó mi director de tesis. ¿Qué he hecho? He escaneado estos apuntes, se los…
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 #10inteligencia artificial simplifica demostracionesdemostración humanamente comprensible alphadevlenguaje humano para demostraciones matemáticas…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…