Story
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
1 report
1 website
1 discussion
Latest report
Overview
OpenAI appears to have made a subtle error when publishing its proofs of the Navier-Stokes problem, a team of mathematicians has claimed. The error doesn’t mean that the proofs are incorrect or that OpenAI hasn’t correctly solved the problem, but it does call into question whether mathematical results generated by AI models can always be relied on. “What has to be done with all of these large lang...
Summary from newscientist.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · newscientist.com
Hacker News discussion ↗
Historical count: 2 · 2 saved in sample · Historical sample
Awaiting analysis