Zuxin Liu
@LiuZuxin
Post-training frontiers @OpenAI, PhD @CarnegieMellon | Automating myself…
加入 February 2017
973 正在关注 3.9K 粉丝
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.
显示更多
