数学家指控 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 强调，如果属实，这绝非一般的署名纠纷。圈内对此也有反驳声音，有人认为指控毫无根据，事件仍在发酵中。
所属事件:数学家 Thom 指控 OpenAI 用其未发表研究训练 Astra，OpenAI 否认(9 条相关)→
「公司和人」频道最新
- OpenAI DevDay 巴黎社区黑客松开锣，社区开发者担任评委 — paw_lean · 2026-10-26
- 李开复新书《AI Native》上市：论企业如何成为 AI 原生公司 — kaifulee · 2026-10-26
- Lanyon AI 宣布 11 月起开放预发布版，旧金山芝加哥同步公开演示 — CatAstro_Piyush · 2026-10-26
- 评论员称印度人不擅营销,暗讽 Google RSI 表态争议 — vishalmisra · 2026-10-26
- Foursquare 创始人 Dennis Crowley 将在纽约谈城市行走 AI 应用 BeeBot — smtabatabaie · 2026-10-26
- Diamandis 盘点：SpaceX AI 业务年增 830%，Claude 64 小时设计 31.8 万抗毒蛋白 — PeterDiamandis · 2026-10-26