Live page · Day archive

OpenAI mistranslated mathematics into code for its Navier-Stokes proof

Read the original at Hacker News

Summary

OpenAI produced two mismatched versions of its Navier-Stokes proof, one for humans and one for computers, after mistranslating mathematics into code.

Carried by: Hacker News. First seen: .