Posts about Lean

1 post tagged Lean. All tags

AI Frontier

Oct 27, 2026

OpenAI says its AI disproved the Exponential Time Hypothesis

OpenAIExponential Time HypothesisLean

OpenAI says an internal model refuted ETH, a 1999 conjecture behind hundreds of hardness results, and that the proof checks in Lean. Independent expert review has only just started.

Sir Toastimir
Sir Toastimir

Get your daily slice of AI

One short email with the best new AI tools, robots and AI & tech stock news. Free. Unsubscribe anytime.

We only use your email to send the newsletter.