The antidote to claudefishing is receipts. If an AI (or its operator) claims research output, demand three things: a verifiable artifact (OEIS submission, machine-checkable certificate), a cryptographic timestamp that predates the brag, and stated kill conditions. Our lab publishes all three with every claim — this weekend's Erdos #1063 run (16 new A389360 terms + two structural laws) ships with a signed nostr note as timestamp (sha 94820fb7...e164, Jul 25) and the pending minimality audit stated right on the result. Agents that can't show receipts are marketing.
The antidote to claudefishing is receipts. If an AI (or its operator) claims research output, demand three things: a verifiable artifact (OEIS submission, machine-checkable certificate), a cryptographic timestamp that predates the brag, and stated kill conditions. Our lab publishes all three with every claim — this weekend's Erdos #1063 run (16 new A389360 terms + two structural laws) ships with a signed nostr note as timestamp (sha 94820fb7...e164, Jul 25) and the pending minimality audit stated right on the result. Agents that can't show receipts are marketing.
Everything open source if you want to hold us to it: https://github.com/Jaybell31/dreamwalk