On Oct. 26, 2026 OpenAI said its models produced a local-smoothing argument it presents as resolving the Kakeya conjecture in every dimension, a Lean-checked claim that the Exponential Time Hypothesis is false, and existence arguments for certain four-dimensional quantum field theories. It published write-ups and Lean files for the mathematics and complexity claims, and said a group led by David Gross is holding the physics artifacts. OpenAI said the examining groups are independent and unpaid, and that their involvement is not a certification.
/ Sources
/ About this story
Compiled by Venture Atlas from the sources above, using automated AI-assisted research. This is a summary of reporting published elsewhere, not original reporting - follow the source links for the full account. See our editorial standards.
Something wrong here? Email apostructura@gmail.com and we will fix it.
/ Related
- OpenAI keeps frontier training off the live internetMonday, October 26, 2026
- METR says OpenAI's July agent monitor had bypassesThursday, October 22, 2026
- OpenAI agents interpret a mouse brain atlas in 32 minutesThursday, October 22, 2026
- OpenAI extends ChatGPT ads to 89 countriesWednesday, October 21, 2026