6 episodios
03:07:26Habla: Francis Villatoro
↗
0:000:301:001:302:002:303:003:34

Francis Villatoro continúa la analogía sobre las demostraciones matemáticas, comparándolas con el cuidado de una hija, y hace referencia a AlphaGo o AlphaCero para ilustrar cómo estas herramientas pueden dar respuestas sin ofrecer un razonamiento claro.

…lo puede contar el que lo ha hecho pero las guías no pueden, porque las guías no saben lo que han hecho, no son conscientes de lo que han hecho han producido un código link, dice, no, bueno, no puedo hacerlo porque no se puede hacer, punto pelota ¿Por qué no? Pues yo creo que cuando jugaba al Go, AlphaGo o AlphaCero, que aprendió sola. Bueno, es que yo he evaluado la partida y el lugar donde hay que poner una pieza es aquí. Aquí tengo que poner una piedra. ¿Y por qué? No, no, porque lo he evaluado y hay que ponerlo ahí. No tienes un razonamiento. Y eso va a ocurrir ahora con muchas demostraciones. Está habiendo una explosión terrible de demostraciones, porque es artificial, terrible; es una cosa absolutamente indigerible y mucha gente está empezando a publicar demostraciones en DIN. Y eso es…
Significado #1