数学家指控 OpenAI Astra 疑用其 20 年未解猜想的对话训练

ctjlewis · x · 2026-09-10

数学家 Valerio Capraro 引述 Andreas Thom 在 Mastodon 上的详细爆料：OpenAI 可能窃取了另一项重大数学证明。Thom 列出多条证据，指 OpenAI 疑似用他与 Gábor Kun 研究 Gromov soficity 猜想的对话训练了 Astra 模型——该猜想正是 OpenAI 随后宣布 Astra 已解决的十大问题之一。Thom 是 sofic 与 hyperlinear 群领域的权威专家，在这个问题上已深耕二十年。Capraro 强调，如果属实，这绝非一般的署名纠纷。圈内对此也有反驳声音，有人认为指控毫无根据，事件仍在发酵中。