DigestAI news desk

Cut through the AI noise.

Listen
Model

Lean news

The latest Lean news, : OpenAI and Anthropic refute Exponential Time Hypothesis with AI proofs.

2 stories mentioning Lean since 22 October 2026, newest first, each with its sources and discussion. Follow to see new ones on your front page.

  1. Research new

    OpenAI and Anthropic refute Exponential Time Hypothesis with AI proofs

    OpenAI’s model identified a proof on October 16, which the company rewrote in the formal language Lean and published on GitHub. The claim demonstrates that counting solutions to SAT problems with fixed-condition sizes…

    1 source
    note.com
  2. Research new

    Harvard mathematicians debate whether OpenAI's claimed Navier-Stokes proof requires human understanding

    In October 2026, Harvard mathematics faculty discussed OpenAI's claim that its internal AI system had addressed parts of the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's…

    7 sources
    observer.co.uknote.comLatent Spacebusinessinsider.com +2 more

Questions about Lean

What is the latest Lean news?

As of 4 November 2026: OpenAI and Anthropic refute Exponential Time Hypothesis with AI proofs. OpenAI’s model identified a proof on October 16, which the company rewrote in the formal language Lean and published on GitHub.

hot Claude Code user reports email leak in User-Agent header new AI side hustles can start for $0 using free tools hot Thinking Machines Lab is raising $5B led by Accel at a $40B valuation, sources say new OpenAI pledges to avoid NDAs and cover electricity costs for data centers after election backlash hot AMD reports Q3 revenue of $13.38 billion, beats estimates, and expects $17 billion in Q4 new OpenAI to acquire Pierre Computer Company, Inc. hot OpenAI adds GPT-6 Sol and Luna models to ChatGPT and Codex new Anthropic launches read-only Personal Finance tool for Claude in the U.S.