Yhn SportBasketball first seen 5 d ago, last 1 h ago, peak #7

OpenAI mistranslated mathematics in Navier-Stokes proof code

Original: OpenAI mistranslated mathematics into code for its Navier-Stokes proof

OpenAI's claimed work toward the Navier-Stokes Millennium Prize problem is under scrutiny after reports that mathematics in its proof was mistranslated when converted into verification code. The error raises doubts about how rigorously the AI company's formal verification process checked the underlying reasoning, and whether the proof attempt holds up to expert review.

Why now: A claimed breakthrough on one of mathematics' most famous unsolved problems is facing accuracy challenges.

OpenAINavier-Stokes equationsClay Mathematics Institute

Open on hn →

Rank over time, top of the chart is #1. 89 snapshots from 5 d ago to 1 h ago.

Evidence

• OpenAI mistranslated mathematics into code for its Navier-Stokes proof · danielmorozoff · 57

API: https://socialmediatrends-api.osmike.com/v1/trends/1661978