When AI Claims a Millennium Problem — and the Credit Fight Begins
中文摘要
OpenAI的AI声称解决了千禧年难题纳维-斯托克斯奇点。引发了机器、人类和竞争实验室之间关于证明完成归属的争议。
English Summary
OpenAI's AI claims to solve a Millennium Problem, the Navier-Stokes singularity. This sparks a credit battle over proof completion between AI, humans, and rival labs.
原文节选
OpenAI’s Astra era, a Navier–Stokes singularity, and the awkward question of who finishes a proof when machines, humans, and rival labs… Continue reading on Medium »