OpenAI Claims Three Unverified Breakthroughs in Math, Computer Science, and Physics

OpenAI says its AI systems produced new results in three different advanced scientific fields this week — but by its own admission, none of the three has been confirmed yet by outside experts.

Key Points:

• Mathematics: A claimed proof of the "local smoothing conjecture," which OpenAI says would also resolve the Kakeya conjecture and Stein's restriction conjecture

• Computer Science: A claimed disproof of the "Exponential Time Hypothesis," a foundational assumption about computational complexity

• Physics: An existence proof related to Yang-Mills theory, touching one of the seven Millennium Prize Problems (which carry a $1 million reward for verified solutions)

• The math and computer science results have been formalized in Lean, a proof-checking program that verifies mathematical logic step by step; OpenAI has published this material

• The physics claim is being held back while a review team led by Nobel Prize-winning physicist David Gross prepares an explanation

• Multiple outlets covering the story flag that independent verification is still pending

Why It Matters: This tests whether AI can genuinely extend human knowledge, not just summarize it. But "announced" is not "confirmed" — the gap between company claims and third-party verification is widening, which matters for anyone evaluating AI capability claims.