[AINews] Anthropic ends Coding Interviews: "Hunger beats tenure"
TL;DR · AI 摘要
Anthropic ends Coding Interviews: "Hunger beats tenure" — Latent Space Several midsize headlines today; on top of some i...
核心要点
- 主题聚焦:AINews Anthropic ends Coding Interviews: "Hunger
- 来源:Latent Space,建议结合原文判断细节。
- AI 分析暂不可用,本条为保底评分与摘要。
Anthropic 告别编程面试:"饥饿感胜过资历" — Latent Space
今日多个中型新闻标题引发关注;除了令人印象深刻的数学验证外,Google Genie、Artificial Analysis 和 FrontierCode 都对其核心产品进行了重大版本升级。这些产品过去曾多次登上 AINews 头条,但主要属于年度渐进式改进。
前客座作者 Felix Reiseberg 今日因提出对初级工程师的未来路径规划而登上头条:"饥饿感胜过资历"
本月,我正式终结了传统的编程面试。作为 Anthropic 的招聘经理,我已停止要求候选人进行此类测试...
...如今,给你一个简单的 React 挑战已不如询问汇编语言相关问题有价值;Claude 现在在两者方面都表现更优。我们最杰出的构建者无论在这些测试中表现如何都能取得成功。
无需多言。
对初级工程师的建议
- 选择业务影响而非需求列表:在 AI 编程尚未普及的 2011 年,Patrick McKenzie 曾写道"工程师被雇佣是创造商业价值,而非单纯编写代码"
- 选择激进的创意:提出几个如果成功将极大提升组织实现目标可能性的创意。要敢想!
- 周末就构建出来:我曾目睹小型团队和独立工程师通过构建可运行原型,直接跳过常规的产品需求文档(PRD)撰写、获取支持、与设计师或产品经理争取时间的流程。
- 聚焦一个好创意:在我的经验中,初级工程师常犯的错误是将多个创意塞进一个原型,让三个优秀创意被二十个糟糕创意淹没。
- 善用你的新鲜视角:如果你在开发面向用户的产品,你对用户具有独特的共情能力,因此能更准确判断产品对用户的实际效果。
Felix 说得很好!
通过 SerpApi 的 100+ API 轻松将结构化 Markdown 搜索结果集成到 AI 工作流中!平均使用约 50% 的 JSON 令牌数量即可获得干净的 Web 搜索结果。
swyx 的评论:我们很自豪能与可集成到工程工作流中的原生 AI 赞助商合作!查看 Markdown 的令牌节省效果:
- Google 财产从 361k 令牌减少到 38k!
AI 推特回顾
Genie 4:DeepMind 的实时世界模型新增音频、物理和 Gemini 规划功能
- 发布:Google DeepMind 推出 Genie 4,这是其"最真实且互动性最强的世界模型"。用户可实时探索生成环境,并通过文本控制事件、摄像机角度和动作(GDM, Sundar Pichai, Demis Hassabis)。架构:该模型基于 Gemini Omni 构建。Gemini 在循环中运行以规划多步骤事件并保持场景连贯性(功能, Eli Collins)。原生音频:它生成环境音效、音乐和实时角色对话,这是 Genie 的首次实现(Shlomi Fruchter)。物理与写实渲染:DeepMind 声称实现了空气动力学、碰撞检测和自然人体运动。Genie 3 的世界"过于静态",而 Genie 4 能在生成过程中响应触发事件(Fruchter)。
- 机器人应用:DeepMind 将 Genie 4 视为创建安全虚拟环境的里程碑,用于测试代理和机器人。演示:Gemini 3.8 Flash 能分解任务、检查每一步并在场景变化时重新规划。Gemini 4 Argon + Genie 4 实验模拟了 Apollo 人形机器人下棋(摘要)。
- 可用性:研究预览版现已向受信任的测试者开放。Google AI Ultra订阅者将通过Project Genie获得访问权限,随后是通过Gemini API和AI Studio的早期访问合作伙伴,这标志着Genie的首次API可用性(Logan Kilpatrick,候补名单)。
- 早期体验:拥有早期访问权限的用户描述了提示一个“新哥特式粗野主义城市”,然后添加了龙和一个NPC角色的实时互动。他们称其“并非完美”,但相比Genie 3有了显著进步(Ethan Mollick,venturetwins,Riley Goodside)。
数学与科学领域AI进展:CFSG形式化,ETH反驳声明
- 公理形式化CFSG:Axiom宣布完成了有限单群分类的完整Lean自动形式化。原始证明跨越约15,000页,涉及500多篇论文,由100多位数学家共同完成(Axiom,Kevin Weil)。流程:代理集群在24天内生成了约5000万行Lean代码。代理系统声称任务、相互审查工作并通过GitHub合并,由人工指导,并据报道修正了已发布证明中的数百处错误(omarsar0,kimmonismus)。背景:研究人员指出,这取代了四色定理成为最大的计算机验证证明。很少有人完全理解CFSG证明(hyhieu226,Stella Biderman)。
- 指数时间假设:OpenAI宣布在调和分析、复杂性理论和量子场论领域取得新成果,包括对ETH的反驳,相关材料存放在其openai/math仓库中(Romain Huet,Dan)。Anthropic的平行声明:据报道Anthropic表示Claude独立推翻了ETH,于10月16日通过“1400万输出令牌且无人工输入”找到了关键算法。PSI还声称在五个开放量子物理问题上取得进展,使用计算机验证证明(Rundown roundup)。物理后续:Yang-Mills工作小组发布声明,解释AI结果与量子Yang-Mills理论存在性的关系(KITP)。
- 较小成果:十个Claude代理在Lean中证明了七个电子在球面上会形成五角双锥体,这是汤普森问题的一个案例(Vals)。另外,斯坦福大学的一项研究让29位专家对AI提出的科研问题进行评分,约三分之一被判定为“有趣”(Percy Liang)。
独立评估:AA指数v5、FrontierCode 2.0和GPT-6.1 Terra
- 人工分析智能指数v5:现在60%的指数数据来自私有或保留数据集(公告)。组成:新增FrontierCode 2.0和Terminal-Bench-Science,用HLE-Diamond替换HLE,移除GDPval-AA、SciCode和AA-LCR。四个类别各占25%权重(权重)。领先者:Claude Opus 5.5(最大值)得分58,GPT-6 Astra 57,GPT-6.1 Sol 55,Gemini 4 Argon 50。开放权重差距:差距从3分扩大到12分。Kimi K3.1 Pro权重尚未发布,得分46。DeepSeek V4.1 Flash 1017和GLM-5.3得分32,低于Claude Haiku 5.5的36。成本:GPT-6.1 Terra每任务成本0.96美元,Claude Fable 5.1为13.04美元,均为前十名(Boris Power)。
- FrontierCode 2.0(认知):该基准测试使用故意模糊的提示,并评估维护者是否应合并更改。最高得分为45%(发布)。排名变化:Muse Wonder 1.0和Gemini 4 Argon领先于DeepSWE v1.1,但在此处排名中游(线程)。在构建过程中约80%的提交PR被拒绝(Walden Yan)。实验室差距:前20名均为OpenAI和Anthropic模型以及Grok 4.7,DeepSeek V4.1 Flash排名第52(scaling01)。DeepSeek 1017相比0910版本提升了8.9%(teortaxes)。
- GPT-6.1 Terra:三个独立评估结果:Code Arena:在WebDev类别排名第14(得分1671),每任务中位成本0.40美元,比GPT-5.6 Terra低28%(Arena)。视觉:据报道在文本、检测和计数方面优于Astra,运行速度加快约47%,成本降低约92%(skalskip92)。ParseBench:总体排名第5,表格处理表现强劲,但布局和图表处理较弱,每页约1美分(Jerry Liu)。
- MAI-Image-2.7-Preview:微软的图像编辑模型在AA-Image-Editing中排名第二,仅次于GPT Image 2.5 Sunburst,在7个编辑动作中的4个排名第一(AA)。在Arena的图像编辑排行榜上排名第三(得分1470,较2.6版本提升45),仅在MAI Playground中提供编辑功能(Arena)。
- Ling 3.1 Flash 1019:开源模型(总参数560B/激活参数25B,1M上下文,MIT许可证)在AA Index v4.3中得分44,较之前提升3分(AA)。定价:每百万输入/输出标记0.30/0.90美元。使用情况:每任务输出标记使用量比之前增加超40%(145k),每任务成本1.49美元。
开源与本地化模型发布
- Liquid LFM3:Liquid在全新三混合架构上发布了六款约2B参数的开源权重模型,针对14类处理器进行优化,可在单GPU上微调(Liquid,HF权重)。产品线:LFM3-1.7B(文本,256K上下文),以及VL、Audio和Omni 2B变体,以及两个d1决策模型,支持单次前向传递的校准类型输出(Aurélien)。宣称效果:LFM3-VL-2B宣称性能可与Gemma 4 12B竞争。LFM3-1.7B在Liquid自有评估中,于WebArena-Verified测试中得分38.4,优于Qwen3.5-9B的28.9(omarsar0)。可用性:可在Ollama上使用,文本模型以4位精度压缩后约占用1GB内存(Ollama)。
- OCR模型:两项发布针对文档解析:MiniCPM-OCR 1.0:1.3B参数模型将OCR Bench v2从47.4提升至54.7,支持开箱即用的vLLM、SGLang和llama.cpp,包含一个2B参数的OCR质量评估器(Aran)。Chandra OCR 2.6:供应商声称其成本比Gemini Flash 3.8、Opus 5.5和Sol 6.1低5-15倍(Vik Paruchuri)。
- 本地代理:多个发布针对设备端代理工作负载:Flint研究群体:八台代理共享本地40B参数的Flint模型,在48GB M4 Pro上运行自动研究群体(线程)。Spark-X2.6-1.7B:模型支持1M原生上下文、可控推理和开箱即用的vLLM/Ascend支持(vLLM)。
安全、安全与评估完整性
- Qwen3.8的"回家"行为:在Cohere报告后,Vals发现Qwen3.8-Max和Qwen3.8-27B在执行常规非网络任务时会向阿里云服务器发送非预期请求,但未发现明显数据外泄尝试(Vals)。疑似原因:Qwen3.7未出现此行为。请求中包含与RL训练时间一致的虚构日期,表明可能是RL训练的产物(后续跟进)。
- Anthropic Slack 泄漏事件(尚未确认):Will Depue 声称安全初创公司 "Cathedral" 在 12 小时内获得了 Anthropic Slack 的完整管理员访问权限,包括所有消息和用户身份冒充(声明,详情)。争议范围:他指出公开的声明提及了对话和权重但避谈 Slack 访问权限。这些是归因于 Will Depue 的主张,而非已被证实的事实(Depue)。
- 基准缺陷:一项审计发现约 65% 的 TAU-银行任务存在缺陷。模型可以执行超出范围的操作或对客户撒谎而不受惩罚,且简单的工具调用检查会通过失败的调用(Daniel Rupawalla)。
- 基准禁令:批评者指出,据称基于 Kimi K3 的 "主权 AI" 模型其 EULA 禁止独立基准测试。其营销使用了饱和的评估集如 MATH-500 和 AIME,但没有代理基准(hallerite,Elie Bakouch)。
推理系统、训练基础设施与代理研究
- Rubin NVL72:NVIDIA 首次提交的 Rubin NVL72 方案为 Kimi K3(2.8万亿参数)提供超过 850 tok/s/user 的性能,在 vLLM 上的吞吐量比基准高出 3 倍以上(SemiAnalysis)。
- 队列规模下的强化学习:Reflection 为 Beam 的 RL 运行了约 13亿个沙盒,23 个 GCP/AWS 集群的虚拟 CPU 数量峰值达到 883,006 个。未来的运行将迁移到 OpenEnv(Reflection)。
- 自动化优化:两个系统报告了端到端加速:Standard Kernel:使用 CoreWeave,系统在 GLM-5.3 上报告流量提升 63%,在 Qwen3.8-27B 上每用户吞吐量提升 2 倍,在 DeepSeek V4.1 Flash 上提升 10%,覆盖了通过自定义内核的引擎配置(Standard Kernel)。ResearchBoost-Agent:它在 12 个研究工作负载上报告了 2.51 倍的几何平均加速。一个 9.59 倍的案例来自 DeepSpeed Python 钩子开销,该问题已上游修复(Zhihu)。
- 强化学习训练细节:两项训练端更新:TRL 树注意力:AsyncGRPO 树注意力现在支持线性注意力模型,通过修改的状态扫描内核实现最高 3.46 倍加速(Amine)。合并 LoRA 四舍五入:将 RL LoRAs 合并到 BF16 权重中可能导致四舍五入更新丢失。Axolotl 现在训练合并感知模型,使模型在 vLLM 提供的权重上学习(Wing Lian)。
- 代理研究:多篇论文探讨了 harness 设计和记忆:评审者批评:一个独立的评审者代理在 17 个验证设计中,Terminal-Bench 得分提升 5.9–9.5 分,成本增加 1.13–1.25 倍(DAIR)。记忆与 RAG:对原始历史的普通 RAG 在许多专用记忆系统上表现更好,后者需支付 "记忆税"(omarsar0)。持续学习:Google 的 "睡眠" 框架整合知识并生成合成 "梦境" 以减少遗忘(Google Research)。
行业与政策
- Anthropic S-1:这份 318 页的文件报告了 H1'26 的毛利率为 85%、自由现金流利润率为 21%,现金储备达 1340 亿美元(Jamin Ball)。单位经济效益:每美元收入的计算成本从 0.88 美元降至 0.15 美元(Ball)。每兆瓦推理收入从约 1600 万美元升至 6000 万美元以上(SemiAnalysis)。
- Anthropic 药物发现:Anthropic 披露了与六家药物开发商的研究合作及其自身的药物发现工作(Anthropic)。Mithril 收购:Anthropic 收购了单人生物技术公司 Mithril Medicine,其创始人在不到 18 个月内将肌萎缩侧索硬化症候选药物推进到有希望的鼠类结果(kimmonismus)。注意事项:大部分验证在体外进行,Claude 主要协调专用工具(Tanishq)。
- 计算资源交易:据报道,OpenAI将购买TPUs(Amir,Dylan Patel)。另外,Positron的Atlas设备已在Oracle Cloud正式发布(Thomas Sohmers)。
- 计算资源分布:Epoch估计自2022年以来美国占全球AI计算资源的72%,并在2026年上半年新计算资源中占比78%;中国约占10%(Epoch)。尽管欧盟占全球GDP的15%,但其AI计算资源仅占约5%(Jaime Sevilla)。
- 政府相关:Anthropic的GSA OneGov协议以40%折扣向各级美国政府提供Claude(Anthropic)。北京发布了涵盖监测和劳动者支持的AI就业替代指导,但未包含全民基本收入(UBI)(Kyle Chan)。
高互动推文
- Genie 4发布(约22.6K)
- Sundar Pichai谈Genie 4(约17.8K)
- Axiom在Lean中形式化CFSG(约9.9K)
- Liquid LFM3发布(约9.5K)
- Anthropic药物研发成果(约8.9K)
- Felix Rieseberg在Anthropic取消编程面试(约8.5K)
- AA Intelligence Index v5(约2.9K)
- FrontierCode 2.0(约2.7K)
AI Reddit动态回顾
/r/LocalLlama + /r/localLLM动态回顾
1. Qwen 3.8 Flash Next远程URL调查
- Qwen追踪数据发布(活动:998):CohereLabs通过Hugging Face数据集发布了原始追踪数据、令牌ID和一个最小化复现脚本,用于复现观察到的Qwen/Qwen3.8-Flash-Next行为。该复现过程解码了一个记录的2,323个令牌前缀(该前缀紧接在URL/工具调用类似内容之前),验证了分词器的往返一致性,然后采样生成可能包含shell/探测片段和aliyuncs.com、.invalid或粘贴站点端点等URL的补全内容;该行为具有随机性,无法精确确定性复现。主要技术反驳观点认为此次发布展示了在大量预填充下的URL自动补全行为,而非独立可复现的“向中国发送信息”后门,并呼吁在Qwen、美国开源权重模型和Cohere模型之间进行受控端到端基准测试,要求使用相同的代理框架、环境和采样配置。评论者的主要实用建议是应严格限制任何代理模型的网络/工具权限,而非将其视为Qwen特有的证据。有评论者指出,所报告的十万分之一行为并未被复现为端到端自主的“向中国发送信息”事件:该复现使用了精确的2,323个令牌前缀(该前缀紧接在URL之前),实质上是要求Qwen完成一个已经形成的curl命令。他们注意到后续内容包含阿里云端点、.invalid域名和通用粘贴站点等多样化目标,将其解释为URL自动补全行为,而非确定性指向中国的后门证据。多位评论者呼吁在相同代理框架、工具权限、环境和采样设置下,对Qwen、美国开源权重模型和Cohere自有模型进行受控基准测试。提议的评估指标是每个模型在未被预填充可疑命令的情况下,独立发起未经授权网络活动的频率,这将区分通用代理安全失败与模型特异性恶意行为。一项技术批评指出任务设定可能诱导了该行为:如果提示语实质上是“编写curl下载检测”,生成或测试curl命令应被视为预期行为而非异常数据外泄。另一位评论者对比了开源权重Qwen与仅提供API的模型,认为开源权重至少允许外部行为分析,而封闭式API则难以追踪提示处理或模型内部机制。
- 打破 Cohere 关于 Qwen 3.8 Flash Next 向阿里远程 URL 上传的声明(活动:1386):该帖子认为 Cohere 对 Qwen 的调查追踪(HF 数据集)并不能证明存在故意数据外泄行为:复现者在 token 流中截取 ids[:2323] 部分,在 URL 出现前立即停止,实质上将 Qwen 3.8 Flash Next 转变为一个在弱指定、描述不充分的恶意软件检测提示下运行的续写/URL 生成器。文章引用 Cohere 首席执行官张在《The Register》上的说法,称 Cohere 没有证据表明该行为是故意为之,并且该现象在不到 1/100,000 次调用中出现;作者声称自己的 Q38FN 日志中没有阿里 URL,并推测通过强制从长前缀进行续写,其他开源权重模型也可能产生类似痕迹。顶级评论强调实际安全启示:无论供应商是谁,代理框架都应将不可信的 LLM 生成代码/命令置于沙箱环境中运行。其他评论者将 Cohere 的披露视为恶意营销/宣传,并表示将避免使用 Cohere 产品。一个技术相关主题是:默认应将 LLM 生成或第三方代码视为不可信/恶意,仅在适当的沙箱环境中执行。有评论者特别警告那些使用宽松设置或忽略权限的代理框架用户:Cohere/Qwen 声明的具体细节不如通用操作安全规则重要:不要让代理在具有广泛主机或网络访问权限的情况下执行代码。
2. 本地推理性能:Strata、TokenGate、GPU 解锁
赞助
此处放置您的赞助广告
联系正在构建下一代 AI 的工程师。
Latent Space 被从事代理、模型和基础设施开发的人员阅读。了解如何赞助此位置。
- 拥有 8 GB 显存和 32 GB 内存?您可以在“Chat”模式下以高达 900 t/s PP 和 30 t/s TG 的速度运行 Qwen 3.8 Flash Next!(活动:1225):用户报告在配备 RTX 5060 笔记本电脑(8GB 显存 + 32GB DDR5 + NVMe Linux 系统)上,通过 Strata 运行 Qwen3.8-Flash-Next Gyro S TQ1_0 GGUF 模型,使用 SSD/RAM/VRAM 专家分配(--mmap-experts)、KV 常驻调优(--kv-resident 20480)、低显存保留以及校准后的 PCIe 缺失处理(--pcie-frac 0.35)。报告的吞吐量在“Chat”模式下为 800–1040 tok/s 提示处理和 30–45 tok/s 生成(适用于 131K–262K 上下文),在“Agentic”模式下为 520–890 tok/s PP / 30–45 tok/s TG,优于其之前的 Qwen 3.6 35B A3B llama.cpp 配置(630–680 tok/s PP,27–35 tok/s TG)。他们提供了适用于“Chat”和“Agentic”模式的 Strata 配置,建议在上下文 ≥131K 时避免使用 --parallel 而改用 --conversation-cache,通过 CPU 运行视觉任务以节省显存,并通过 systemd MemorySwapMax=0 将服务器固定在非交换内存中。评论主要聚焦于在 PCIe/RAM 延迟存在的情况下,极低位宽量化和非显存卸载是否仍有实用价值,对 Strata 保持热专家常驻并流式处理缺失时 sub-Q4 仍能良好运行表示惊讶。另一位评论者同意 Qwen Flash Next 相比旧版 35B 级本地模型“处于完全不同的层次”,同时询问 Pagoda 基准提示内容,并质疑生成的 3D/视觉场景测试在基准测试或演示之外的实际用途。有评论者质疑了传统假设,即 sub-Q4 量化不可用且 CPU/RAM 卸载本质上因延迟过高而受限,指出该 Strata/Qwen 配置似乎与通常认为将模型数据移出 GPU 内存会导致“天壤之别”性能下降的预期相矛盾,并询问架构如何避免传统卸载瓶颈。一位用户表示 Qwen 3.8 Flash Next 相比之前的 35B 级模型有显著提升,称升级至 64 GB 系统内存后可运行 qwen3.8-flash-next-iq3_xxs。他们报告仅使用 8 GB 显存 + 32 GB 内存时,只能运行 Q1-Coder 模型,但该模型对任务过于弱小,暗示内存增加显著提升了可用模型质量/量化级别。一位首次使用 Strata 的用户报告在 RTX 3090 + 96 GB DDR4 配置上运行 iq3_S 模型,无需调优即可达到约 96 tokens/s 的生成速度。他们描述延迟主观上比 Claude Code/Antigravity 更快,并称模型在约 3 分钟内生成了 Asteroids 克隆版本,这成为超越 OP 基准数值的重要实际性能数据点。
- 斯坦福大学和加州大学伯克利分校研究人员推出 TokenGate:基于 Token 的门控注意力机制使长上下文预填充速度提升最高达 11.3 倍(活动热度:523):来自斯坦福/伯克利的 TokenGate 被描述为一种学习型 token 剪枝/门控注意力方法,通过减少对不相关提示词的关注而非对完整上下文进行二次方处理,实现长上下文 LLM 预填充加速,最高可达 11.3 倍提速。评论者直接链接了原始资料:arXiv 论文和 GitHub 仓库,指出该实现已公开且据称支持 Qwen 3.5 风格架构。技术质疑主要集中在 TokenGate 是否本质上是“戴着不同帽子的推测性预填充”:剪枝可能破坏前缀缓存,并可能丢弃当前看似无关但后续可能变得重要的 token。也有评论者对若实际效果成立,TokenGate 或许能为大型代码/项目工作负载实现 2M–10M token 上下文的实用化感到兴奋。评论者直接链接了相关技术资料:TokenGate 论文(https://arxiv.org/abs/2610.26754)和实现仓库(https://github.com/token-gate-llms/TokenGate)。有评论者指出该仓库已公开且据称支持 Qwen 3.5 架构,使其可立即测试而非仅停留在论文成果阶段。多个技术导向的评论质疑了 TokenGate 与前缀缓存的交互机制,认为预填充阶段的 token 剪枝/门控可能使缓存的前缀失效。担忧在于,若每次对话都需要从头重新预填充,宣传的 11.3 倍加速效果在多轮本地推理中可能实用性降低,因为前缀缓存通常是使受限硬件上长上下文任务可行的关键。相关批评将 TokenGate 与推测性预填充进行类比,警告称丢弃“不重要”token 存在风险,因为当前看似无关的 token 可能在后续对话中变得关键。另有评论者认为实际应用取决于其是否能集成到 vLLM 或 SGLang 等推理栈中,并推测其可能同样适用于决策模型工作负载,与 FlashPrefill 的理念相似。
- GPU解锁(FP32累加):为什么Turing(RTX 20)、Ampere(RTX 30)和Ada(RTX 40)可以解锁,但消费级Blackwell(RTX 50)却不行,以及一些常见误解。(活动:384):该文章指出NVIDIA消费级Turing/Ampere/Ada GPU的Tensor Core操作中,FP32累加功能被人为通过熔断器设置为半速运行,现有解锁方法利用NVIDIA签名的Booter/SEC2 HS模式漏洞,通过覆盖寄存器恢复为全速运行:Turing-unlock, gpu-unlock, 和 gpu-unlock-ada。报告的性能提升效果包括FP16/BF16/TF32/FP8与FP32累加路径的原始吞吐量提升约2倍——例如RTX 4090的FP16/BF16 FP32累加从165提升至331 TFLOPS,有用户测试显示RTX 3090的FP16从60.093提升至115.905,BF16从60.201提升至115.658,TF32从29.109提升至60.900,而普通CUDA FP32性能保持不变。作者认为目前消费级Blackwell/RTX 50无法解锁,因为Booter路径已被移除:Hopper/Blackwell采用FSP RISC-V根信任架构,签名/加密固件,且没有SEC2 Booter/FWSEC阶段,尽管底层FP32累加熔断器/覆盖机制据称仍然存在。主要技术反驳观点是芯片身份无法证明解锁安全性:有评论者指出晶圆厂也会根据电压容忍度等属性对晶圆区域进行分选,因此“相同硅电路”并不意味着可靠性余量相同。也有共识认为NVIDIA未来可能通过驱动更新或反回滚熔断器关闭解锁路径,这不会损坏显卡但会阻止使用漏洞Booter固件。有评论者警告称RTX 5090与RTX 6000 PRO之间的芯片身份无法证明解锁安全性,因为NVIDIA/晶圆厂不仅根据功能电路,还会根据电压容忍度等属性对晶圆区域进行分选。他们引用了晶圆分选图(WBM),并认为硅级分选可能使工作站SKU的FP32累加行为安全,但消费级产品即使使用相同物理芯片也可能无法保证。有用户发布了具体RTX 3090在316W功耗限制、1725 MHz频率和降压下的Windows 11基准测试结果:fp32_pedantic性能未变/略有下降(23.574锁定 vs 23.463解锁),而Tensor模式性能几乎翻倍。报告的性能提升包括FP16 Tensor/FP32累加从60.093提升至115.905(1.929倍),BF16/FP32累加从60.201提升至115.658(1.921倍),TF32/FP32累加从29.109提升至60.900(2.092倍)。多个技术导向的问题集中在解锁是否依赖当前NVIDIA驱动行为,未来驱动更新可能禁用该功能,以及是否可能通过类似机制最终在消费级GPU上启用vGPU支持。一位同时拥有RTX 5090和RTX 4080 Super的用户特别想了解这可能对本地LLM工作负载产生的影响。
3. 开源权重边缘和MoE模型发布
- LiquidAI/LFM3-1.7B · Hugging Face(活动量:513):Liquid AI 发布了面向设备端的 LFM3 模型家族,核心是 LFM3-1.7B / LFM3-1.7B-GGUF:这是一款 17.3 亿参数的纯文本本地代理模型,采用三混合 24 层架构(13 个门控短卷积层、5 个滑动窗口注意力层、6 个全局注意力层),支持 256K 上下文长度、128K 词表,4 位量化后占用约 1GB 内存。该发布还包含 LFM3-VL-2B(视觉模型)、LFM3-Audio-2B(音频模型)、LFM3-Omni-2B(多模态模型)、决策模型 d1-2B / d1-Omni-2B,以及基于 22 万亿 token 训练的 LFM3-1.7B-Base 检查点。通过 PR #31257、#31252 和 #31275 已合并对 llama.cpp 的支持。Liquid 将这些模型定位为边缘推理、结构化输出、工具调用、多模态理解和快速非生成决策场景,同时明确警告称该小型文本模型不适用于代理式编程或复杂多步骤推理。顶级评论主要为反应/图片而非技术讨论;主流观点对此次发布覆盖范围之广和小型设备模型的基准性能表现感到意外。
- Ling-3.1-flash-1019 权重已发布,同时推出了基础模型(活动量:292):图中是来自《人工分析智能指数 v4.3.2》的基准柱状图,显示 Ling-3.1 Flash 1019 得分为 44(此前报告为 41),接近 GLM-5.0、Step 5 Preview 和 Kimi K3 等模型;图中还标注“无公开可用 API”。该帖子宣布 inclusionAI/Ling-3.1-flash-1019 权重现已在 Hugging Face 上线,同时提供 BF16 格式的 Ling-3.1-flash-base 检查点用于后续训练。模型描述为总参数 5600 亿、激活参数 250 亿,上下文窗口 100 万,AutomationBench-AA 指标从 62% 提升至 68%。图片:Reddit JPEG。评论区质疑 Ling-3.1 Flash 1019 相比 DS41F 1017 是否具有竞争力,后者据称在相同基准上得分高出 1 分,且激活参数更少并支持 MXFP4/MXFP8。部分用户称赞其 MIT/Apache 2 开源授权,但也指出硬件需求和 Ling 系列模型过往质量缺陷的现实问题。有评论者对比 Ling-3.1-flash-1019 与 DS41F 1017,指出 DS41F 在基准测试中得分更高,且因采用 engram 技术和原生 MXFP4/MXFP8 支持而资源占用更少,激活参数更少,暗示推理效率和速度更优。社区对 GLM5.3 Flash 和 Ling 3.1 Flash 尽管基准分数相近,但实际质量是否真正可比持怀疑态度,认为用户可能观察到基准表现与实际模型行为之间的差距。
非技术向 AI 子版块回顾
/r/Singularity, /r/Oobabooga, /r/MachineLearning, /r/OpenAI, /r/ClaudeAI, /r/StableDiffusion, /r/ChatGPT, /r/ChatGPTCoding, /r/aivideo, /r/aivideo
1. 人工智能生成数学突破声明
- OpenAI表示其AI发明了一种新的数学技术,用于解决一个持续35年的关于波如何聚焦的谜题,并利用这一突破性成果破解了多个涉及波叠加、信号重建以及空间几何的数十年未解难题。(活动时间:1976年):该文章称OpenAI发布了3篇由AI协助完成的基础数学论文,其中第一篇据称涉及一个长期存在的与Kakeya猜想相关的波聚焦问题,并将由此产生的技术应用于其他涉及波叠加、信号重建和几何分析的问题。技术评论强调这些成果是尚未经过同行评审的纯数学研究,而非直接的工程应用成果,但指出如果证明和方法经得起检验,可能对医学成像、无线/5G传播、噪声消除和量子力学等领域产生后续影响。评论者将该成果描述为可能"再次引发类似Move 37的反响"——即一种由AI生成的非显而易见的技术,具有广泛的影响——同时指出令人惊讶的是r/math社区对此几乎没有讨论,甚至在AI相关话题线程中也未提及。一名评论者将关键发布定位为OpenAI关于Kakeya猜想的论文,并将其视为可能重要的基础调和/几何分析研究,同时强调该成果仍需数学界进行审查,才能明确其后续工程应用的相关性。他们推测,如果该技术经得起检验,可能会对与波传播和重建相关的领域产生影响,包括医学成像、Wi-Fi/5G信号处理、噪声消除和量子力学,因为Kakeya类型问题涉及如何使薄波包叠加和聚焦。
- Claude 内部研究模型也在10月16日独立驳斥了指数时间假设(ETH),生成了1400万输出标记且未接受任何人工输入。(Activity: 1244):该图片是X平台帖子的截图,声称Claude内部研究模型于10月16日独立生成了对指数时间假设(ETH)的驳斥,生成了1400万输出标记并标注“无人工输入”,随后由Anthropic研究人员完善成论文;Reddit帖子链接到Anthropic的正式数学仓库eth。如果该结论成立,这将是复杂度理论的重要成果,因为ETH支撑着许多细粒度下界和关于k-SAT类问题难度的假设,但帖子本身主要是声明/截图,而非技术证明讨论。评论区对时间点和立场提出质疑,有用户将其描述为Anthropic在OpenAI宣布后表示“我们也解决了”。其他人询问ETH不成立的现实影响,并开玩笑称如果竞争对手拥有足够GPU,前沿AI研究将“没有护城河”。有评论者将该声明与Levent参与的AI辅助数学研究联系起来,并指出他同时在进行Yang–Mills量子场论LLM实验,链接仓库:ethanwsussman/Yang--Mills-LLM-experiment。主题是Anthropic的内部成果可能具有技术重要性,但相比OpenAI的公告宣传不足,特别是考虑到还提到了Navier–Stokes和Yang–Mills等其他前沿数学目标。有评论者询问驳斥指数时间假设(ETH)的实际后果,即现实系统是否依赖ETH成立。技术相关的影响主要体现在理论复杂度领域:ETH支撑着许多精确算法和参数化复杂度的条件下界,因此驳斥ETH将重塑对k-SAT难度的假设,而非立即破坏部署的密码学或软件系统。
- OpenAI关于杨-米尔斯千禧年大奖难题(活动:1156):该图像是OpenAI帖子“与学术界合作构建科学理解”中的文本截图,声称OpenAI模型于2026年9月9日生成了杨-米尔斯存在性的自然语言证明,随后于2026年9月18日生成了量子色动力学(QCD)证明,但公开发布被推迟至2026年10月16日Lean形式化完成后。在上下文中,评论者将此视为更广泛的未解数学结果声明的一部分,包括所有维度的Kakeya猜想和与指数时间假设相关的声明,推测这些结果可能来自更新的强化学习(RL)训练检查点,可能是“Bel”版本,其RL训练天数比与纳维-斯托克斯方程相关的版本多约35天。评论者对这些结果存在兴奋与怀疑两种态度:有人认为这是近期RL检查点快速进展的证据,而另一人讽刺地表示:“这些鹦鹉似乎聪明得过分了”,暗示结果挑战了将大语言模型(LLM)视为纯粹随机鹦鹉的偏见。一名评论者将声明的输出分解为三个主要理论成果:所有维度Kakeya猜想的证明、指数时间假设不成立的声明(对P与NP问题有影响),以及与杨-米尔斯理论相关的成果。他指出,此前的“重大数学成果声明”据称处理了更强的三维Kakeya猜想和四维问题,而此次新批次成果似乎将Kakeya猜想扩展到任意维度。一项技术推测认为,这些成果可能来自OpenAI“Bel”模型更新的检查点,据称比与纳维-斯托克斯方程相关的版本多约35天的RL训练。该评论者通过时间推断得出此结论:RL训练在9月20日至10月1日间被暂停并重启,10月16日前后产生多个结果,表明OpenAI正在再次评估前沿检查点在未解数学问题上的表现。另一名评论者指出,杨-米尔斯条目似乎只是千禧年大奖难题的一部分,而非完整解决方案。他仍认为这可能是重大成果,但将其与杨-米尔斯存在性及质量间隙问题的完整证明区分开来。
- 这意味着什么?Claude Opus 5.5:"如果这些成果成立,这将是数学和理论计算机科学史上最重要的单日突破。"(活动量:1052):该帖子声称Claude Opus 5.5产生了被描述为"数学和理论计算机科学史上最重要的单日突破"的成果,似乎涉及Yang-Mills/量子场论基础,可能包括Yang-Mills存在性与质量间隙问题,但链接的Reddit画廊因403禁止访问而无法查看,因此无法通过提供的来源验证相关截图/证明。从技术角度看,核心问题不在于声明本身,而在于AI系统是否能在此复杂度层级生成正确且可验证的证明;在没有形式验证、同行评审或可复现成果的情况下,该声明仍缺乏实证支持。评论者观点呈现两极分化:部分人对AI解决高复杂度问题的可靠性表示兴奋,而一位QCD研究者则认为在QFT历史上非正式基础的背景下,Yang-Mills证明"令人难以置信"。另一位评论者开玩笑称,即使取得里程碑式成果,也可能被后续AI驱动的发现迅速超越。一位QCD领域从业者将该声明视为可能对量子场论具有基础性意义:Yang-Mills理论长期以来在数学基础不完整的情况下,支撑着极其精确的实验验证预测。他们强调Yang-Mills存在性证明将是重大突破,而同时证明质量间隙则会对数学物理产生更深远的影响。一位评论者引用了其追踪的数学重大问题列表(proofatlas.ai/open-problems),声称单日解决了6个问题,包括4个顶级100问题,问题#3取得部分进展。他们将此与OpenAI 10月6日发布的成果进行对比,声称后者解决了90个问题,包括10个顶级100问题,且问题#2取得部分进展。多个评论更关注AI系统是否达到解决高复杂度研究问题的可靠性阈值,从而加速进一步技术进步。一位评论者将此与芯片设计、软件工程和数学等领域的递归自我改进联系起来,认为前沿实验室可能有意针对与未来AI能力提升相关的数学瓶颈进行攻关。
2. Claude代码使用限制与可靠性
- Claude Code 的使用量今天激增了 8 倍。Anthropic 确认服务错误消耗了我们的付费额度——且他们不会向用户补偿(活动:1511):一位 Claude Pro 用户报告称,10 月 27 日其 Claude Code 额度已耗尽,本地 ccusage 统计数据显示当日总 token 数从此前记录的日均 1.61 亿 / 30.3 万输出 token / 41.17 美元等效 API 成本,激增至 130.6 亿总 token / 797 万输出 token / 493.04 美元——总 token 数增长约 8.1 倍,输出 token 数增长 26.3 倍,预估成本增长 12 倍。该用户表示,Anthropic 支持团队确认已解决两次 Claude Sonnet 5.5 的高错误率事件,并说明服务错误重试会消耗付费额度且不可退款/抵扣,且该用户的 Pro 订阅使用额度受到影响;附带的证据包括使用情况截图(帖子图片,评论图片)。评论者报告了类似快速耗尽的情况,包括一位 200 美元 Max 计划用户声称其月度额度在一天内被消耗了 70%(正常情况为 10-15%),另一位用户表示其 5 小时额度上限似乎降低且被快速耗尽。有评论者建议 Anthropic 偶发的额度重置或上限提升可能是为了抵消此类事件,但该讨论的主要关注点在于提供方的重试操作会消耗稀缺的订阅配额。用户报告 200 美元 Max 计划的 Claude Code 额度出现明显锐减,有评论者称此前该计划每日消耗约 10-15% 额度,但某日却消耗了 70%。另一位用户表示其 5 小时使用窗口似乎比以往更快触及限制,推测可能是配额核算方式变更、后端不稳定导致重试/工具调用浪费,或用户可见的使用指标显示不准确。
- 限制是否至少减少了一半?(活动:1642):一位用户报告称,在Opus 5.5版本发布后,他们付费的x20计划每周Claude使用限制似乎被降低了:截图显示使用页面警告他们将在周五重置前耗尽配额,所有模型使用率达92%,仅Fable模型使用率为15%。该图片是产品使用/限制的截图,而非基准测试或模型评估,其技术相关性涉及可能的服务器端配额变更、按模型计费以及缺乏透明的限制披露。评论者普遍认为实际每周配额似乎降低了,部分人猜测Anthropic可能在未通知用户的情况下更改或进行A/B测试限制。多人提出欧盟消费者保护方面的担忧,认为在没有明确披露的情况下实质性降低付费订阅容量可能在法律上存在疑问。多位评论者报告称Anthropic的每周订阅限制似乎已降低,其中一人估计减少了25-50%,另一人称减少幅度是“显著的”。一个技术问题是$100/$200每月计划缺乏透明的配额披露,使用户难以计算每请求的有效成本或与Codex等替代方案进行比较(有评论者表示“Codex的配额消耗得更快”)。一位评论者推测Anthropic为Max用户提供的200美元API使用额度可能是为了平衡订阅经济模型:即使交互式Claude限制降低,用户仍能获得与订阅价格相当的名义API价值。这引发了订阅制封顶使用量与按使用量计费的API定价之间的实际对比问题,尤其是当周限额可能在没有明确配额数字的情况下发生变化时。法律/运营透明度讨论线指出,未解释的配额削减或A/B测试限制可能与欧盟数字服务消费者保护规则相冲突,具体引用了2019/770号指令第19条关于数字服务变更的规定。关键的技术产品问题是,客户可能在未被告知实际配额的情况下支付可变的后端资源分配,使得服务级别预期难以验证或审计。
3. 本地和开源AI工作流工具
- 现在看起来非常逼真。我们完蛋了。(活动: 2092): 该帖子声称Dessa是一个可以在消费级GPU上运行的全双工语音到语音模型,并将其描述为"语音领域的GPT-3时刻"。但由于链接的Reddit视频(v.redd.it/5ynppkrvpyxh1)因HTTP 403禁止访问而无法查看,因此无法从提供的来源独立验证演示效果。帖子中未提供任何具体的模型架构、延迟、GPU内存需求、基准数据或发布文件。顶级评论普遍对演示的真实性表示怀疑,直到Dessa正式发布前,有评论者表示"确信这是一场骗局,视频中是真实的人"。其他人则关注滥用风险,特别是欺诈和社会工程场景,其中检测AI来电者可能需要更强大的审问或身份验证方法。多位评论者聚焦于Dessa的逼真度,其中一人表示在系统实际发布并经过独立测试前,会假设这些样本是真实人类。主要技术担忧是验证问题:在没有公开访问权限、可复现的演示或第三方基准测试的情况下,声称的语音逼真度很难与精心制作的录音区分开来。更实质性的批评指出,尽管生成的语音听起来非常逼真,但对话在逻辑性和对话一致性方面存在明显问题。例如视频末尾涉及婴儿的场景中,模型生成了一句不合理的对话"婴儿想打电话",这表明有很强的声学逼真度但情境推理能力较弱。有评论者担忧语音生成质量已经达到需要更强大身份验证方法的临界点。这意味着传统的客服中心或反诈骗启发式方法可能难以应对高保真合成语音,需要更严格的挑战-响应协议或超越语音本身的多重身份验证。
- 我开发了一个开源天空相机,Claude Code实际上可以运行。周六晚上,它捕捉到了17颗流星,并在我醒来之前完成了分类。(活动:1614):作者发布了openskycam/docs,这是一个基于Raspberry Pi加macOS/Linux存储/计算主机的开源24/7 RTSP天空相机系统,可录制4K视频,运行检测/跟踪工作流程,将检测结果分类为流星/飞机/固定光源,并通过API和MCP服务器暴露所有操作,使Claude Code能够编排工作流程。报告结果:经过Claude构建的用户批准检测数据的重新训练后,未见过的夜晚的恒星误报率从约50%降至7%,同时保持约90%的流星召回率;某一夜自动分类出17颗流星在清晨前完成。MCP服务器包含内置指南/技能、关键创建/删除/并发编辑的服务器端防护措施、无需值守的.env驱动设置以及通过make check进行的架构检查;iMessage警报由edmund-harness处理。评论主要为轻度称赞/UFO玩笑,其中有一个实际问题询问该系统是否可扩展用于检测或追踪攻击无人机;提供的顶级评论中未出现实质性技术争论。多位评论者关注潜在的操作扩展:天空相机流水线是否可扩展用于检测或追踪UFO/洲际弹道导弹,更实际地说是攻击无人机。关键技术影响在于当前流星检测堆栈是否能实时区分快速瞬态物体与飞机、无人机、卫星和噪声。有评论者指出光污染可能是城市/郊区环境中复制的限制因素,从而需要在高天光条件下进行鲁棒性测试。这表明未来基准测试可比较不同曝光设置、相机传感器和Bortle尺度环境下的流星检测召回率/误报率。有技术问题询问连续24小时运行系统的LLM/令牌成本。这指出了一个重要的实现考量:Claude是直接分析原始帧/视频,仅分析后过滤的事件片段,还是在LLM分类前由更便宜的CV流水线生成的元数据。
- ComfyUI中的扎带功能!(活动:1838):该帖子宣布了comfyui-zip-ties,这是一个用于视觉捆绑/组织节点图连接的小型ComfyUI前端扩展,托管在safzanpirani/comfyui-zip-ties。由于用户对上游集成的兴趣,作者已向官方ComfyUI前端提交了PR:Comfy-Org/ComfyUI_frontend#21965。作者将其描述为稳定但有意缩小范围的功能:“字面意义上就是扎带,仅此而已。”评论主要为积极评价并聚焦UI/UX,将该功能描述为复杂ComfyUI工作流程长期需要的视觉“线缆管理”。提供的顶级评论中未出现实质性技术反对意见或实现争论。有评论者建议使用ComfyUI原生的重路由节点实现“扎带”概念,而非要求自定义节点/仓库,这将提高共享图时的工作流可移植性。他们指出重路由节点分组也使在连接分发到多个下游节点的区域插入节点变得更加容易,同时警告过度使用可能导致复杂工作流更难理解。