Astra Pro 找出 OpenAI 论文里的符号错误

Stephan Lauermann @s_lauermann原推发布于 2026.10.08

在 X 上打开原推

Interesting: one of the OpenAI papers has an error. It’s a sign error—which is oddly common. Astra Pro finds the error when asked (without further hints) to “Audit lemma 3.6” but not with less focus, eg, Audit Section 3” didn’t work when I tried. It’s interesting because it suggests something about the depth and intensity of the proof and audit workflow by OpenAI (of course, very weakly so).

这条是引用着另一条写的：「Astra 被用来查 OpenAI 论文疑似有误」