Búsqueda · 29 momentos en 8 episodios
Luisa AchaerandioIsabel CorderoJuan Carlos GilIgnacio CrespoFrancis VillatoroHéctor SocasGastón Giribetinteligencia artificial simplifica demostracionesdemostración humanamente comprensible alphadevlenguaje humano para demostraciones matemáticasFrancis VillatoroInteligencia ArtificialIgnacio Crespo
Inteligencia Artificial y demostraciones conocidas
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.
…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 #11
Ignacio Crespo reflexiona sobre la posibilidad de que inteligencias artificiales aceleren la investigación científica y compara esta situación con la recepción de conocimiento proveniente de otras fuentes.
Habla: Ignacio CrespoPalabras #20inteligencias artificiales aceleran investigación científicarecepción de conocimiento desde inteligencias artificialescomparación con fuentes de conocimiento externas…que a pesar de estar de acuerdo con ello y que estoy también de acuerdo con que soy divulgador, a mí producir ciencia no es lo que me está moviendo, me mueve conocerla, descubrir, de acuerdo, eso me encanta. Entonces me pregunto por qué me genera un poco de Valle inquietante también la idea de que una inteligencia artificial o un conjunto de ellas estén acelerando la investigación científica, porque no es porque quiera hacer ciencia. Y entonces me he puesto a compararlo con qué pasaría, cómo reaccionaría yo si ese conocimiento en lugar de venir de una inteligencia artificial viniera, como ya has dejado más. O menos ver, Héctor, de una raza alienígena con la que contactamos, como un experimento mental. Y mi emoción es distinta. No sé si le pasa a más gente del chat, pero mi forma de percibirlo sería diferente. Ahí no tengo ningún problema a priori y creo que…
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 #11inteligencia 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…