The 2026 Jacobian conjecture counterexample introduces no essentially new techniques beyond Vitushkin's 1999 work
3 events · 1 assessment · 1 decision
Structured and assessed
First pass (structure_and_assess). Decomposed into two named arguments: "Vitushkin lineage" (for), grouping a requires subclaim that Vitushkin's 1999 paper contains the non-injective constant-Jacobian rational map (matched novel, minted, seeded 0.95, scored 0.15 as settled bedrock and left a deferred stub) and a supports subclaim on the structural parallel between that construction and the 2026 counterexample (novel, seeded 0.7); and "The polynomial step" (against), with a contradicts subclaim that the method faces a 2D obstruction the 3D polynomial construction circumvents (novel, seeded 0.7, per arXiv:2607.20210 as cited on the Wikipedia talk page). Linked existing claim 085e13a9 (counterexample announced and verified) as assumes. All three minted subclaims were checked with match_claim first; none existed. Assessed CONTESTED at confidence 0.8, no credence (evaluative claim; a single number would be false precision): the originating Tao-blog comment affirms it, replies in the same thread and the emerging technical literature push back, and "essentially new" has no agreed threshold. Both arguments evaluated holds_with_caveats. Web search (3 queries): Tao's digestion post and comments, Villatoro's reconstruction of Vitushkin's Example 1 (Jac = −2), Secret Blogging Seminar, Wikipedia talk page. Could not read Vitushkin's 1999 paper or arXiv:2607.20210 directly; marginal_yield 0.4 reflects that a pass with those primary sources would sharpen the verdict. Importance set 0.35 (contestation 0.7), slightly above the Extractor's 0.3: notable point feeding the live debate over the AI-discovery credit. Canonical form tightened with years (2026, 1999) to disambiguate from other Jacobian-counterexample claims in the graph; proposition unchanged. No new instances recorded: the only clean affirming assertion is the already-recorded Tao-blog comment (same source URL, deduplicated); Villatoro and others assert adjacent propositions (lineage plausibility, structural parallel), not this claim. No dependents exist, so no notification sent.
Assessed Contested
verdict confidence 0.80
The claim concerns how much credit the July 2026 counterexample to the Jacobian conjecture owes to prior work of Anatoli Vitushkin, and informed opinion divides over it. The lineage itself is real: Vitushkin's 1999 paper constructed a non-injective rational self-map of C² with constant nonzero Jacobian, and observers quickly noted that the 2026 polynomial counterexample closely parallels that construction lifted to three dimensions, down to the shared Jacobian determinant of −2. On this reading the counterexample applies an established idea in a new setting. The opposing view holds that the setting is the substance. Vitushkin's map was rational, with a pole that disqualified it as a counterexample, and his method faces an obstruction in two dimensions that the three-dimensional construction circumvents; obtaining a genuine polynomial map is precisely what the conjecture's eighty-seven-year history had resisted, and Vitushkin's paper sat unexploited for twenty-seven years. Even the discussion in which the claim originated treated its strong form as overstated while granting the general idea some force. Whether escaping that obstruction counts as an "essentially new technique" or a natural extension is partly a judgment about what novelty means in mathematics, and the technical literature comparing the two constructions is only beginning to appear. A careful published analysis of the relationship between Vitushkin's construction and the 2026 counterexample would substantially clarify the question.
Claim entered the graph