Yhn SportBasketball first seen 4 d ago, last 50 min ago, peak #8

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. 4 snapshots from 4 h ago to 50 min ago.

Evidence

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

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