A verification bug joke turns into “P = NP + AI”

ctjlewis · x · 2026-07-21

A repost turns a Claude-style verification complaint into a joke: the model struggles more to verify a result than to prove it, distrusts its own outputs, re-checks with multiple tools, and even hallucinates that SymPy was tampered with. The punchline: “P = NP + AI.”

Original post →

More from Fun

Fun channel →