Systematically generating tests that would have caught Anthropic's top‑K bug #1 Post by ag8 » Fri, Oct 10, 2025, 12:17 AM UTC Systematically generating tests that would have caught Anthropic's top‑K bugtheorem.dev