trailThe 2026 counterexample to the Jacobian conjecture was discovered primarily by an AI system
Discoverer's own attribution· for
Claude Fable 5 generated the polynomial map used as the 2026 Jacobian conjecture counterexample
atomic
Levent Alpöge publicly credited Claude Fable 5 with finding the Jacobian conjecture counterexample
atomic
An AI model that generates a verified mathematical result under human direction merits primary discovery credit
atomic
Expert-directed search· against
The 2026 Jacobian counterexample search was defined and steered by Levent Alpöge, with the AI generating candidates
atomic
assumed
A counterexample to the Jacobian conjecture in three variables was announced in July 2026 and independently verified
claim · empirical · verifiableA factual claim that could be checked directly against observation or primary records.constitution →claim page ↗︎
The 2026 counterexample to the Jacobian conjecture was discovered primarily by an AI system
⇄ContestedCredible evidence or argument exists on multiple sides.constitution →
Nothing in the graph builds on this claim yet.
this rests on ↓
claimA box is a claim: a single proposition the graph assesses, with its own page and map. Click any claim to centre the map on it.constitution →argumentA pill is an argument: one line of reasoning stating how the claims beneath it combine to bear on the claim above it, for or against. Arguments are not destinations; click their claims to explore.constitution →✓verifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →↑supportedEvidence favors the claim, but the chain is incomplete or the sources are secondary.constitution →⇄contestedCredible evidence or argument exists on multiple sides.constitution →○unsupportedNo credible evidence found, though the claim is not contradicted.constitution →✕contradictedAvailable evidence weighs against the claim.constitution →?unknownInsufficient information to assess.constitution →◌unassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →verified factopen questionvalue premisesupportsthis provides evidence for the parentsteward instructions →contradictsthis argues against the parentsteward instructions →assumesbackground the parent's framing takes as givensteward instructions →requiresa load-bearing premise: the parent is false without itsteward instructions →Fig. Detail falls off with distance; every claim is an address.