BusinessThe briefing
AI-generated illustration
OpenAI announced AI-produced results on local smoothing, the Exponential Time Hypothesis and quantum field theory. Experts are now checking them.
Late on October 26, OpenAI announced three results it says its models produced: a proof of the local smoothing conjecture in every dimension, which would also settle the Kakeya and Stein restriction conjectures; a disproof of the Exponential Time Hypothesis, a widely assumed limit on how fast certain logic problems can be solved; and existence proofs for quantum field theories including quantum chromodynamics.
OpenAI says the math and computer science results were formalized in Lean, a proof checker, and published the AI-written proofs and Lean files on GitHub. External groups will examine them. The computer science group is led by Russell Impagliazzo and Ramamohan Paturi, who proposed the hypothesis, and Ryan Williams of MIT. A physics group led by David Gross will write up that result before materials are released. OpenAI says it does not seek academic credit.
These are claims awaiting independent verification. A Lean proof checks that the formal steps follow, but experts still need to confirm the formal statement matches the conjecture. Al Jazeera and other outlets reported the announcement on October 27.
For engineers, the Exponential Time Hypothesis claim is the one to watch. Many hardness results assume it. If it holds up, some problems believed to need exponential time may have faster algorithms, though turning theory into practical speedups takes much longer.
Treat this as a signal about where frontier models are heading, not as a near-term product change. The careful release process, with outside experts and public proofs, is a model worth expecting from any vendor making big claims.
Follow the external working groups rather than the headlines. Their conclusions will be the real verdict.
Source material behind this briefing. Our practical implications are Ashlr’s interpretation.
This briefing was prepared with AI assistance from the linked sources. The analysis may include interpretation; consult the original sources for complete context. Cover artwork is illustrative.
Anthropic filed its S-1 for an IPO under the ticker ANT. Share count and price are not set yet. Here is what the filing does and does not tell you.
BusinessThe briefing
AI-generated illustration
Bernstein Research estimates only about 35 percent of announced US data center capacity will be built. Multiple sources point to electricity constraints and speculative projects inflating reported demand.
BusinessThe briefing
AI-generated illustration
Anthropic proposed an equity-backed public-benefit fund. Stockholder approval, governance and future distributions remain separate questions.
