Systematically generating tests that would have caught Anthropic's top‑K bug theorem.dev 2 points by jasongross 12 hours ago