Zuxin Liu
@LiuZuxin
Post-training frontiers @OpenAI, PhD @CarnegieMellon | Automating myself…
Joined February 2017
967 Following 3.6K Followers
Most ASI-pilled week yet.
Two years ago, high-school olympiad math felt impressive. A year ago, it was IMO gold. Today, we might actually need MillenniumBench.
What on earth happens next year?
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Show more
