14 episodios
02:23:22Habla: Francis Villatoro
↗
0:000:301:001:302:002:302:57

Francis Villatoro explica el siguiente paso en su experimentación con inteligencia artificial para resolver problemas matemáticos, cambiando la instrucción de 'demostrar' a 'refutar'.

…ya han definido incluso las constantes. Es decir, no se había logrado con CharGPT 5.5 Pro básicamente porque se le había pedido que demostrara el problema 690 y lo que había que decirle es que refutara; es decir, ahora mismo mucha gente está diciendo pues Ahora voy a hacer una siguiente corrida de todos los problemas de AirDisk pero en lugar de decirle que demuestre, le voy a decir que refute, a ver si me refuta alguno, ¿vale? Que la inteligencia cuando le dice que demuestre, piense también o tenga en cuenta también la posibilidad de refutar, aunque ha habido algunas refutaciones. Entonces ya os digo, estamos en un momento muy curioso. Muy interesante, este es un problema que ahora mismo es el problema más importante que ha resuelto una IA, el más famoso; pero repito, repito, la demostración escrita bonita por humanos para que se entienda es una página y media, ¿vale? O sea, que estamos…
Significado #1 · Palabras #1