Skip to content
Today
Sections

Person

Diego Córdoba

Spanish mathematician at Madrid's ICMAT working on PDEs and fluid dynamics, known for results on singularities in water-wave and quasi-geostrophic equations.

Known aliases

  • Diego Cordoba

Current stories

investConfirmed9 publishers

OpenAI's 88-hour Navier-Stokes run leaves provenance in the vendor's own logs

The theorem was checked in Lean, more than most capability claims get, but the part that moves a valuation, that very little human input went in, rests on prompt timestamps and a training-data question that went unanswered.

Publishers:cnbc.com cryptopolitan.com cryptoslate.com decrypt.co fortune.com indianexpress.com pivotnews.ai qz.com semafor.com

Perspective Coverage

9 publishers
Builder
Builder 34%
Operator
Operator 27%
Investor
Investor 39%

Reality

Evidence55
Adoption
Not scored
Hype gap+35
Incentives75
Confidence50
scienceConfirmed7 publishers

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.news livescience.com newscientist.com phys.org quantamagazine.org sciencenews.org scientificamerican.com

Perspective Coverage

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

Reality

Evidence60
Adoption
Not scored
Hype gap+40
Incentives70
Confidence58
leadershipConfirmed5 publishers

OpenAI's Navier-Stokes claim sparks dispute over whether mathematicians' data was accessed

OpenAI says no specific user data was accessed to solve the problem, and that it cannot rule out that de-identified data derived from two mathematicians' use of its products improved its models. A procurement team has to read both sentences.

Publishers:businessinsider.com entrepreneur.com implicator.ai newscientist.com theguardian.com

Perspective Coverage

5 publishers
Builder
Builder 36%
Operator
Operator 33%
Investor
Investor 31%

Reality

Evidence55
Adoption
Not scored
Hype gap+45
Incentives70
Confidence60
productOne report1 publisher

A Cornell mathematician calls OpenAI's million-dollar math result a marketing device

OpenAI says tens of thousands of agents solved a 90-year-old problem carrying a $1 million prize. The solution still needs independent verification, and a rival pair of mathematicians has a claim on the credit.

Publishers:wired.com

Reality

Evidence40
Adoption45
Hype gap+40
Incentives80
Confidence45