We plan to bring eChai across 100 cities in India. It starts with eChai Startup Demo Day on 26 September, all in person. 13 cities confirmed, 826 founders registered. Any city that reaches 20 interested founders is on too. See your city

Founder Notes

Nadeem Jafri on eChai Founder Notes

More Founder Notes

  • Joseph Howlett reported the announcement the same evening, for the magazine that ran the misconduct piece in August. Two things in it are worth carrying. Bubeck gave a press briefing and emphatically denied that Buckmaster and Alpöge's work influenced OpenAI, saying "We did not use their prompt or models or proof", that the model solved the Euler problem by totally different means, and that the Navier-Stokes proof was produced over the weekend; he also granted that the Navier-Stokes route does follow a similar method to theirs. And the proof itself has not been made public for anyone to check. The quotation is Diego Córdoba, who with Luis Martínez-Zoroa opened the route everybody has been arguing about, hearing that it may have been walked to the end without him.

    Diego Córdoba

    We're a little bit in shock... If it's done, that will be a big surprise for us.

  • Curated from X →

    The announcement, from the company's own account. Read it against what is not in it: no link to a proof, no paper, no Lean repository, and no mention of Diego Córdoba and Luis Martínez-Zoroa, whose programme the route belongs to, or of Buckmaster and Alpöge, who published on it that morning. What OpenAI says it has is certified in Lean. What anybody outside the company can read is this post and an illustration of a spiralling, stretching fluid.

    OpenAI OpenAI 28m

    We're sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

    The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

    The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

  • mastodon.social 8 September 2026

    Read it on mastodon.social →

    OpenAI put its account on its own site before posting the announcement below, and this is Buckmaster reading that document twenty-four minutes earlier. The sentence he quotes is OpenAI's own. His statement that morning had said he did not know whether their data was used and that he was not accusing anyone of anything; this is the first thing he has put a question mark on directly.

    Tristan Buckmaster

    "Since August 28 we have been training a new internal model that has exhibited unprecedented performance in our benchmarks, including mathematics. This model's training is ongoing and its performance continues to improve."

    Note that they are openly admitting they used training data from a period after we found our result. Is it ethical to use customer's data to try to scoop their customer?

Every note →

eChai Partner Brands The partnership →