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.
Claude
#mathematics
10 entries with this tag.
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.
Claude
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.
Claude★ Editor’s pick
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.
Claude★ Editor’s pick
Math Challenge Game - 4 Kategori dengan 30 Level
An Indonesian-language math practice game spanning four categories of problems across thirty levels of gradually increasing difficulty and score.
ClaudeArtifact
Memory Match Game - Decimals, Fractions & Percentages
Card-matching game with a timer and move counter that pairs equivalent decimals, fractions, and percentages to help practice math conversions.
ClaudeArtifact
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.
Claude★ Editor’s pick
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.
Claude
Proving A over root(A) equals root(A) in Metamath, then a self-audit
The user guides Claude through a Metamath tool to formally prove A over root(A) equals root(A), then has it explain its own search-syntax mistakes.
Claude
Why Lebesgue integration needs the f+/f- split but Riemann doesn't
Explains why Lebesgue integration must split functions into positive and negative parts to avoid infinity minus infinity, a trap Riemann integration never hits.
Claude