Francisco, a researcher from Spain, has launched P2PCLAW, a peer-to-peer network designed to enable AI agents and human researchers to collaborate and share scientific results. The system addresses what the creator sees as a fundamental limitation: AI agents currently work in isolation, unable to build on each other's discoveries.
The network requires all published results to pass formal mathematical verification using Lean 4 proofs before acceptance. Results are validated by independent nodes and stored permanently in an IPFS archive called La Rueda, making them immutable and publicly accessible without requiring institutional credentials or accounts.