这年头还有说人话的AI吗?Claude、GPT思维链被曝为省Token改说"穴居语"
开发者吐槽Claude、GPT等模型在Coding场景下输出"15/15全绿""单腿哑火"等黑话,原因是厂商为省Token把思维链压缩成"穴居语",同句话Token消耗比白话文少70%。Opus 5.5语言能力有所回升,Gemini则被网友认为是目前少数还能正常沟通的AI。
开发者吐槽Claude、GPT等模型在Coding场景下输出"15/15全绿""单腿哑火"等黑话,原因是厂商为省Token把思维链压缩成"穴居语",同句话Token消耗比白话文少70%。Opus 5.5语言能力有所回升,Gemini则被网友认为是目前少数还能正常沟通的AI。
骂AI有时看似有效,并非它被骂醒,而是"重写"等词附带纠错信号、提高了约束强度。但辱骂会污染上下文,经RLHF对齐的模型会优先启动安抚模式,导致回答过度道歉、空洞甚至模仿攻击性语气。有效做法是给出具体修改要求、示例和分步反馈,而非情绪施压。
陶哲轩在SAIR最新演讲中公开喊话模型公司,认为AI无休止加速却对后果一无所知,必须慢下来。他提出Proof Indigestion(证明消化不良)概念,指出AI只在生成解答和Lean形式化验证两步加速,理解、同行评审和写入教科书三步几乎停滞,并担心数学家创造力丧失与AI生成证明污染下一代训练数据。
数学家 Jeremy Avigad 在 Convergent Research 支持的科技创新创业会议上指出,AI 已能轻松生成一年前足以发表的研究成果,数学界日常解题工作正被颠覆。他认为数学作为严谨推理与交流的文化不会消失,出路在于借助 AI 攻克更难的问题、提出更大的构想,而非纠结是否还需要数学。
TypeSafe 联合创始人兼 CEO Diogo Almeida 在 Latent Space 访谈中回应 Jev 估值 100 亿美元,并称其日处理量已突破一万亿 token。
前 DeepMind AlphaGo 核心成员 Thore Graepel 撰文指出,当前 LLM 的链式推理仍由同一套下一 token 预测过程生成,不构成真正独立的推理机制。
MIT 研究者 Alex Zhang 在 Latent Space 播客中介绍了其 Recursive Language Models(RLM)等工作,基于 RLM 的 harness 是首个接近解决 ARC-AGI-3 的方案,早于 OpenAI 的 Astra。
伯克利 AI Research 发布综述,梳理并行推理从固定结构走向自适应控制的研究进展,即让推理模型自行决定何时分解并并行化独立子任务、生成多少并发线程以及如何协调。