The 2026 counterexample to the Jacobian conjecture was discovered primarily by an AI system
3 events · 1 assessment · 1 decision
Structured and assessed
First pass (structure_and_assess). Decomposed into five novel subclaims (all cleared by the Matcher): an assumes edge for the verified July 2026 counterexample announcement (settled bedrock, scored 0.2 and left a deferred stub); a defines edge for the disputed credit norm for AI-generated results under human direction; and two named arguments, "Discoverer's own attribution" (for: Fable 5 generated the map, requires; Alpöge publicly credited it, supports) and "Expert-directed search" (against: Alpöge defined and steered the search, contradicts). Seeded credences on the empirical subclaims; omitted a seed on the normative credit-norm claim (false precision). Evidence: three web searches. The mathematical event is settled (verified within hours, Lean formalization, Tao walkthrough). Attribution splits: multiple outlets assert AI discovery in their own voice (recorded three affirming instances: AI/TLDR, Developers Digest, The World Times); wan27.org asserts a human-directed collaboration (recorded as denying, confidence 0.6); Tao-thread comments dispute credit ordering both ways; kingy.ai's provenance review finds process, prompts, and steering unverified. The pre-existing Tao-blog instance already carries the credit dispute in its context. Verdict: contested (confidence 0.8), no credence (empirical-plus-definitional composite). Both arguments evaluated holds_with_caveats. Importance set to 0.55, contestation 0.7 (live attribution dispute feeding broader AI-capability debates; the math itself uncontested). Canonical form kept: neutral, accurate, at the length bar. Marginal yield 0.4: release of the discovery session transcripts or the pending openconjectures.org review outcome would materially improve this; I could not open the original X thread directly. No dependents exist yet, so no notification sent.
Assessed Contested
verdict confidence 0.80
In July 2026 a counterexample to the Jacobian conjecture in three variables was announced and rapidly verified, settling in the negative a problem open since 1939 for dimensions three and above. That the mathematics is correct is not in dispute. What remains disputed is whether the discovery belongs primarily to the AI model involved, Anthropic's Claude Fable 5, or to the mathematician who announced it, Levent Alpöge. The case for AI primacy rests on the discoverer's own account: Alpöge publicly credited the model with finding the counterexample, and no credible source disputes that the model generated the polynomial map itself. Much of the press coverage accordingly describes the counterexample as discovered or produced by the model. The case against holds that the search was defined and steered by Alpöge, an expert with a decade of experience applying algorithmic methods to problems of this kind, with the model generating candidates within constraints he set; on this reading the discovery was made by a mathematician using an AI tool. Commenters on Terence Tao's widely read walkthrough disputed the credit ordering in exactly these terms, some listing the result as credited to the model with Alpöge, others insisting the reverse. Two things keep the question open. Empirically, the session transcripts, prompts, and degree of human steering have not been made public, so the division of labor rests on testimony and secondhand process descriptions. Definitionally, the sides differ over whether generating a verified result under human direction merits primary discovery credit at all, a norm the mathematical community has not settled. Publication of the discovery session, or a peer-reviewed account of the process, would resolve the empirical half; the credit norm is likely to remain a matter of judgment.
Claim entered the graph