{"version":1,"type":"story","url":"https://digestai.news/story/openai-claims-ai-models-prove-1991-math-conjecture-in-all-dimensions","json":"https://digestai.news/story/openai-claims-ai-models-prove-1991-math-conjecture-in-all-dimensions.json","markdown":"https://digestai.news/story/openai-claims-ai-models-prove-1991-math-conjecture-in-all-dimensions.md","slug":"openai-claims-ai-models-prove-1991-math-conjecture-in-all-dimensions","headline":"OpenAI claims AI models prove 1991 math conjecture in all dimensions","summary":"OpenAI announced on October 26, 2026, that its AI models proved the **local smoothing conjecture**, an unsolved math problem since 1991. The company says the proof also resolves the **Kakeya conjecture** and **Stein’s restriction conjecture** across all dimensions. OpenAI’s models generated the proof on October 18, which was formalized in **Lean**, a theorem prover, and published on GitHub alongside a human-readable explanation.\n\nThe breakthrough relies on a new **partial differential equation** introduced by OpenAI. While prior progress addressed specific cases—like the 2D local smoothing proof in 2019 and the 3D Kakeya conjecture in 2025—this marks the first time all dimensions were resolved simultaneously. The Lean formalization shifts scrutiny from AI errors to whether the proof aligns with mathematicians’ original intent. Over **700 AI-generated math preprints** accompanied the announcement, though the conjecture’s proof stands out for its potential impact on harmonic analysis and Fourier theory.","keyPoints":["OpenAI claims its models proved the **local smoothing conjecture** (1991) and linked conjectures in all dimensions using a new PDE","Proof was generated on **October 18, 2026**, formalized in **Lean**, and published on **GitHub** with a natural-language summary","Over **700 AI-generated math preprints** were released alongside, but the conjecture’s proof is the most significant claim"],"whyItMatters":"A machine-generated proof of long-standing conjectures could accelerate trust in AI’s mathematical reasoning, though experts must verify the formalization’s alignment with original problems. The work may redefine how AI contributes to pure math and inspire further formalized breakthroughs.","category":{"slug":"research","name":"Research","url":"https://digestai.news/category/research"},"entities":{"companies":["OpenAI"],"models":[],"people":["Christopher Sogge"]},"firstPublishedAt":"2026-10-26T14:49:00Z","updatedAt":"2026-10-26T22:17:01Z","sourceCount":2,"hasPrimarySource":false,"sources":[{"outlet":"cryptobriefing.com","title":"OpenAI says its models proved the local smoothing conjecture in every dimension","url":"https://cryptobriefing.com/openai-proves-local-smoothing-conjecture","publishedAt":"2026-10-26T14:49:00Z","type":"press","primary":false,"lead":true},{"outlet":"Unite.AI","title":"OpenAI Says Its Models Produced Three Proofs in Math, CS, and Physics","url":"https://unite.ai/openai-says-its-models-produced-three-proofs-in-math-cs-and-physics","publishedAt":"2026-10-26T22:17:01Z","type":"press","primary":false,"lead":false}],"sourceNotes":null,"discussions":[],"thread":null,"cite":{"text":"Digest AI, \"OpenAI claims AI models prove 1991 math conjecture in all dimensions\", 26 October 2026, https://digestai.news/story/openai-claims-ai-models-prove-1991-math-conjecture-in-all-dimensions","publisher":"Digest AI","title":"OpenAI claims AI models prove 1991 math conjecture in all dimensions","datePublished":"2026-10-26T14:49:00Z","url":"https://digestai.news/story/openai-claims-ai-models-prove-1991-math-conjecture-in-all-dimensions"},"generatedBy":"Written by Digest AI's editorial model from the linked sources; the sources are the record.","license":"Headlines, digests and key points are written by Digest AI and may be quoted with a link to the story page. Linked articles belong to their publishers. Terms: https://digestai.news/terms#reuse"}