Verification — AI news1 storiesMachine-verified bug-free proofs with Claude Anthropic coverageTopicsArchive