Búsqueda · 17 momentos en 10 episodios
Collard
Con
0:000:301:001:302:002:303:003:34
Francis Villatoro explica cómo las demostraciones generadas por inteligencia artificial pueden llegar a conclusiones absurdas, como afirmar que una fuente es verdadera basándose en un fallo lógico.
…primera línea pone la definición de la hipótesis de Riemann, y la última línea, correcto, pero estás aprovechando un error que te permite eso lo descubrió el experto; se descubrió el experto y el experto pidió a una IA que construyera una demostración de la Conjetura de Collage, una lectura muy famosa, muy conocida; vas haciendo unas operaciones: dividir por dos, multiplicar por tres y hace que los números crezcan y después de crezcan y llegan, acaban en uno. Entonces, por existencia, una demostración por existencia, pues es una demostración que en un cierto momento decía falso, verdadero, y a partir de aquí cualquier cosa es verdadera, por ejemplo, la fuente de Collard. Claro, eso fue intencionado. Eso se arregló en dos o tres días, dos días y medio, y ya ese error no está, pero puede haber errores en los demostradores automáticos. Eso me hace pensar que quizás se puede aprovechar; le puedes pedir a una IA que te demuestre algo que sabes que es falso y…
Significado #1 · Palabras #1
Francis Villatoro explica cómo las demostraciones generadas por inteligencia artificial pueden llegar a conclusiones absurdas, como afirmar que una fuente es verdadera basándose en un fallo lógico.
Habla: Francis VillatoroSignificado #1 · Palabras #1demostración por existencia collardfallo lógico inteligencia artificial villatoronúmeros crecen demostración collage…primera línea pone la definición de la hipótesis de Riemann, y la última línea, correcto, pero estás aprovechando un error que te permite eso lo descubrió el experto; se descubrió el experto y el experto pidió a una IA que construyera una demostración de la Conjetura de Collage, una lectura muy famosa, muy conocida; vas haciendo unas operaciones: dividir por dos, multiplicar por tres y hace que los números crezcan y después de crezcan y llegan, acaban en uno. Entonces, por existencia, una demostración por existencia, pues es una demostración que en un cierto momento decía falso, verdadero, y a partir de aquí cualquier cosa es verdadera, por ejemplo, la fuente de Collard. Claro, eso fue intencionado. Eso se arregló en dos o tres días, dos días y medio, y ya ese error no está, pero puede haber errores en los demostradores automáticos. Eso me hace pensar que quizás se puede aprovechar; le puedes pedir a una IA que te demuestre algo que sabes que es falso y…