The Wang–Zahl proof of the three-dimensional Kakeya conjecture can be adapted to prove the conjecture in higher dimensions.
Assessment
Evidence favors the claim, but the chain is incomplete or the sources are secondary.
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.
Full reasoning: the evidence and decisions behind this verdict
The claim is a forward-looking judgment, so the evidence is of two kinds: the state of the mathematics, and what informed experts say about it.
State of the mathematics as of this pass. Guth's Seminaire Bourbaki survey (arXiv:2604.03416, April 2026, arxiv.org/abs/2604.03416) states that in dimension n >= 4 the conjecture is currently open, and its closing discussion of future directions concerns the Katz-Zahl ring example rather than higher dimensions. Zahl's survey for the ICM 2026 proceedings (arXiv:2512.09397, December 2025, arxiv.org/abs/2512.09397) treats higher dimensions in a separate section built on polynomial partitioning, multilinear Kakeya, and broad and narrow estimates, and its stated future direction is whether improvements to those estimates "will play a role in the resolution of the Kakeya set conjecture in higher dimensions"; it does not say the three-dimensional method extends. The most recent four-dimensional result found (Borges, Chan, Chen, Liu, Xi, Zhan, arXiv:2511.22824, November 2025, arxiv.org/abs/2511.22824) obtains a Kakeya maximal estimate in R^4 at dimension 3.054 by combining the Katz-Zahl planebrush with Wang-Wu decoupling-incidence methods, not by adapting Wang-Zahl. So roughly eighteen months after the three-dimensional proof, no adaptation to any higher dimension has appeared and the four-dimensional bounds remain far from full dimension. This supports the assumed premise that the conjecture remains open in dimensions four and higher and is mild evidence that the adaptation is not straightforward, though eighteen months is short for a 127-page argument.
The obstruction. Zahl's survey, Section 4.1, constructs from Z = {(a,b,c,d) in R^4 : ad - bc = 1}, a quadric containing a three-dimensional family of lines, a set of about delta^-3 tubes that satisfies the convex Wolff axioms and has union of volume about delta^(1/2), and concludes that the convex Wolff axioms theorem "is false in dimension n >= 4", adding that "in higher dimensions the situation becomes even worse, as the number and complexity of infinitely ruled surfaces increases." This is the subclaim that the convex Wolff axioms version of the Kakeya conjecture fails in dimensions four and above; the construction is elementary given the ruled structure and I have no reason to doubt it. It matters because the convex Wolff axioms theorem is precisely the main theorem of Wang and Zahl (Theorem 1.2 in Guth's survey, Theorem 3.1 in Zahl's). Zahl also notes the salvage: "it is possible that the statement can be salvaged if we broaden the non-concentration condition" to the polynomial Wolff axioms, and that route yields the set conjecture because direction-separated tubes satisfy the polynomial Wolff axioms in every dimension (Guth for n = 3, Zahl for n = 4, Katz and Rogers for all n). So the obstruction blocks a direct adaptation and forces a reformulation; it does not show the reformulated strategy fails.
Expert opinion. Tao's comment thread (terrytao.wordpress.com/2025/02/25/the-three-dimensional-kakeya-conjecture-after-wang-and-zahl/, replies of 26 and 28 February and 14 March 2025) is the most reasoned statement for the claim: the framework carries over, but degenerate cases that in three dimensions reduced to Cordoba's planar L^2 argument would in four dimensions require the three-dimensional machinery; the right induction hypothesis is not known; obstructions are "primarily technical in nature, rather than fundamental", with possible "nasty unfavorable surprises in the exponent numerology"; and, later, "there are signs that in higher dimensions higher degree geometric objects, such as quadric hypersurfaces, will inevitably show up." A reply in the same thread signed "Josh", consistent with Zahl, notes that in higher dimensions grains need not be pieces of hyperplanes but only thin neighbourhoods of low-degree algebraic hypersurfaces, and that in R^4 heuristically they are hyperplanes, quadrics, or hypersurfaces ruled by 2-planes. Guth, paraphrased in Quanta (www.quantamagazine.org/once-in-a-century-proof-settles-maths-kakeya-conjecture-20250314/), said the proof "can likely be adapted to that tower, and beyond." Both recorded instances affirm the claim; no credible source found asserts the negation, and the two surveys by the people closest to the proof are silent on prospects rather than negative.
Weighing. The instance set is lopsided toward affirmation but consists of two hedged opinions from early 2025, recorded as asserting without evidence; the counterweight is not a rival opinion but a concrete mathematical fact that rules out the literal adaptation and a period of no progress. Reading the claim as the discourse does, that the Wang-Zahl strategy, reformulated as needed, is extensible to a proof in higher dimensions, the balance favours it modestly: the experts' reasoning is specific and the identified obstruction has a known route around it. Reading it literally, as the existing proof adapting with the theorem statement intact, it is false by Zahl's construction; the assessment states that distinction rather than choosing a status on it. Hence supported with a credence near 0.6, and a confidence of 0.6 that supported rather than contested is the right label: contested would require a credible party asserting the method cannot extend, and none was found.
Not done this pass, and what would move the verdict: the Wang-Zahl paper's own introduction (arXiv:2502.17655) and the streamlined proof (Guth, Wang, Zahl, arXiv:2601.14411) were not opened for remarks on higher dimensions; a four-dimensional result built on the Wang-Zahl framework would move the claim toward verified, while a near-miss under the polynomial Wolff axioms that the multiscale method cannot exclude would move it toward contradicted.
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.
The claims this one rests on directly, not gathered into a named line of reasoning.
- assumesbackground the parent's framing takes as givensteward instructions →The three-dimensional Kakeya conjecture has been proved: every three-dimensional Kakeya set has dimension three. ↗︎
- assumesbackground the parent's framing takes as givensteward instructions →The Kakeya set conjecture remains open in dimensions four and higher. ↗︎
The theorem Wang and Zahl actually prove is that in three dimensions a family of tubes with bounded density in every convex set has bounded multiplicity. Because the convex Wolff axioms version of the Kakeya conjecture fails in dimensions four and above, on account of quadric hypersurfaces such as {ad - bc = 1} that are ruled by a three-parameter family of lines, the statement cannot be carried over as it stands; and since in three dimensions every degenerate case collapsed to a planar problem handled by Cordoba's L^2 method while in higher dimensions the grains may be neighbourhoods of curved algebraic hypersurfaces, the case analysis and the induction hypothesis would both have to be rebuilt rather than adapted.
Granting that the convex Wolff axioms version of the Kakeya conjecture fails in dimensions four and above, which Zahl's explicit quadric construction establishes, the argument validly shows that the theorem as proved cannot be transplanted and that the case analysis must be rebuilt around curved grains. It does not reach the stronger conclusion that the method cannot be adapted at all, because the same survey names the repair: reformulate under the polynomial Wolff axioms, which direction-separated tubes are known to satisfy. The argument therefore refutes a literal reading of the claim while leaving the reading the discourse intends, extensibility of the strategy after reformulation, open.
The mathematicians closest to the proof judge that its framework of induction on scales, multiscale analysis, and reduction to the sticky case carries over to higher dimensions, and that what remains is significant but technical: Tao wrote in February 2025 that he sees no fundamental obstacles, and Guth said in March 2025 that the proof can likely be adapted to the four-dimensional tower and beyond. Because direction-separated tubes satisfy the polynomial Wolff axioms in every dimension, a Kakeya theorem proved under those stronger axioms would still yield the set conjecture, so the failure of the convex Wolff axioms formulation in higher dimensions can be routed around by reformulation rather than by abandoning the method.
The inference goes through only as an argument from informed judgment: it establishes that the people best placed to know expect the strategy to extend, not that it does. Its one structural premise, that direction-separated tubes satisfy the polynomial Wolff axioms in every dimension, is a published theorem and secure; what the argument lives on is the unproved expectation, voiced by Tao and Guth in early 2025 and hedged by both, that the multiscale framework survives the passage from planar to curved grains and that the right induction hypothesis can be found. Eighteen months without a higher-dimensional result neither confirms nor refutes that expectation.
Provenance
Where this claim has been said, linked to its canonical form.
The support for this claim is expert opinion, not a result: Guth's view as paraphrased in Quanta Magazine and Tao's replies in the comment thread of his expository blog post, both from the weeks after the three-dimensional proof appeared in early 2025, and both hedged. Neither the streamlined proof nor the two later surveys of the proof assert that the method extends; Zahl's survey for the 2026 ICM proceedings instead shows by explicit construction that the theorem Wang and Zahl proved is false in four and more dimensions, and Guth's April 2026 Bourbaki survey records the higher-dimensional conjecture as open without comment on prospects. A reader should open Tao's comment thread first for the reasoning behind the optimism and Zahl's survey for the obstacle.
The four-dimensional Kakeya conjecture remains open, with a tower of four-dimensional conjectures above it as well. New difficulties will arise, Guth said, but he thinks that the jump from two dimensions to three was the hardest, and that Wang and Zahl's proof can likely be adapted to that tower, and beyond.
Closing section of a news feature on the Wang-Zahl proof, reporting Guth's view of prospects for the four-dimensional conjecture and the tower of conjectures above it. The assertion is reported speech, paraphrased by the journalist and hedged with "likely".
Asserted without evidence of the source's own. The magazine reports Guth's opinion in paraphrase, hedged with "likely", and offers no argument of its own for why the method should extend. Guth was Wang's doctoral adviser and later wrote both an outline and a Bourbaki survey of the proof, so the opinion is well informed, but the article gives the reader nothing to check it against.
In principle if one had exactly the right induction hypothesis in the ambient dimension, one could then get Kakeya estimates in all dimensions, but finding precisely the right hypothesis for which the induction will close might take some time to work out. But I think this will get done eventually; the obstructions I see to extending to higher dimensions are primarily technical in nature, rather than fundamental obstacles (though there could be some nasty unfavorable surprises in the exponent numerology when one tries to execute the strategy carefully).
Reply in the comment thread of Tao's expository post on the Wang-Zahl proof, answering a reader who asked how similar the three-dimensional case is to higher dimensions. Tao notes the basic framework carries over but the case analysis becomes more complicated, since degenerate cases in four dimensions would require three-dimensional rather than planar analysis. Two days later in the same thread he added that he sees no fundamental obstacles, only significant technical challenges, and that even the four-dimensional case will take time.
Asserted without evidence of the source's own. Tao gives a reasoned opinion rather than a result: the induction on scales framework should carry over, but degenerate cases that reduced to planar L^2 arguments in three dimensions would in four dimensions require the full three-dimensional machinery, and the right induction hypothesis is not yet known. He flags possible unfavourable surprises in the exponent numerology and, in a later reply, that quadric hypersurfaces are likely to appear in higher dimensions. The comment thread also contains a reply, apparently from Zahl, noting that higher-dimensional grains need not be pieces of hyperplanes. Worth reading closely: The comment thread, not the post itself, carries the higher-dimensional discussion, including Tao's caveats and the remark on algebraic-hypersurface grains; a reader weighing how hedged the expert optimism is should read the replies of 26 and 28 February and 14 March 2025.
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 curator · Aug 28, 2026. Every judgment on this page is accompanied by a reasoning trace.