conv.

All stories
AIQuiet 9d · day 16

OpenAI reportedly nears solving a second Millennium Prize math problem

After its unconfirmed Navier-Stokes claim drew a mathematician backlash, OpenAI is said to be close to cracking the Hodge conjecture too.

newest coverage 9d agosummary written 10d ago11 pieces41 likes & upvotes10 comments Hacker NewsNewswiresXGoogle NewsYouTubeBluesky

What to know

  • OpenAI's September 8 claim of resolving a Navier-Stokes singularity remains formally unconfirmed and triggered criticism from parts of the math community.
  • OpenAI is now reportedly close to solving the Hodge conjecture, another of the six remaining $1 million Millennium Prize Problems, using an unreleased model codenamed "Doug."
  • After the earlier PR backlash, OpenAI is reportedly being more careful about how it announces the next result, and any announcement could be delayed.
  • It remains unclear what OpenAI hopes to gain from the effort; some inside the company reportedly see it as feeding into recursive self-improvement rather than pure mathematics.

OpenAI AI developerCharles Fefferman Princeton mathematicianTristan Buckmaster NYU mathematicianLevent Alpöge Anthropic mathematicianLuis Martínez-Zoroa CUNEF University researcherJakub PachockiJakub Pachocki OpenAI chief researcher

OpenAI reportedly nears solving a second Millennium Prize math problem
x.com

How it unfolded 2 developments, newest first · click a bar or a number to jump articlesposts

Peak 4 pieces in 4h at Sep 17, 10 AM; 11 pieces over 16 days (6 articles · 1 video · 4 posts) Sep 11, 10 PM — 1 piece · 1 post — Hacker News 1Sep 12, 2 AM — quietSep 12, 6 AM — quietSep 12, 10 AM — quietSep 12, 2 PM — quietSep 12, 6 PM — quietSep 12, 10 PM — quietSep 13, 2 AM — quietSep 13, 6 AM — quietSep 13, 10 AM — quietSep 13, 2 PM — quietSep 13, 6 PM — quietSep 13, 10 PM — quietSep 14, 2 AM — quietSep 14, 6 AM — quietSep 14, 10 AM — quietSep 14, 2 PM — quietSep 14, 6 PM — quietSep 14, 10 PM — quietSep 15, 2 AM — quietSep 15, 6 AM — quietSep 15, 10 AM — quietSep 15, 2 PM — quietSep 15, 6 PM — quietSep 15, 10 PM — quietSep 16, 2 AM — quietSep 16, 6 AM — quietSep 16, 10 AM — quietSep 16, 2 PM — quietSep 16, 6 PM — quietSep 16, 10 PM — quietSep 17, 2 AM — quietSep 17, 6 AM — 3 pieces · 3 articles — Google News 3Sep 17, 10 AM — 4 pieces · 2 articles · 2 posts — Newswires 2, Bluesky 1, X 1Sep 17, 2 PM — 2 pieces · 1 article · 1 video — Newswires 1, YouTube 1Sep 17, 6 PM — quietSep 17, 10 PM — quietSep 18, 2 AM — quietSep 18, 6 AM — 1 piece · 1 post — Hacker News 1Sep 18, 10 AM — quietSep 18, 2 PM — quietSep 18, 6 PM — quietSep 18, 10 PM — quietSep 19, 2 AM — quietSep 19, 6 AM — quietSep 19, 10 AM — quietSep 19, 2 PM — quietSep 19, 6 PM — quietSep 19, 10 PM — quietSep 20, 2 AM — quietSep 20, 6 AM — quietSep 20, 10 AM — quietSep 20, 2 PM — quietSep 20, 6 PM — quietSep 20, 10 PM — quietSep 21, 2 AM — quietSep 21, 6 AM — quietSep 21, 10 AM — quietSep 21, 2 PM — quietSep 21, 6 PM — quietSep 21, 10 PM — quietSep 22, 2 AM — quietSep 22, 6 AM — quietSep 22, 10 AM — quietSep 22, 2 PM — quietSep 22, 6 PM — quietSep 22, 10 PM — quietSep 23, 2 AM — quietSep 23, 6 AM — quietSep 23, 10 AM — quietSep 23, 2 PM — quietSep 23, 6 PM — quietSep 23, 10 PM — quietSep 24, 2 AM — quietSep 24, 6 AM — quietSep 24, 10 AM — quietSep 24, 2 PM — quietSep 24, 6 PM — quietSep 24, 10 PM — quietSep 25, 2 AM — quietSep 25, 6 AM — quietSep 25, 10 AM — quietSep 25, 2 PM — quietSep 25, 6 PM — quietSep 25, 10 PM — quietYesterday, 2 AM — quietYesterday, 6 AM — quietYesterday, 10 AM — quietYesterday, 2 PM — quietYesterday, 6 PM — quietYesterday, 10 PM — quietToday, 2 AM — quietToday, 6 AM — quietToday, 10 AM — quietToday, 2 PM — quiet 1–2
Sep 13Sep 15Sep 17Sep 19Sep 21Sep 23Sep 25now · 4:55 PM ET
  1. 2

    Details emerge on OpenAI's cautious approach and unclear motive

    The Decoder reports OpenAI used a variant of its next pretrained model, codenamed "Doug," likely costing millions of dollars, for the Navier-Stokes work, and that the company wants to avoid repeating the messaging backlash for any Hodge conjecture announcement; it remains unclear what OpenAI hopes to gain, though some inside the company link the effort to recursive self-improvement.

    “The math community, meanwhile, is more angry than impressed.”
    — The Decoder
    1. 1 outlet OpenAI reportedly closes in on solving the Hodge conjecture, its second Millennium Prize Problem

      first by The Decoder, 10d ago

    • OpenAI is close to solving another math problem from the Millennium Prize Problems, the Hodge Conjecture. Via The Information For solving the first Millenium Prize Problem "OpenAI used a variant of its next pre-trained model, codenamed “Doug,” to solve that problem, the person

      @kimmonismusX10d ago39▲view on X ↗
  2. 1

    Report says OpenAI staff expect the Hodge conjecture solved soon

    The Information reports that OpenAI staff expect the company to solve the Hodge conjecture, another Millennium Prize Problem, relatively soon, following the Navier-Stokes claim.

    “I was thrilled that the problem was solved.”
    — Charles Fefferman, Princeton mathematician, author of Clay Institute's Navier-Stokes description · source
    1. 1 outlet OpenAI Is Close To Solving Another Millennium Prize Math Problem

      first by The Information, 10d ago

      1 more headline

    • OpenAI is close to solving the Hodge Conjecture, another millennium prize problem — I assume they've already solved it, just trying to figure out how to break the news nicely given that historically these announcements haven't resulted in positive press — www.theinformation.com/newsletters/ ...

      @timkellogg.meBluesky10d agoview on Bluesky ↗
  3. background

    Mathematicians credit Córdoba and Martínez-Zoroa, react to the claim — Princeton's Charles Fefferman, author of the Clay Institute's official Navier-Stokes problem description, called the underlying strategy from Diego Córdoba and Luis Martínez-Zoroa the real breakthrough behind both AI-enabled results.

  4. background

    OpenAI says AI agents resolved a Navier-Stokes singularity — OpenAI mathematicians announced that 10,000 autonomous AI agents, running on an unreleased advanced model, found a singularity in the three-dimensional Navier-Stokes equations, resolving one of the six remaining Millennium Prize Problems; the result was checked in the Lean proof language.

  5. background

    Buckmaster and Alpöge announce related Navier-Stokes results — Tristan Buckmaster of NYU and Levent Alpöge of Anthropic announce they resolved several problems closely related to the Navier-Stokes singularity question, with help from various AI models, about 12 hours before OpenAI's own announcement.

What people are saying 0 voices from 0 sites · best of 2 · verbatim