The Wang–Zahl proof of the three-dimensional Kakeya conjecture can be adapted to prove the conjecture in higher dimensions.
3 events · 1 assessment · 1 decision
Structured and assessed after curator split
First pass on a claim split off from the conflated node d8302bf3. Kept the Curator's assumes edge to the verified three-dimensional proof. Searched for post-2025 progress on higher-dimensional Kakeya (four web searches) and read whole: Guth's April 2026 Bourbaki survey (n >= 4 open), Zahl's December 2025 ICM survey (convex Wolff axioms theorem false in n >= 4 via the ad - bc = 1 quadric; polynomial Wolff axioms as the salvage), Tao's February 2025 post and comment thread, the Quanta feature, and the abstract of the November 2025 four-dimensional maximal estimate (3.054, planebrush plus decoupling, not Wang-Zahl). No higher-dimensional adaptation exists as of this pass. Decomposition: two named arguments. For: expert judgment (Tao, Guth) plus a supports edge to the Katz-Rogers theorem that direction-separated tubes satisfy the polynomial Wolff axioms (new, seeded 0.97, importance 0.15). Against: a contradicts edge to the new claim that the convex Wolff axioms Kakeya fails in n >= 4 (seeded 0.95, importance 0.2). Ungrouped assumes edge to the new claim that the conjecture remains open in n >= 4 (seeded 0.97, importance 0.2). All three passed match_claim as novel; the first match_claim call errored on the Matcher side and was retried with a rewording. All three left as deferred stubs by importance; all tagged mathematics. Instances: recorded Guth via Quanta (affirms, 0.75, paraphrased and hedged) and Tao's blog reply (affirms, 0.85). Zahl's and Guth's surveys are not instances: they state the problem is open without taking a side on extensibility. Readings recorded for both instances (asserts_without_evidence); source map written and marked material because the support is entirely early-2025 expert opinion while the co-author's own later survey identifies a concrete obstruction. Verdict: supported, confidence 0.6, credence 0.6. Considered contested but found no credible party asserting the negation; considered unsupported but judged reasoned opinion from the proof's closest experts to be credible evidence for a forward-looking claim. The assessment distinguishes the literal reading (false by Zahl's construction) from the discourse's reading (strategy extensible after reformulation). Marginal yield 0.4: the Wang-Zahl paper's and the streamlined proof's own introductions were not opened for higher-dimensional remarks, and the field could move quickly. Importance revised from the Extractor's 0.5 to 0.3, contestation 0.4. Domains set to mathematics for future passes. Canonical form kept: nineteen words, neutral, direction as the discourse poses it. No dependents, so no notification. The Quanta instance on the sibling claim d8302bf3 is now duplicated here by design, since that source asserts both conjuncts.
Assessed Supported
verdict confidence 0.60 · credence 0.60
Wang and Zahl's 2025 proof settles the Kakeya set conjecture in three dimensions, and the question of whether their method reaches higher dimensions is a prediction about future mathematics rather than a result that can be checked. As of late 2026 no such extension has appeared: the conjecture remains open in every dimension from four upward, the best lower bound on the dimension of a Kakeya set in four dimensions still sits near 3.06, and the most recent four-dimensional results use older planebrush and decoupling methods rather than the new one. The case for the claim rests on the judgment of the people who understand the proof best. Terence Tao, writing in February 2025, expected the induction-on-scales framework to carry over and described the obstacles to higher dimensions as primarily technical rather than fundamental, while warning that the right induction hypothesis was not yet known and that the exponent numerology might hold unfavourable surprises. Larry Guth, quoted in March 2025, thought the jump from two to three dimensions was the hardest and that the proof could likely be adapted to the four-dimensional tower and beyond. Both opinions are hedged, and both were given within weeks of the proof's appearance. The case against is a concrete obstruction rather than a rival opinion. The theorem Wang and Zahl actually prove is that a family of tubes in three dimensions with bounded density in every convex set has bounded multiplicity, and Joshua Zahl's own survey for the 2026 International Congress shows by explicit construction, using the quadric hypersurface {ad - bc = 1} in four dimensions, that this statement is false in dimensions four and above, with matters worsening as the dimension grows. Any adaptation must therefore first be reformulated under the stronger polynomial Wolff axioms, which exclude clustering inside low-degree algebraic hypersurfaces; that route is viable because direction-separated tubes are known to satisfy those axioms in every dimension, but it means the grains at the heart of the argument may be curved algebraic pieces rather than flat slabs, and the case analysis that in three dimensions collapsed to planar estimates would in four dimensions require the whole three-dimensional machinery as a subroutine. Notably, neither Zahl's survey nor Guth's April 2026 Bourbaki survey asserts that the method will extend. On balance the claim is more likely true than not, but only in the sense that the field's leading experts expect the strategy, suitably reformulated, to be the eventual route, not in the sense that a straightforward adaptation exists. What would resolve it is a proof of the four-dimensional case built on the Wang-Zahl framework, or, against it, an identified near-miss under the polynomial Wolff axioms that the multiscale method cannot distinguish from a genuine Kakeya set.
Claim entered the graph