Yhn SportBasketball first seen 19 h ago, last 38 min ago, peak #10

OpenAI mistranslated mathematics in Navier-Stokes proof code

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

OpenAI's claimed proof related to the Navier-Stokes equations is under scrutiny after reports that the mathematics was mistranslated when converted into computer code. Critics say the coding errors undermine the validity of the verification, raising questions about whether AI-generated proofs can be trusted without rigorous human checking of the underlying implementation.

Why now: Claims of major progress on the Navier-Stokes millennium prize problem, combined with reported errors, have drawn intense scrutiny from mathematicians and AI observers.

OpenAINavier-Stokes equationsNew Scientist

Open on hn →

Rank over time, top of the chart is #1. 23 snapshots from 19 h ago to 38 min ago.

Evidence

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

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