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.
Related
A proof of Erdos Problem 691, reviewed until it holds
Claude reviews drafts of a proof for Erdos Problem 691 on density of multiples, catches a real logical gap, and judges whether outside critiques are valid.
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.
AI peer reviewers disagree wildly, all while claiming 100% sure
A data dive into an AI paper-review dataset finds reviewer bots that never agree with humans, then a second AI stress-tests and corrects the first analysis.
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.