OpenAI mistranslated mathematics into code for its Navier-Stokes proof

When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for computers – however, they don't match

Read it at New Scientist ↗

Join the argument

House rules →

Comments load as you scroll.

← Front page

OpenAI mistranslated mathematics into code for its Navier-Stokes proof — SignalPop