Yhn SportBasketball first seen 4 d ago, last 1 h ago, peak #9

OpenAI mistranslated mathematics in Navier-Stokes proof code

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

A New Scientist report says OpenAI mistranslated mathematics into code in the computer-assisted proof of the Navier-Stokes equations it has been working on, raising questions about the reliability of the claimed breakthrough. Commenters are debating how serious the error is for AI-assisted mathematics and whether the proof still stands.

Why now: The Navier-Stokes problem is a famous open Millennium Prize problem, so any flaw in a claimed AI-assisted proof draws intense scrutiny.

OpenAINavier-Stokes equationsNew Scientist

Open on hn →

Rank over time, top of the chart is #1. 75 snapshots from 4 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