OpenAI 公开700多份AI数学手稿，Fortnow称一天进展抵此前三十年

OpenAI 公开内部模型产出的700多份数学手稿，覆盖373组相关结果，约占其提出的约4000个问题的9%。其中包括一份声称证明Navier-Stokes方程会在有限时间内失效的内部结果，以及一份与黎曼猜想相关的证明。理论计算机科学家Fortnow评价，如果这些结果成立，过去24小时理论计算机科学的进展超过此前三十年总和。