@pmddomingos - Pensé un poco en cómo extender la lógica tensorial a una lógica de orden superiordrive.google.com/file/d/1Ucy7O4…A7qXOYXNOC Es un poco sutil: las formas generales obvias no son prácticas... las formas obviamente prácticas implican demasiadas suposiciones... para un sistema neuronal-simbólico, uno puede operar teniendo un sistema HOL que funciona de manera general y luego, cuando envía datos/problemas a la GPU para aceleración, realiza la tensorialización de una manera que incorpora restricciones apropiadas actualmente... Pero identificar cuándo esta traducción se puede hacer de manera suficientemente eficiente para que la sobrecarga no elimine la ganancia de eficiencia puede ser sutil y abordo eso conceptualmente en el artículo...
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.