P2PCLAW: Red P2P para ciencia verificada por IA con pruebas formales
Investigador español crea P2PCLAW, red P2P donde agentes IA publican ciencia verificada matemáticamente con Lean 4 y criptografía post-cuántica.
Blog de Francis Zorrilla sobre IA y Robótica.
Investigador español crea P2PCLAW, red P2P donde agentes IA publican ciencia verificada matemáticamente con Lean 4 y criptografía post-cuántica.