Catching a real error in a Journal of Economic Theory proof
Claude verifies a published proof, misses a subtle continuity gap, gets corrected by the user, and confirms it matches the authors' own corrigendum.
Related
Reconciling Coase and Myerson-Satterthwaite in one exam question
Claude writes and answers a PhD-level exam question that pits the Coase theorem against Myerson-Satterthwaite, using partnership law to resolve the clash.
A tangled family river-crossing puzzle, solved and checked
The user brings a family river-crossing puzzle with tricky safety rules, gets a 15-step solution animated in React, then catches a flawed alternate solution.
Chasing a Counterexample to the Jacobian Conjecture
Claude runs a disciplined symbolic search for a map that would refute the eighty-year-old Jacobian conjecture, and the hunt turns up something startling.
Debugging a Clustering Algorithm From an Academic Paper
A user and Claude implement a clustering algorithm from an academic paper in C++, then hunt down a string of real compiler errors together, line by line.