Yhn SportBasketball first seen 2 d ago, last 12 min ago, peak #10
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
OpenAI's claimed proof of the Navier-Stokes problem is under scrutiny after reports that the mathematics was mistranslated into the computer code used to verify it. Critics say the flaw undermines confidence in the result, one of the most high-profile claims in AI-assisted mathematics, and raises questions about how such proofs should be independently checked.
Why now: The reported flaw casts doubt on a major OpenAI claim about AI solving a famous unsolved mathematics problem.
Evidence
- OpenAI mistranslated mathematics into code for its Navier-Stokes proof · danielmorozoff · 57
API: https://socialmediatrends-api.osmike.com/v1/trends/1661978