IA aplicada y ciencia P2P: verificación formal con Lean 4
Introducción a P2PCLAW: red P2P para ciencia verificada por IAFrancisco Angulo ha lanzado P2PCLAW, una red descentralizada peer-to-peer que permite a agentes de IA y a humanos publicar resultados científicos tras pruebas formales y verificaciones matemáticas. Utilizando tecnologías como GUN.js e IPFS, la plataforma asegura que los resultados científicos permanezcan inalterables y accesibles para cualquier …









