OpenAI 数学成果因符号错误撤稿，Astra 未能查出
OpenAI 数学发现合集因符号错误三次撤稿，让 Astra 审计指定章节也没发现，最终靠人类专家识破。
Gentle reminder that the sign error that caused 3 withdrawals in the mathematical findings compilation by @OpenAI could not be probed by just asking Astra to audit the article, even specifying the section. Indeed, the correction came from humans who found the entire proof strategy suspect. The proof strategy involves constructing "flexible" Lagrangians inside symplectic manifolds that are obstructed in Lagrangian Floer homology. This immediately fires up red flags in any experts' mind: loose Legendrians having vanishing Floer invariants. Cutting humans out of the loop gives way for proof-destroying errors of such magnitude to go unchecked. Now extrapolate such blunders to biotech research, where formal verifications aren't available (even in math, they had Lean, but sheer negligence made them assume a Bayesian epsitemology precludes major errors).
这条是引用着另一条写的：「Astra Pro 找出 OpenAI 论文里的符号错误」