Systematically generating tests that would have caught Anthropic's top‑K bug (theorem.dev) 80 pts|1 month ago|20 comments
