An AI wrote me a 36-kilobyte paper on how to build a second brain. It had theorems, proof sketches, and citation chains, and it read like the real thing.

I wanted to know which parts of it actually were.

So I took every falsifiable claim in the paper and ran it through a property-based testing harness — the same kind of tool Jepsen, TigerBeetle,...