OpenAI Astra 证明非sofic群只花 2000 美元 token,数学家发文激愤呼吁抵制合作
andy_matuschak · x · 2026-10-07
数学家 Tasmin Chu 撰文《Mathematicians need to act》，记录 AI 冲击纯数学圈的真实震动：
- 事件：OpenAI 新模型 Astra 宣布证明 nonsofic group 存在——这是 Gromov 1999 年提出的著名公开问题，数学界 15 年来普遍相信答案但无人能证；同批还宣布 9 项成果，含球堆积新界与多色三角 Ramsey 数的超指数下界。
- 刺眼数字：这些成果的成本约 2000 美元的 token（按 Sol API 价格计）。
- 她的立场：以激烈的檄文口吻呼吁数学家「在可预见的未来不要与 AI 公司合作」。她坦言这毁掉了她的一天，情绪崩塌。
- 语境：2026 年 3 月 UT Austin 还办过专研 sofic 群与 Connes 嵌入问题的会议，该问题与 Gottschalk 猜想、Kaplansky 有限性猜想等实质相关。
Andy Matuschak 附加评论：作为软件工程师他不为编程手艺的贬值惋惜——因为他在意的是结果，AI 让原型更快；但数学不同，他引数学家视角的文章说明为何数学家的痛苦结构不同。引用者 @kamens 则坦言自己的核心技能被商品化后反而更有创造力，追问为何体验不同。
所属事件:OpenAI 一口气发布 372 项数学结果引发两极热议(83 条相关)→
「漫话AGI」频道最新
- 「我们还处在计算极其早期」：直觉远比想象中落后 — cephaloform · 2026-10-08
- 心理学与社科研究者预测:AI 将冲击同行评审与学术发表 — steverathje2 · 2026-10-08
- AI 可反编译重建一切软件,SaaS 护城河还剩什么 — petergyang · 2026-10-08
- Vitalik 警告:AI 加速数学两年内或重创格密码安全性 — StefanoGogioso · 2026-10-08
- MoMath 办 panel:数学家与 Wolfram 对谈 AI 解难题意味着什么 — stevenstrogatz · 2026-10-08
- 前 OpenAI/Anthropic 研究员上节目警告当前形态 AI 的危险 — chemist_slime · 2026-10-08