OpenAI model claims 59-page Lean proof of local smoothing and Kakeya in every dimension

maier_ak · x · 2026-10-29

A 59-page manuscript authored by an unnamed OpenAI model claims a proof of Sogge's local smoothing conjecture in every dimension, implying Bochner-Riesz, spherical restriction, and Kakeya. Kakeya in 3D was only settled in 2025 by Wang and Zahl.

Related event: OpenAI Model Reportedly Proves Kakeya and Related Conjectures in Lean, Awaiting Expert Review(5 posts)→

Original post →

More from Models

Models channel →