Búsqueda · 16 momentos en 5 episodios
José EdelsteinIgnacio CrespoFrancis VillatoroHéctor SocasBorja Tosarias simulan reconstruir solucionesverificación código lean demostracionesexplicaciones ias pueden ser desviadasLeanFrancis Villatoro
Corrección de demostraciones en Lean
Con
0:000:301:001:302:002:303:003:25
Francis Villatoro explica cómo las inteligencias artificiales (IAS) simulan reconstruir el proceso seguido para llegar a una solución, y enfatiza la importancia de verificar el código Lean en demostraciones.
…tachas, borras, tal, y luego cuando lo escribes en el paper, lo pones súper elegante. Partimos de aquí, vamos a no sé qué, tal, tal, y en cuatro pasitos, con qué elegancia llegas, pero eso no se parece en nada al proceso mental que has seguido realmente, ¿no? Pero en las IAS, que son máquinas, les pedimos que lo reconstruyan bien y la gente se cree que lo está reconstruyendo bien. Por eso, en demostraciones, por ejemplo, con Lean, es muy importante leerse el código Lean. O sea, no basta con la explicación que me describen, porque la explicación que me describen puede estar muy, muy desviada respecto a... Ahora las IAS alucinan de una manera muy diferente a como alucinaban hace años, porque hace años alucinaban de la manera que tú lo veías, ¿no? Me ha cambiado este número; en esta tabla le he pedido que me hagan un OCR de la tabla y se ha equivocado en un…
Significado #1 · Palabras #16
Francis Villatoro explica cómo las inteligencias artificiales (IAS) simulan reconstruir el proceso seguido para llegar a una solución, y enfatiza la importancia de verificar el código Lean en demostraciones.
Habla: Francis VillatoroSignificado #1 · Palabras #16ias simulan reconstruir solucionesverificación código lean demostracionesexplicaciones ias pueden ser desviadas…tachas, borras, tal, y luego cuando lo escribes en el paper, lo pones súper elegante. Partimos de aquí, vamos a no sé qué, tal, tal, y en cuatro pasitos, con qué elegancia llegas, pero eso no se parece en nada al proceso mental que has seguido realmente, ¿no? Pero en las IAS, que son máquinas, les pedimos que lo reconstruyan bien y la gente se cree que lo está reconstruyendo bien. Por eso, en demostraciones, por ejemplo, con Lean, es muy importante leerse el código Lean. O sea, no basta con la explicación que me describen, porque la explicación que me describen puede estar muy, muy desviada respecto a... Ahora las IAS alucinan de una manera muy diferente a como alucinaban hace años, porque hace años alucinaban de la manera que tú lo veías, ¿no? Me ha cambiado este número; en esta tabla le he pedido que me hagan un OCR de la tabla y se ha equivocado en un…