Back to News

OpenAI staff expect Hodge Conjecture solved soon after Navier-Stokes work

#openai#hodge-conjecture#navier-stokes#millennium-prize

According to The Information, OpenAI staff expect the Hodge Conjecture, one of the Millennium Prize Problems, to be solved relatively soon, following their earlier work on the Navier-Stokes equations. This comes after mathematicians accused the company of stealing their thunder for solving an ultra-difficult math problem earlier this month.

Coverage timeline

  1. Techmeme
    Source: OpenAI staff expect the Hodge Conjecture, a Millennium Prize Problem, to be solved relatively soon, after solving the Navier-Stokes equations (Stephanie Palazzolo/The Information)

    Stephanie Palazzolo / The Information : Source: OpenAI staff expect the Hodge Conjecture, a Millennium Prize Problem, to be solved relatively soon, after solving the Navier-Stokes equations — Remember when OpenAI landed in hot water earlier this month after mathematicians accused the company of trying to steal their thunder for solving an ultra-difficult math problem?

Related stories

  • OpenAI forms independent math advisory group for AI results

    OpenAI announced it is working with an independent Advisory Group on Mathematics and Artificial Intelligence (AGMAI) to guide the review and communication of emerging AI mathematical results. The group will advise on the evaluation and publication of internal models' results, including over 100 claimed solved open problems, though the group won't have authority to slow or redirect research. The move follows a reputational crisis over OpenAI's mathematical results and caught many mathematicians by surprise.

    4 reports · 4 sources77 points · 67 comments

  • OpenAI claims internal model solved Navier-Stokes Millennium Prize problem in 88 hours

    OpenAI announced that an unreleased next-generation model, described as significantly more capable than GPT-6 Astra, solved the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's Millennium Prize Problems, using about 10,000 concurrent AI agents over 88 hours. The company released a 166-page proof and Lean 4 formal verification code, and said it would forgo the $1 million prize. The announcement has sparked controversy over alleged scooping and data use, with mathematician Tristan Buckmaster disputing OpenAI's account of negotiations.

    7 reports · 5 sources178 points · 179 comments

  • Rumor: Anthropic AI Solved Navier-Stokes? Tao Denies

    A viral rumor claims Anthropic's AI solved the Navier-Stokes existence and smoothness problem, one of the Millennium Prize Problems. The rumor originated from a speculative post by blogger Andrew Curran, following mathematician Terence Tao's thought experiment about AI solving open math problems. Tao has denied having insider information, and no paper or proof has been publicly released.

    2 reports · 2 sources

  • OpenAI denies seeing math prompts, admits possible use of de-identified data

    OpenAI has denied that its researchers or models saw prompts from mathematicians Buckmaster and Alpöge, but stated it cannot rule out that de-identified data from their product use helped improve its models. The denial follows accusations from mathematicians, including Andreas Thom, who publicly questioned the transparency of OpenAI's training data origins and whether researchers can trust the lab with unpublished results.

    5 reports · 3 sources865 points · 813 comments

News updates every hour. Subscribe in your RSS reader to get new stories automatically.

Subscribe