Yhn SportBasketball first seen 4 d ago, last 19 min ago, peak #8
OpenAI mistranslated maths in its Navier-Stokes proof
Original: OpenAI mistranslated mathematics into code for its Navier-Stokes proof
A report by New Scientist says OpenAI mistranslated mathematics into code in its claimed proof related to the Navier-Stokes equations, one of the most famous unsolved problems in mathematics. The claim is drawing scrutiny from mathematicians and AI watchers, who are questioning how carefully the company's formal verification efforts were checked before being presented.
Why now: Questions over the reliability of OpenAI's claimed mathematical proof are prompting debate about AI's readiness for serious research work.
OpenAINew ScientistNavier-Stokes equations
Rank over time, top of the chart is #1. 80 snapshots from 4 d ago to 19 min ago.
Evidence
- OpenAI mistranslated mathematics into code for its Navier-Stokes proof · danielmorozoff · 57
API: https://socialmediatrends-api.osmike.com/v1/trends/1661978