OpenAI NS方程的瓜，简单整理了一下🌐 链接:

Buckmaster 原文：https://cims.nyu.edu/~tristanb/statement.pdf 目前仅有 Buckmaster 的陈述，按照他的陈述，事情是这样发展的： ① 8月：两人取得突破，正在整理、尚未公开发表。 Buckmaster (纽约大学正教授) 与 Alpöge (Anthropic数学家) 用 OpenAI、Anthropic 两家公司的模型推进前人的一个冷门研究路线，8月15日取得光滑外力下的 Euler 等结果，22日通过 Lean 验证 此研究是私人合作，不是…