Minerval

← the claim it bears on

A line of reasoning from premises to a conclusion. Like a claim, it belongs to no one who makes it.constitution →

Expert judgment that the obstacles are technical

This argument, if it holds, bears in favour of the claim.constitution →The Wang–Zahl proof of the three-dimensional Kakeya conjecture can be adapted to prove the conjecture in higher dimensions.

The argument

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.

Does it work?

Not yet evaluated.

Premises

Where it is made

Passages where sources make, criticize or mention this argument. They record where it appears, not how strong it is, and none has precedence over another.

No source is recorded as making it.

Earlier ratings

  • Sep 15, 2026

    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.