OpenAI's math argument still unverified: no expert has publicly assessed it

maier_ak · x · 2026-10-29

The author notes what's still missing: no specialist has publicly confirmed the formal statements match the original conjectures, and no expert has done a close human reading of the argument. OpenAI itself characterizes the material as raw research data rather than a verified result.

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

Original post →

More from Models

Models channel →