{"id":"openai-math/Local-smoothing-for-the-Euclidean-wave-equation","pdf":"https://github.com/openai/math/blob/main/preprints/Local-smoothing-for-the-Euclidean-wave-equation-October-25-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/Local-smoothing-for-the-Euclidean-wave-equation-October-25-2026","score":0,"title":"Local smoothing for the Euclidean wave equation","domain":"Real and complex analysis","family":"079","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.CA","summary":"OpenAI's October 25 manuscript claims local smoothing in spatial dimension n>=2, with consequences for Kakeya and restriction. The accompanying Lean scope allows arbitrarily small positive Sobolev loss except at p=2 and gives restriction estimates in strict ranges. Released October 26 as raw model output for independent examination; this listing does not assert universal endpoint estimates or independent proof verification.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-25","reactions":{},"formalized":true,"family_title":"Local smoothing for the Euclidean wave equation","formalizations":["https://github.com/openai/math/blob/main/lean/docs/079.md"]}