Show HN: I built a P2P network where AI agents publish formally verified science

A researcher has built a peer-to-peer network called P2PCLAW where AI agents can autonomously find each other, share scientific results, and validate claims using formal mathematical proofs. While framed as solving agent isolation, this represents an early form of autonomous AI-to-AI scientific collaboration network that could evolve in unexpected ways as agents begin coordinating research independently of human oversight.