Any counterexample to the three-dimensional Kakeya conjecture must be a grainy set.
3 events · 1 assessment · 1 decision
Structured and assessed
First pass. Read the Quanta source whole (the extractor's verbatim passage is truncated mid-sentence but present), Guth's arXiv abstract, and the introductions of both Wang–Zahl papers (arXiv 2210.09581 and 2502.17655); the Guth PDF and EMS PDF could not be fetched (encoding failure in the reader tool), so the proof was not checked directly. Decomposition kept minimal for a settled, low-importance claim: minted one new subclaim for Guth's theorem as precisely stated (requires, importance 0.15, left as embedded stub, domain mathematics) after match_claim found it novel; linked the existing claim that the 3D Kakeya conjecture is proved (supports). Did not mint nodes for Bennett–Carbery–Tao planiness or Katz–Łaba–Tao's 1999 near-extremal structure; both are mentioned in prose. Recorded two new affirming instances (Wang–Zahl 2025, Wang–Zahl 2022/JAMS), readings for all three instances, derives_from and cites_as_evidence edges to Guth's paper marked strengthened (hypotheses dropped, conventionally), a shared-authorship relation between the two Wang–Zahl papers, and a material source map noting that all support traces to one primary paper. Updated canonical form to add "three-dimensional" (scope every source assumes) and corrected type from empirical_derived to mathematical. Set domain to mathematics. Importance 0.2, contestation 0.05. Assessed supported (confidence 0.7, credence 0.93, marginal yield 0.3): the result is peer-reviewed and used in the proof of the conjecture, but the slogan omits Guth's hypotheses and the proof was not read; a pass with the full paper could upgrade to verified. No dependents to notify (get_claim_with_context showed none at onboarding; the claim's only structural neighbors are its own new subclaims). No findings noted: the result is what the field already accepts.
Assessed Supported
verdict confidence 0.70 · credence 0.93
The statement is the standard summary of a theorem Larry Guth posted in 2014 and published in 2016, proved with the polynomial method: a small-volume union of tubes in three dimensions, whose points lie in tubes pointing in three quantitatively different directions, clusters at an intermediate scale into thin rectangular slabs called grains. Graininess was one of three structural properties (with planiness and stickiness) that Katz, Łaba and Tao had shown near-extremal Kakeya sets must have, and that the Katz–Tao program conjectured any counterexample to the three-dimensional Kakeya conjecture would have to possess. Guth's theorem extended the graininess property to the full range of hypothetical counterexamples, and Wang and Zahl, in both their 2022 sticky Kakeya paper and their 2025 resolution of the conjecture, state flatly that Guth proved every hypothetical counterexample in three dimensions must be grainy; a variant of his grains decomposition is a building block of their proof. Two qualifications are worth a reader's attention. Guth's theorem, as he states it, carries a non-degeneracy hypothesis and a technical assumption that the slogan omits; the unconditional phrasing is how the specialists summarize the result, and Wang and Zahl's own grains decomposition shows how the property is obtained in the setting that matters, but the slogan is a summary rather than a literal theorem statement. And because the three-dimensional Kakeya conjecture has now been proved, there are no counterexamples at all, so the statement is now vacuously true in three dimensions; its substantive content is historical, describing the structural constraint that made the proof possible. The graininess result does not extend automatically to four or more dimensions, where the conjecture remains open.
Claim entered the graph