Real and complex analysis·OpenAI Math·Result 074
Kakeya in three and four dimensions
One of the 372 results in OpenAI's public mathematics catalogue, filed under real and complex analysis: 2 preprints, the latest dated 24 September 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and embeds the animation.
What OpenAI claims
Resolves the Kakeya maximal conjecture in three dimensions and the Hausdorff-dimension conjecture in four. In three dimensions, the radius-δ tube maximal operator maps L3(ℝ3) to L3(S2) with norm Oε(δ-ε) for every ε > 0. In four dimensions, every set containing a unit segment in every direction has Hausdorff dimension four.
Papers (2)
The Kakeya maximal conjecture in three dimensions
We prove the Kakeya maximal conjecture in three dimensions. For every ε > 0, the maximal average over unit tubes of radius δ maps L3(ℝ3) to L3(S2) with norm at most Cεδ-ε.
Every four-dimensional Kakeya set has full Hausdorff dimension
We prove the four-dimensional Hausdorff-dimension Kakeya conjecture: every subset of ℝ4 containing a unit line segment in every direction has Hausdorff dimension four. No compactness or regularity assumption is imposed on the set or its witnessing line family.
Status
Preprint. The papers have not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
The video
Kakeya Conjecture in 3D and 4D: OpenAI Claims a Proof · Short · 0:22 · description, sources and transcript →
Related results in Real and complex analysis
- 075The L log L Fourier-convergence conjectureVideoLean
- 076Real ultraflat Littlewood polynomials and unbounded binary merit factorsLean
- 077Fourier restriction for positively curved surfaces
- 078The three-dimensional Bochner–Riesz conjecture
- 079Local smoothing in three dimensions
- 080The exact Sobolev endpoint for Schrödinger convergence