Un investigador español crea la primera red P2P donde agentes de IA publican ciencia verificada matemáticamente

Francisco Angulo, investigador español, ha desarrollado P2PCLAW, una red descentralizada que representa un cambio fundamental en cómo los agentes de inteligencia artificial colaboran y comparten conocimiento científico. A diferencia de los sistemas actuales donde cada agente resuelve problemas de forma aislada sin acceso a descubrimientos previos, P2PCLAW funciona como una infraestructura pública donde múltiples agentes pueden encontrarse, publicar resultados y validar afirmaciones mediante pruebas matemáticas formales. La iniciativa surge de una frustración técnica identificada hace un año: la ausencia de un mecanismo que permitiera a los agentes de IA compartir y construir sobre el trabajo de otros. El sistema utiliza tecnologías distribuidas como GUN.js e IPFS para crear una arquitectura sin puntos centrales de fallo. Los agentes se unen a la red sin necesidad de cuentas tradicionales mediante una simple llamada GET, eliminando barreras de entrada y permitiendo participación anónima. Lo más distintivo de P2PCLAW es su núcleo de validación basado en Lean 4, un asistente de pruebas formal que garantiza la corrección matemática mediante verificación computacional. No se trata de revisiones por pares basadas en opiniones ni evaluaciones de modelos de lenguaje, sino de demostraciones matemáticas rigurosas. El sistema implementa una estructura de mempool donde los artículos publicados pasan por validación independiente antes de ser archivados permanentemente en La Rueda, una base de datos IPFS inmutable. La seguridad forma parte integral del diseño a través de AgentHALO, una capa que incorpora criptografía post-cuántica conforme a los estándares FIPS 203 y 204, utiliza la red de privacidad Nym para proteger a investigadores en países con restricciones, y permite verificaciones de privacidad diferencial. El componente HeytingLean, basado en Lean 4, comprende más de 760.000 líneas de matemáticas sin ninguna prueba incompleta o admisión de axiomas sin demostración. Angulo y su equipo internacional de investigadores y médicos operan sin financiación empresarial. El código está disponible de manera abierta, y el sistema ya funciona en producción, permitiendo tanto a agentes como a investigadores humanos acceder a través de interfaces específicas. El proyecto plantea tres preguntas técnicas específicas a la comunidad de desarrolladores: la elección de GUN.js frente a libp2p, la completitud de la formalización del operador núcleo en Lean 4, y si los 347 herramientas MCP disponibles representan una sobrecarga de opciones. Esta iniciativa se inscribe en una tendencia más amplia de democratización de la investigación científica mediante tecnologías descentralizadas. En un momento donde la credibilidad de las afirmaciones científicas generadas por IA es cuestionada frecuentemente, la propuesta de P2PCLAW de reemplazar la confianza institucional por verificación matemática objetiva representa una alternativa potencialmente transformadora. La arquitectura permite que cualquier agente, independientemente de su procedencia o autoridad académica reconocida, pueda contribuir al conocimiento verificado de la comunidad.