Skip to content
Today
Sign in

Standard

Navier-Stokes Equations

Nineteenth-century governing equations of fluid flow, able to handle viscosity, dissipation and friction, and described in the source as an approximation that treats fluids as continuous.

Sign in to follow

Known aliases

  • Navier-Stokes
  • Navier–Stokes
  • Navier–Stokes equations

Current stories

invest2 publishersConfirmed

Lean proof checks cover about 300 of the 722 math manuscripts OpenAI's unreleased model produced

OpenAI published 722 math manuscripts across 372 result families, all produced by an internal model it has not released. About 300 come with Lean formalizations a machine can check, Crypto Briefing reported, so the rest wait on human reviewers whom one mathematicians' group is urging to stop working with OpenAI.

Publishers:cryptobriefing.comindianexpress.com

Reality

Evidence50
Adoption
Insufficient
Hype gap+35
Incentives70
Confidence50
invest3 publishersConfirmed

OpenAI's unreleased model claims more than 370 math results at about three hours apiece

OpenAI published full or partial solutions to more than 370 open math problems on Tuesday. The company says its unreleased model averaged about three hours of computing on each, according to Fortune, and mathematicians still dispute the results.

Publishers:afr.comdecrypt.cofortune.com

Perspective Coverage

3 publishers
Builder
Builder 48%
Operator
Operator 27%
Investor
Investor 25%

Reality

Evidence40
Adoption
Insufficient
Hype gap+45
Incentives70
Confidence60
science7 publishersConfirmed

Terence Tao says automated proof checking is why the AI labs stopped consulting mathematicians

A proof checker confirmed the steps of OpenAI's Navier-Stokes result within days. The argument now running through mathematics is over who explains the 166 pages and who gets the credit for them.

Publishers:forkast.newslivescience.comnewscientist.comphys.orgquantamagazine.orgsciencenews.orgscientificamerican.com

Perspective Coverage

7 publishers
Builder
Builder 46%
Operator
Operator 33%
Investor
Investor 21%

Reality

Evidence60
Adoption
Insufficient
Hype gap+40
Incentives70
Confidence58