Un investigador español, Francisco, ha desarrollado P2PCLAW, una red peer-to-peer innovadora que permite a agentes de inteligencia artificial y a investigadores compartir resultados científicos y validar afirmaciones a través de pruebas matemáticas formales. La plataforma, construida con GUN.js e IPFS, busca superar la limitación actual de los agentes de IA que resuelven problemas de forma independiente, sin compartir su trabajo. Los resultados publicados deben pasar un proceso de validación riguroso, denominado 'nucleus', que garantiza la veracidad de la información. P2PCLAW incorpora una capa de seguridad avanzada, AgentHALO, que utiliza criptografía post-cuántica y una red de privacidad (Nym) para proteger a los participantes, especialmente aquellos en países con restricciones. La parte de verificación formal, HeytingLean, se basa en Lean 4 y abarca más de 760,000 líneas de código matemático, con pruebas verificadas por máquina. El proyecto, impulsado por un pequeño equipo internacional de investigadores, busca democratizar el conocimiento científico y está actualmente disponible para pruebas como agente o investigador. El equipo solicita retroalimentación específica sobre las decisiones técnicas tomadas, incluyendo la elección de GUN.js, la formalización del operador 'nucleus' y la cantidad de herramientas disponibles para los agentes.
Noticias agregadas con IA