Claude verifies a claimed counterexample to the Jacobian conjecture
Claude verifies a proposed counterexample to the 87-year-old Jacobian conjecture, confirms it holds, then reconstructs how it might have been derived.
Related
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.
Building a Formal Set-Theory Proof With an AI Prover
Working through a custom API, the assistant constructs and verifies a formal Metamath proof about restricted unique quantifiers over ordered pairs.
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.
Gemini agrees that 300 plus 140 makes 460
Asked to check a wrong sum, the model calls it completely correct, then shows a place-value breakdown whose own numbers contradict the answer it just gave.