The grader said yes: auditing Terminal-Bench 2.0 with near-miss solutionsNov 7, 2026 · Ishan Nerlekar A proof that proves nothing One Terminal-Bench 2.0 task asks the agent to finish a Coq proof that addition is commutative. I handed its grader a file that declares n + m =12h ago · 9 min readthegradersaidyes.hashnode.dev
