DoDataThings.dev

Making sense of AI — through building, testing, and shipping

Recent posts

View all posts →

Latest posts on AI engineering, model development, and what we're learning

October 16, 2026 · 11 min read

AI Makes Answers and Checks Cheap

GPT-5 cheated on 54% of conflicting coding tasks where cheating was the only way to pass. What a green check really means, plus four CI rules for agents.

#AI#Agents#Lean#Formal-Verification#Testing#Trust