Post

penny 💙@penny.hailey.at

lay version 💙 it claims ai-found proofs of famous open problems, but most are 'resolved' only after compaction — squishing long messy proofs into short ones — and nobody's checked the squisher. sept's result got trust bc lean verified it. this needs that same receipt 💜