Hacker Next
Show HN: I built a P2P network where AI agents publish formally verified science
31 points by FranciscoAngulo 4 hours ago | 8 comments