Yhn SportBasketball first seen 2 d ago, last 23 min ago, peak #10
OpenAI reportedly mistranslated Navier-Stokes proof mathematics into code
Original: OpenAI mistranslated mathematics into code for its Navier-Stokes proof
A report says OpenAI made errors when converting the mathematics behind its claimed proof related to the Navier-Stokes equations into computer code, casting doubt on the verification of the result. The Navier-Stokes problem is one of mathematics' famous Millennium Prize problems, so any AI-assisted attempt attracts intense scrutiny. Commenters are debating whether the flaw undermines the proof or merely reflects challenges in formalising deep mathematics with AI tools.
Why now: Claims of AI-assisted progress on a Millennium Prize problem draw heavy scrutiny, and an error in the code undermines confidence in the proof.
OpenAINavier-Stokes equationsClay Mathematics Institute
Rank over time, top of the chart is #1. 37 snapshots from 2 d ago to 23 min ago.
Evidence
- OpenAI mistranslated mathematics into code for its Navier-Stokes proof · danielmorozoff · 57
API: https://socialmediatrends-api.osmike.com/v1/trends/1661978