Astra Pro finds a sign error in an OpenAI paper

Stephan Lauermann @s_lauermannOriginally posted 2026.10.08

Open original on 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).

This post quotes another post: “Astra used to check a possibly flawed OpenAI paper”