一如既往，Zvi 对 Navier-Stokes 证明的看法是最棒的。虽然有很多迷雾和困惑，但真正的故事是，OpenAI 甚至只用了不到两周的时间，就训练出了一个在数学能力上远超 Astra 的模型。