Yu Deng

Mathematician, University of Chicago

Appears in 1 story

Born: June 1989, Shenzhen

Education: Shenzhen Senior High School, Peking University, Massachusetts Institute of Technology

Last updated Nov 2, 2026

Stories

OpenAI claims AI solution to Navier–Stokes Millennium Problem

New Capabilities

As of September 2026: Fields Medal winner (2026) for work on the Boltzmann equation

OpenAI says its AI agents proved that the Navier–Stokes equations—used for two centuries to model liquids and gases—can break down and predict infinite speeds. The company verified the proof in Lean, a formal proof-checking language. The claim carries a $1 million Millennium Prize reward, which OpenAI says it will not collect.

Updated Sep 20