The jump from two to three dimensions is the hardest step in resolving the Kakeya conjecture in all dimensions.
Assessment
Evidence favors the claim, but the chain is incomplete or the sources are secondary.
The claim is a forecast about mathematics rather than a result: it ranks the step from two to three dimensions, completed by Hong Wang and Joshua Zahl in 2025, above every step still to come in dimensions four and higher. The historical asymmetry is stark. The two-dimensional case was settled by Davies in 1971 with elementary tools, while the three-dimensional case resisted five decades of effort by the field's strongest analysts and fell only to a 127-page argument built on new ideas: the sticky Kakeya theorem, a structure theorem for arrangements of convex sets, and a delicate induction on scales. Whether the remaining steps are smaller depends on whether that framework carries over, which is what the remaining obstacles being primarily technical rather than fundamental and the proof being adaptable to higher dimensions would establish.
The people best placed to judge lean toward the claim, with hedges. Larry Guth, in March 2025, said new difficulties would arise but that he thought the jump from two to three dimensions was the hardest; Terence Tao, in the same weeks, described the obstacles to higher dimensions as primarily technical rather than fundamental, while warning of possible unfavourable surprises in the exponent numerology. No expert has asserted the opposite ranking. But the same experts have since stressed how much remains unknown. Guth's own May 2025 introduction to the proof says that no one yet knows how to generalize the work, and that the reformulation higher dimensions require is a significant issue and not a technical modification of the three-dimensional argument. The concrete reason is that the convex Wolff axioms statement Wang and Zahl actually prove is false in dimensions four and above: tubes can pack into the neighbourhood of a ruled quadric hypersurface without concentrating in any convex set, so the higher-dimensional argument must be rebuilt around semi-algebraic sets, with curved grains and an induction hypothesis nobody has yet written down. Zahl's December 2025 survey adds that the situation worsens as the dimension grows, since the ruled varieties multiply.
On balance the claim is more likely right than wrong: the three-dimensional proof supplied the organizing ideas, and the expectation among those who understand it is that higher dimensions will be reached by elaborating them rather than by a second breakthrough of the same magnitude. But this rests on expert forecast alone, no extension has appeared in the eighteen months since the proof, and the sole affirmation on record was made by an expert who has since written more cautiously. A proof of the four-dimensional case built on the Wang–Zahl framework would largely confirm the claim; a decade of stalled attempts, or a higher-dimensional near-miss the multiscale method cannot exclude, would tell against it.
Full reasoning: the evidence and decisions behind this verdict
The claim is evaluative and predictive, so the assessment rests on the weight and convergence of expert opinion together with the mathematical facts that bear on whether the higher-dimensional steps can reuse the three-dimensional framework.
Instances. The only recorded instance is Larry Guth's view as reported by Joseph Howlett in Quanta Magazine on 14 March 2025 (www.quantamagazine.org/once-in-a-century-proof-settles-maths-kakeya-conjecture-20250314/): in indirect speech, that new difficulties will arise but that the jump from two dimensions to three was the hardest and that the proof can likely be adapted to the four-dimensional tower and beyond. The stored text was read whole; the passage is present verbatim and carries no argument, so it is an expert forecast asserted without evidence in that source. No source read in this pass asserts the negation.
Convergent expert opinion. Terence Tao's 25 February 2025 blog post (terrytao.wordpress.com/2025/02/25/the-three-dimensional-kakeya-conjecture-after-wang-and-zahl/) was read; in the comment thread, as surfaced by search, Tao says the obstructions he sees to extending to higher dimensions are primarily technical in nature rather than fundamental obstacles, with a warning about possible nasty surprises in the exponent numerology. This is not an assertion of the difficulty ranking itself, so it is not recorded as an instance, but it is the strongest independent support for the crux subclaim that the remaining obstacles are primarily technical rather than fundamental.
Countervailing expert caution. Guth's own "Introduction to the proof of the Kakeya conjecture" of 12 May 2025 (arxiv.org/html/2505.07695v1), read whole, devotes a section to higher dimensions: no one knows yet how to generalize the work; the whole discussion rests on the convex Wolff axioms, whose Kakeya analogue is false in dimension at least four (the O(2,2)-symmetric quadric x1^2+x2^2-x3^2-x4^2=1, whose delta-neighbourhood contains delta^{-3} tubes with multiplicity delta^{-1} but bounded density in every convex set); and replacing convex sets by semi-algebraic sets "is a significant issue and is not just a technical modification of the 3-dimensional proof." Zahl's survey of 10 December 2025 (arxiv.org/html/2512.09397), read in its higher-dimensional sections, gives the same construction with ad-bc=1, states that the Wang–Zahl theorem is false in dimension n at least 4, notes that matters become worse in higher dimensions as the number and complexity of infinitely ruled surfaces increases, and proposes the polynomial Wolff axioms as the salvage; it takes no position on the difficulty ranking. Guth's Bourbaki survey (April 2026) was not opened this pass. These sources ground the against argument through the failure of the convex Wolff axioms version in dimensions four and above.
Weighing. The for argument is the field's working expectation, expressed by two of its leading figures within weeks of the proof, and it is consistent with the historical shape of the problem (two dimensions elementary, three dimensions a fifty-year effort culminating in a new framework). Neither Guth's later caution nor Zahl's obstruction asserts that the higher-dimensional steps will be harder than the three-dimensional one; they establish that those steps are not routine and that their difficulty is presently unknown. The obstruction is real and concrete, but a viable route around it is known in outline (direction-separated tubes satisfy the polynomial Wolff axioms in every dimension, so the reformulated conjecture would still imply Kakeya), which is why the sibling adaptability claim stands as supported rather than contested. The status "supported" reflects that credible expert argument favours the claim, that no credible party denies it, and that the evidence is entirely indirect. Confidence 0.6: the alternative reading is "unsupported", on the ground that expert forecast about future mathematics is thin evidence, and the choice between the two is close; "contested" was rejected because no one asserts the opposite ranking. No credence is given: "hardest step" is an evaluative comparison among steps not yet taken, and a single number would be false precision, though the assessment states that the claim is more likely right than wrong.
What would change the verdict. A four-dimensional proof built on the Wang–Zahl framework would move the claim toward verified; a proof requiring ideas of a wholly new kind, or an extended period of stalled attempts with identified near-misses under the polynomial Wolff axioms, would move it toward contradicted. A leading expert asserting that four dimensions is the harder step would move it to contested.
Tool note: the arXiv PDF of Guth's introduction could not be fetched (encoding failure); the arXiv HTML rendering was read instead. The stored copy of Tao's post omits its comment thread, so Tao's remark is taken from a search excerpt of that thread rather than from the stored text.
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.
Two dimensions were settled by Davies in 1971 with elementary tools, while three dimensions resisted every approach for over fifty years until Wang and Zahl built a new multiscale framework of sticky Kakeya, a structure theorem for convex sets, and induction on scales. If the remaining obstacles beyond three dimensions are primarily technical rather than fundamental, and if in consequence the Wang–Zahl proof can be adapted to prove the conjecture in higher dimensions, then the conceptual breakthrough was the three-dimensional one and each later step is an elaboration of it, so the jump from two to three dimensions was the hardest.
Granting its premises, the inference goes through: if higher dimensions need only technical elaboration of the three-dimensional framework, the conceptual leap was the three-dimensional one. The caveat is that "technical" work can still be enormous, so the argument establishes the ranking only if the elaboration is also smaller in scale than the fifty-year effort it builds on. Its weight rests on the obstacles being primarily technical rather than fundamental, which is asserted by Tao and qualified by Guth's later survey, and on the proof being adaptable to higher dimensions, which stands as supported on expert forecast alone.
The theorem Wang and Zahl actually prove is that tubes in three dimensions satisfying the convex Wolff axioms have bounded multiplicity, and the whole argument, its grains, its structure theorem, and its case analysis, is built on convex sets. Because that convex Wolff axioms statement is false in dimensions four and above, where tubes can cluster in the neighbourhood of a ruled quadric hypersurface without clustering in any convex set, the higher-dimensional steps demand a reformulation in semi-algebraic terms, with curved grains and an unknown induction hypothesis, and the number and complexity of such ruled varieties grows with the dimension; a step that requires replacing the framework's basic objects is not obviously easier than the step that created the framework.
The premise is established by explicit construction, and the inference that higher dimensions cannot simply repeat the three-dimensional argument follows from it. What the argument does not show is that the reformulation will be harder than the original breakthrough: a route around the obstruction is known in outline, since direction-separated tubes satisfy the polynomial Wolff axioms in every dimension, so the argument weakens the case for the claim without establishing its negation. It rests entirely on the failure of the convex Wolff axioms version in dimensions four and above, which is not in doubt; the open question is how much that failure costs.
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 Kakeya set conjecture remains open in dimensions four and higher. ↗︎
- 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. ↗︎ · shared subclaim
Provenance
Where this claim has been said, linked to its canonical form.
The claim's single recorded assertion is Larry Guth's opinion as reported in indirect speech by Quanta Magazine in March 2025, offered without argument and paired with the caveat that new difficulties will arise. Guth's own May 2025 introduction to the proof, and Joshua Zahl's December 2025 survey, were read directly and are more guarded: both explain that the statement Wang and Zahl prove fails from dimension four onward and that no one yet knows how to generalize the work. A reader should weigh the Quanta remark as one expert's early forecast, later qualified by that expert in his own writing, rather than as a documented finding.
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.
Joseph Howlett's Quanta report on the Wang–Zahl proof, closing section on the open four-dimensional conjecture and the tower of conjectures above it; Guth's view reported in indirect speech, not direct quotation.
Asserted without evidence of the source's own. The Quanta feature reports Guth's opinion in indirect speech, paired with the caveat that new difficulties will arise. It offers no argument for the ranking: the remark is an expert's forecast given within weeks of the proof, not a finding the article documents.
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 24, 2026. Every judgment on this page is accompanied by a reasoning trace.