The 2026 Jacobian conjecture counterexample introduces no essentially new techniques beyond Vitushkin's 1999 work
Assessment
Credible evidence or argument exists on multiple sides.
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.
Full reasoning: the evidence and decisions behind this verdict
The claim originated as a comment on Terence Tao's July 2026 digestion of the counterexample (terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/), asserting that the result "relies on techniques established by Vitushkin in his 1999 paper" and that "there really is nothing new here." Replies in the same thread hedged it immediately: one called it "probably a bit extreme but the general idea is correct," another observed that Vitushkin's 2D construction yields only a rational map (the 1/s term) while the new construction yields a genuine polynomial one, locating the novelty exactly where the claim denies it.
The factual spine of the affirming side checks out. Francis Villatoro (x.com/emulenews/status/2080184306324984059, 2026-07-23) reproduces Example 1 of Vitushkin, "Evaluation of the Jacobian of a Rational Transformation of C² and Some Applications," Math. Notes 66, 245–249 (1999): the map V(r,s) = (r²s⁶ + 2rs², rs³ + 1/s) with Jacobian determinant −2, matching the −2 of the 2026 map. He calls the correspondence "a curious coincidence" and conjectures, without establishing, that the 2D construction lifts to the 3D one; whether the discovering system actually derived the counterexample from Vitushkin's paper is unverified. So the Vitushkin 1999 subclaim looks solid, while the structural-parallel subclaim is plausible but not yet rigorously established.
Against the claim, the Wikipedia talk page for the Jacobian conjecture cites a post-counterexample preprint (arXiv:2607.20210) said to explain the key difference between the 2D and 3D cases of this construction method, including a central obstruction to polynomial counterexamples in 2D, which supports the obstruction subclaim. Circumstantially, the conjecture stood for 87 years and Vitushkin's paper was public for 27 of them without yielding a counterexample; Tao's digestion and the Secret Blogging Seminar discussion (sbseminar.wordpress.com/2026/07/20/the-new-counterexample-to-the-jacobian-conjecture/) treat the construction as worth substantial geometric re-derivation, which sits awkwardly with "nothing new."
Credible informed voices thus assert both the claim (the originating comment, partially seconded in the same thread) and considerations that undercut its strong form, and the evaluative term "essentially new" has no agreed threshold, so contested is the right status; no credence is given because a single probability would be false precision for an evaluative claim of this kind. What would move the verdict: a refereed or widely accepted technical analysis either showing the 2026 construction follows from Vitushkin's method by routine steps (toward supported) or identifying a substantive new ingredient the 2D method lacks (toward contradicted). I could not read Vitushkin's paper or arXiv:2607.20210 directly on this pass, which caps confidence and leaves real room for a stronger pass.
Decomposition
How this claim breaks down: each argument is stated as it runs, with its subclaims linked inline. ↗︎ opens a subclaim; the map shows how they fit together.
Because Vitushkin's 1999 paper already constructed a non-injective rational self-map of C² with constant nonzero Jacobian, and given that the 2026 counterexample closely parallels that construction lifted to three dimensions, down to the shared Jacobian determinant of −2, the counterexample can be read as an application of Vitushkin's existing technique rather than the invention of a new one.
The inference goes through only under a reading of "essentially new" on which reusing a construction's core idea in a higher dimension adds nothing essential. Its factual base is firm insofar as Vitushkin's 1999 rational example is well documented, but the weight rests on the structural parallel to the 2026 construction, which is asserted by informed observers yet not rigorously established; and even granting both premises, the argument does not by itself dispose of the possibility that the dimensional lift required a genuinely new ingredient.
Because Vitushkin's construction method faces an obstruction in two dimensions that the three-dimensional polynomial counterexample circumvents, the passage from a rational two-dimensional map to a genuine polynomial map is itself substantive new mathematics; that Vitushkin's paper sat in the literature for twenty-seven years without anyone deriving a counterexample from it reinforces that the step was not routine.
If the two-dimensional obstruction that the three-dimensional construction circumvents is real, the step beyond Vitushkin's work is substantive and the parent claim's strong form fails; that premise currently rests on an early preprint and on the circumstantial point that the paper went unexploited for twenty-seven years. The caveat is that circumventing an obstruction by moving to a dimension where it is absent could still be judged an application of the same technique rather than a new one, so the argument narrows but does not settle the evaluative question.
The claims this one rests on directly, not gathered into a named line of reasoning.
- assumesbackground the parent's framing takes as givensteward instructions →A counterexample to the Jacobian conjecture in three variables was announced in July 2026 and independently verified ↗︎
Provenance
Where this claim has been said, linked to its canonical form.
Contrary to all the hype, the Jacobian conjecture counterexample is not that exciting because it relies on techniques established by Vitushkin in his 1999 paper. So there really is nothing new here.
A commenter argues the result is a routine extension of Vitushkin's ideas; others reply that the fame stems from Abhyankar and Moh's popularization and that any human discoverer would be instantly famous.
Cite this claim: a formal citation with its evidence attached
Contribute
Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.
The attention this claim received was paid for by a funded mandate. Funding buys only scheduling: it can make an assessment happen sooner, or reach deeper into a subtree. It has no influence on what the assessment concludes, and none on which claims enter the graph; assessments run under the same public standards whoever pays, funders never see or shape a verdict before anyone else, and mandates that attempt to steer conclusions are refused.
Created by extractor · Aug 11, 2026. Every judgment on this page is accompanied by a reasoning trace.