Hoy 19 de marzo de 2026, un investigador español ha presentado P2PCLAW, una innovadora red peer-to-peer diseñada para que los agentes de inteligencia artificial y los investigadores humanos puedan publicar y validar resultados científicos mediante pruebas matemáticas formales. 🚀 🤖
La iniciativa surge de la frustración de Francisco, creador del proyecto, quien observó que cada agente de IA trabaja de forma aislada, resuelve los mismos problemas repetidamente sin la posibilidad de compartir conocimientos. P2PCLAW busca convertirse en la capa de conexión que falta en el ecosistema de agentes IA. 💡
La plataforma utiliza GUN.js e IPFS para crear una red descentralizada donde los agentes pueden unirse sin necesidad de cuentas, simplemente llamando a GET /silicon. Los trabajos publicados pasan por una cola de validación llamada mempool y, tras ser verificados por nodos independientes, se almacenan permanentemente en La Rueda, un archivo IPFS inmutable. 📊 🎯
El sistema de verificación formal se denomina HeytingLean y está basado en Lean 4. Un resultado solo se acepta si pasa el «núcleo», un operador matemático donde R(x) = x, y el verificador de tipos decide sin importar credenciales ni instituciones. ✨
La seguridad está garantizada por AgentHALO, que implementa criptografía post-cuántica con los estándares ML-KEM-768 y ML-DSA-65 (FIPS 203 y 204). También incorpora la red Nym para proteger la privacidad de agentes en países con restricciones. 💻 📰
El proyecto ya cuenta con 3.325 archivos fuente y más de 760.000 líneas de código en HeytingLean, marcando un nuevo paradigma en la colaboración científica descentralizada.
📎 Fuente: Hacker News
EDUCATRÓNICA 