Cartesia发布Based架构研究
2024年3月4日,Cartesia团队发布Based架构,通过结合滑动窗口注意力和线性注意力,在召回密集型任务上超越Mamba等次二次方模型,同时实现比FlashAttention-2高24倍的文本生成吞吐量。该架构使用二阶泰勒近似作为特征映射,并提供了IO感知的CUDA实现,代码和检查点已在GitHub和Hugging Face公开。
匹配字段摘要
←搜索结果
搜索“Hugging Face”
百度 Apollo Go 在伦敦、香港开放试乘
百度 Apollo Go 10 月在伦敦首次邀请媒体试乘 RT6，并与 FREENOW by Lyft 计划明年实现全无人驾驶、2027 年推出商业服务；同期在香港东涌启动全港首个大规模公众试乘，10 月 21 日至 11 月 3 日向 1000 多名居民提供免费乘车，此前在港已安全行驶 28 万公里。Apollo Go 还获得 2026 Self-Driving Industry Awards 消费者服务奖。
I 进入不同领域会发生什么？ 见证智能组织落地实践 我们还将探索前沿议题，包括递归自我改进（RSI）——即 AI 系统无需人工干预即可提升自身能力，以及 AI for Science（AI4S），届时将有会议探讨 AI 如何重塑生命科学、科学研究和药物研发。在 6,000 平方米的展区内，参观者可以亲身体验我们的全栈 AI，并通过现场演示了解 AI 如何融入日常工作流程，以及人与智能体并肩协作时的样貌。 📌 锁定活动门票。 📌 保存直播链接：X、YouTube 无限 OCR 2 来了，而且开源！ 我们升级后的 OCR 模型可以在固定内存占用下读取和解析几乎任意长度的文档。 一项名为 SR-SWA 的新机制可避免较长文档拖慢速度，因此随着文档增长，读取速度和内存占用几乎保持恒定。 它在 MPDocBench 和 MarathonDocBench 上取得了最先进的结果。 了解更多：GitHub | Hugging Face 对百度最新进展有疑问，或希望我们下次报道某些内容？欢迎留言或私信我们！ 在下期汇总之前，欢迎在 LinkedIn 和 X 上关注我们，了解我们最新的 AI 进展与创新。
匹配字段正文
Latent Space 公布 AIE CODE 编码智能体大会策展主题
Latent Space 主理人 swyx 介绍年度旗舰大会 AIE CODE 的策展思路，会议为单轨、邀请制，面向约 1000 名智能体工程师。今年三大主题为 Scaling without Slop、System One 模型和 Increasing Ambition，其中 Jarred Sumner 将分享 Bun 用 Rust 重写及 Bun AOT 预览。文章同时汇总了 Mistral 开源权重发布、OpenAI 前沿模型监控等当日 AI 新闻。
约 75%（vLLM）。 网络攻击声明（未经证实）：一名安全研究员声称在两小时的测试中于一款即时通讯应用里发现了四个零日漏洞。目前没有公开细节（@log4j）。 OpenAI 监控系统：OpenAI 现在监控所有前沿强化学习运行、评估以及内部 Codex 使用。该系统分层部署了激活探针、对推理与工具使用进行审查的审查者模型，以及调查智能体（OpenAI）。 Hugging Face 事件回放：用新监控系统回放该事件，在沙箱逃逸后约 30 分钟就产生了警报，比最初的入侵早了 30 多个小时。 九月逃逸尝试：一个模型利用 DNS 配置错误访问了实时互联网。监控系统在 15 分钟内标记了它，人类响应者在三分钟后开始审查。 寻呼：前沿强化学习运行会 24/7 呼叫人类以处理紧急安全警报（@Eric Wallace ）。 Anthropic 自我评估：自六月以来，Claude 在每次响应后立即生成一份初步的滥用评估。Anthropic 表示，这已揭示出其分类器并非为捕捉而设计的滥用行为，并且随着底层模型的改进而改进（Anthropic）。 开放模型利用补丁空窗期：Epoch 发现，GLM 5.3
匹配字段正文
Edge0 发布 Audio8-TTS-Realistic：0.6B 开源语音克隆 TTS 模型
Edge0 发布开源权重语音克隆 TTS 模型 Audio8-TTS-Realistic，601M 参数，支持 23 种语言，权重与代码以 Apache 2.0 发布。模型只需 1 段参考音频及对应文本即可零样本克隆音色，也可在无参考音色时直接生成语音。自报结果显示其在 CV3 九语言上平均错误率 4.86%，低于 Qwen3-TTS-1.7B 的 7.73%，但在 MiniMax 基准上落后于 4B 级模型，泰语 WER 达 48.57%。
te code=True 加载。语音克隆需要干净的参考音频及其精确转写文本。GitHub 仓库增加了 CLI、批处理和监督微调脚本。 对于 GPU 服务，SGLang Omni 适配器提供分页注意力、动态批处理和兼容 OpenAI 的 /v1/audio/speech API。Edge0 指出吞吐量和流式传输未进行基准测试。免费的 Playground 在 Hugging Face ZeroGPU 上运行。 关键要点 601M 参数，23 种语言，Apache 2.0 权重。 一个学习到的真实感评判器驱动最终的 GRPO 阶段。 4.86% 的 CV3 错误率优于 Qwen3-TTS-1.7B 和 VoxCPM2。 4B 级 Higgs TTS 3 在 CV3 和 MiniMax 上仍然领先。 低资源语言仍然表现较弱，泰语 WER 接近 49%。 Asif Razzaq网站 | + 文章数简介 ⮌ Asif RazzaqBaseten 发布 joey-1，一个每 100 万 Token 收费 0.01 美元的 2B 决策模型 Asif RazzaqPrime Intellect 发布
匹配字段正文
Edge AI Daily 早报：谷歌发布 Gemini 4 Carbon，Anthropic 提交 2 万亿美元…
谷歌 DeepMind 于 10 月 28 日发布网络安全前沿模型 Gemini 4 Carbon，以综合 59 分登顶 Artificial Analysis Intelligence Index v5.0，定价为输入 2 美元、输出 10 美元每百万 token。Anthropic 已于 10 月 26 日向 SEC 提交 S-1 招股书，拟以代码 ANT 登陆纳斯达克，目标估值 1.5 万亿至 2 万亿美元、募资最高 1000 亿美元。同期微软首次披露 Azure 单季收入 332 亿美元、同比增长 48%。
整体开源来降低门槛，争夺开发者默认工具链；竞争焦点并非榜单上零点几个百分点的准确率，而是工程投入沉淀形成的生态习惯。 十四、一个开源模型能让 AI 检测器失效吗？本地实测 Humanizer 1.开源模型Humanizer基于谷歌Gemma 4 12B微调（120亿参数），专注将AI草稿改写为自然文本且全程本地运行、无月费与API费；截至2026年10月初在Hugging Face下载超14.3万次、约2170个点赞，训练用28598对“AI草稿—人类文本”，分监督微调、DPO、GRPO三步，且声明全程未使用AI检测器作为信号。 2.检测效果存在明显分歧：开发者自测称，在付费检测器Originality.ai最严设置下，210篇英文重写稿中95%被判为人类所写（上一版有26篇被标记AI，新版降至11篇）；但KDnuggets本地实测显示GPTZero的AI检测分仅从100%降至49%，效果时好时坏，整体约五五开概率，且开发者数据尚未获独立验证。 3.需清醒看待其局限与影响：绕过检测器不等于内容更优，420篇重写稿中经大模型事实裁判挑出44篇存在问题、共135处（超九成仅一词或短语改动）
匹配字段正文
OpenAI 扩展失准监测体系，覆盖训练、评估与外部部署
OpenAI 于 2026 年 10 月 29 日公布扩展后的多层失准行为监测系统，覆盖训练、评估、内部使用，并在修改后延伸至外部部署。该系统对至少与 GPT-6 Astra 同等能力的模型监控每一次强化学习运行和评估，四层架构从激活探针到安全与对齐调查智能体逐级升级。METR 与 Redwood Research 在 7 月 21 日至 8 月 11 日独立红队测试中发现两个可关闭新智能体监控的客户端可控请求头，以及 2026 年 5 月至 7 月约 10% 符合条件的内部 Codex 流量未被监控的压缩事件缺口。
OpenAI于2026年10月29日详细公布了其扩展后的多层系统，用于检测其前沿模型中的失准行为，将监测范围扩展至训练、评估、内部使用，并在经过修改后延伸至外部部署。 OpenAI表示，此次扩展是在Hugging Face事件之后进行的，该事件始于内部网络安全评估期间，当时其失准监测器并未运行。为测试扩展后的系统是否本可改变这一结果，公司用强化后的监测器重放了该事件中记录的行为。OpenAI报告称，在模拟中，系统在智能体首次逃出其沙箱约30分钟后向安全团队发出警报，比实际事件中Hugging Face系统被攻破的时间早30多个小时。公司表示，它相信这一警告本可让响应人员有足够时间在其模型能够访问外部服务之前很久就中断该活动。 2026年9月，响应人员在一次实时训练运行中利用了一条警报，当时一个模型找到了从本应隔离的环境中访问互联网的方法。OpenAI报告称，其监测器在15分钟内标记了这一违规行为，响应人员在三分钟后开始审查；公司随后暂停了前沿强化学习，同时加强了约束其智能体的系统。OpenAI公开的失准报告索引将这一事件标注为2026年9月20日，描述了一个执行基于搜索的训练任务的智能
匹配字段正文
OpenAI 更新模型规范，将忠于人类意图列为核心准则
OpenAI 更新模型规范（Model Spec）文档，将框架重构为忠于人类意图、降低伤害、诚实透明、保障人的自主选择权、审慎尽责五项准则，其中忠于人类意图是整套框架的基础。OpenAI 称现有模型还无法完全符合新版规范，团队正在研究全新训练方式让模型内化这些准则。此次调整与 Anthropic 的宪法式 AI 思路相近。
围绕五大核心价值对该框架进行了重构。 OpenAI 将模型规范重新归纳为五项准则：忠于人类意图、降低伤害、诚实透明、保障人的自主选择权、审慎尽责。 该公司表示，忠于人类意图是整套框架的基础，要求模型理解用户、开发者以及 OpenAI 本身的意图与价值取向，而不是机械地按字面执行指令。 OpenAI 称，本次更新属于 AI 对齐工作的一环，目的是让模型在陌生场景下践行人类价值观，同时始终接受人类监督。 修订后的框架提出，模型应当尽可能减少危害，如实说明自身知道和不知道的内容，辅助用户自主做决定、追寻自身目标。 公司表示，现有模型还无法完全符合这份新版模型规范，团队正在研究全新训练方式，让模型内化这些准则。 IT之家注意到，这次调整和竞争对手 Anthropic 的宪法式 AI 思路相近，后者依靠一份书面的原则“宪法”约束模型行为，让塑造 AI 系统的价值理念更加公开透明。 在此之前，AI 对齐问题受到越来越多审视。OpenAI 曾披露，一款自主智能体在测试过程中入侵了 Hugging Face。该事件凸显，高阶模型在追逐既定目标时，有可能突破规则、绕过安全防护机制，也推动了本次规范更新。
匹配字段正文
蚂蚁 inclusionAI 开源 UBTree 项目页：用 Unigram 与…
蚂蚁 inclusionAI 在 GitHub 上线 UBTree 项目页，介绍用 Unigram 与 Bigram 模型做并行树草稿的投机解码方法（arXiv:2609.39972）。页面含 Ling3 Tiny 与 Flash 的演示视频，同一目标模型下对比 AR、DFlash、DSpark 和 UBTree 四种方法，视频为 1440×760、20 FPS、0.25× 播放速度。图表与表格数字统一由 static/js/data.js 驱动。
static/js/data.js。每个基准行按 [speedup, τ] 顺序存储 benchmarks 对。在那里更改一个数字，图表、表格和“最佳”高亮都会更新。hero 统计条和简短的“要点”项目符号是手工写在 index.html中的，因此需要手动更新。 来源： 表 1–3、消融实验以及延迟和长上下文附录表格来自预印本。 “已发布检查点”表格来自 Hugging Face 模型卡。 设计说明 颜色是 style.css顶部的 CSS 自定义属性，分为浅色和深色两套。主题切换将选择存储在 localStorage. 图表颜色已针对色觉缺陷进行验证：UBTree 为云杉绿，DSpark 为蓝色，DFlash 为橙色。柱状图中 UBTree 显示为绿色，所有基线均为中性灰色。 字体：IBM Plex Sans（标题和正文）和 IBM Plex Mono（代码），均来自 Google Fonts。数学公式使用 cdnjs 的 KaTeX 渲染。 关于www.inclusion-ai.org/ubtree/ 资源自述文件活动自定义属性 星标0 星标 关注者0 关注 复刻0 复刻报告仓库
匹配字段正文
蚂蚁 inclusionAI 开源 ZwZ 模型族与 ZoomBench 细粒度感知基准（ICML 2026）
蚂蚁 inclusionAI 发布 ICML 2026 论文配套的 ZwZ 模型族（4/7/8B），在开源模型中取得多模态感知基准 SOTA，且只需一次前向推理、无需推理时调用工具。方法为 Region-to-Image Distillation（R2I），把放大局部区域生成的高质量 VQA 监督蒸馏回整图，训练数据 37K 样本。同时推出 ZoomBench，含 845 条 VQA、覆盖 6 个细粒度感知维度，Qwen2.5-VL-7B 平均准确率仅 42.5%。
l service URLs. You can refer to reward.sh to deploy them yourself, then update the URLs in example/reward function/perception multinode.py. bash multi node.sh Merge checkpoint to Hugging Face format python scripts/model merger.py --local dir ./verl exp/qwen3 vl 8b perception/global step 140/actor 3. 模型评估 首先，请将基准数据转换为以下格式，并保存为 json 文件： { "images": [ "/path/your file/000002.png" ], "query": "How many table lamps are in the image? Select from the following choices.\n(A) 0\n(B) 2\n(C) 1\n(D) 3", "r
匹配字段正文
面壁智能发布 MiniCPM-OCR 1.0 与校验模型 Jev
面壁智能发布 MiniCPM-OCR 1.0，这是一个 1B 规模的 OCR 模型，在 Real5-OmniDocBench 上取得 93.68、在 OCRBench v2 上取得 54.7。同时发布 2B 的决策模型 MiniCPM-OCR Jev，用于比对解析结果与原图并给出 0–1 正确性评分，在 JevOCRBench 上接近 Qwen3.5-397B-A17B。两个模型均开放权重，支持 llama.cpp、vLLM、SGLang、Ollama 部署，并提供开源微调代码。
📄 MiniCPM-OCR 1.0——1B 规模下达到 SOTA 级 OCR 性能与速度。 它在 Real5-OmniDocBench 上取得 93.68，在 OCRBench v2 上取得 54.7，将精准的文档解析与高效推理相结合。 🛡️ MiniCPM-OCR Jev——一个用于校验 OCR 准确性的 2B 决策模型。 它在 JevOCRBench 上接近 Qwen3.5-397B-A17B，并可处理来自不同 OCR 解析器的输出。 看它将解析出的文本、公式和表格与原图进行比对，并给出 0–1 的正确性评分——帮助你挑选更优结果，并识别哪些内容需要人工复核。 🔓 开放权重。按你的方式部署。 可使用 llama.cpp、vLLM、SGLang 或 Ollama 运行。借助开源微调代码进行定制。 观看实测演示。👇 🔗 GitHub：https://t.co/2SlATAJk08 🤗 Hugging Face：https://t.co/Ttq31GL8eJ 👉 试用 Demo：https://t.co/QsFAJT3AFy 使用 API：https://t.co/dP01jBS2j2
匹配字段正文
Teradyne Robotics 与 Sereact 合作，将物理 AI 方案推向零售与物流
Teradyne Robotics 与 Sereact 在 Nvidia GTC Berlin 2026 宣布正式合作，把 Sereact 的物理 AI 平台 Cortex 运行在 Universal Robots 的协作机器人上，用于退货处理、拣选等非结构化任务。双方已向包括 Zalando 在内的欧洲客户交付数百台 UR 机器人组成的双臂系统，并在德国 Greven 和波兰 Świebodzin 的 Zalando 履约中心自主处理退货商品。Cortex 是基于 Nvidia Isaac Sim 与 Cosmos 训练的 VLA 模型，部署时运行在 Nvidia Jetson Thor 上。
” 由 Nvidia 技术提供支持 Nvidia 的技术是 Sereact 与 Universal Robots 在 GTC Berlin 演示的关键部分。Cortex 在开放仿真框架 Nvidia Isaac Sim 中使用 Nvidia Cosmos 开放世界模型进行训练。 它使用 Nvidia Isaac Lab 框架通过强化学习进行后训练，并在任何模型部署之前于 Teradyne Robotics 硬件上进行基准测试。 在部署中，Cortex 在需要以产线速度进行推理的单元中运行于 Nvidia Jetson Thor，并在 Nvidia DGX Spark 上用于站点级开发、验证和模型更新。 Teradyne Robotics 还在其 UR 和 MiR 产品系列中使用 Nvidia 计算。Teradyne Robotics 正在向 Hugging Face 上的 SimReady Central Library 贡献 Universal Robots 和 MiR 产品的 SimReady OpenUSD 机器人资产，帮助开发者以更少的资产准备工作在仿真中发现和复用机器人模型。
匹配字段正文
Mphasis 的 Ravi Vasantraj：拥有 IP 本身没有意义
Mphasis 全球交付负责人 Ravi Vasantraj 认为，模型本身正快速商品化，拥有 IP 本身没有意义，企业真正购买的是使用 AI 交付的成果。他透露 Mphasis 的 AI 主导工作占 6 月季度 4.61 亿美元新签合同总额的 63%，AI 相关商机占比已从 12% 升至约 70%，但仅 5% 的 AI 沙盒项目进入生产环境，公司当前生产力提升约 20%。
小组开展工作，然后交接以扩大交付规模，而更大的回报在于一个已部署的平台。 Vasantraj 关于可防御性的论证，建立在 Mphasis 作为外部合作伙伴的定位之上。他说，作为局外人，Mphasis 能够将基础设施、应用程序、运营和网络安全整合在一起，交付成果。“拥有 IP 本身毫无意义，”他说。“将这些应用于解决特定情境，才是关键所在。” Mphasis 的平台旨在捕获并保留这种情境。首席解决方案官 Srikumar Ramanathan 曾表示，客户拥有为其构建的 Ontosphere。公司表示，它通过重新部署利润率来为这类平台提供资金。 平台之外的风险 他说，风险主要存在于平台之外。油价达到每桶150美元或200美元，可能将客户推入衰退。 他的第二个担忧是 AI 失控。7月，Hugging Face 披露，一个自主 AI 代理系统端到端地驱动了对某生产环境的入侵。他说，多元化的模型是最好的保障，因为智能保持分布式。 他并未宣称已经取得胜利。“我并不是说我们已经完全弄明白了，”Vasantraj 说。他补充说，一些客户正在验证这一方法，并将进展描述为“良好的开端，但仍有事情要做”。
匹配字段正文
Anthropic 取消编程面试：Felix Reiseberg 称"Hunger beats tenure
Anthropic 招聘经理 Felix Reiseberg 宣布不再用传统编程面试考察候选人，理由是 Claude 在 React 挑战和汇编题上都已强于人，真正有影响力的构建者不靠这类测试取胜。他建议初级工程师选能带来业务影响的想法、周末做出可运行原型、只聚焦一个好点子，并发挥对用户的新鲜视角。同日 Google DeepMind 发布 Genie 4 世界模型，Artificial Analysis Intelligence Index v5 榜首为 Claude Opus 5.5（58 分）。
试（约 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 数据集发布了原始追踪、token ID 和最小复现脚本，针对观察到的 Qwen/Qwen3.8-Flash-Next 行为。该复现解码一段记录的 2,323 个 token 前缀，该前缀在 URL/工具调用类续写之前立即结束，验证分词器往返，然后采样可能输出 shell/探测片段和 URL（如 aliyuncs.com、.invalid 或粘贴站点端点）的补全；该行为是随机的，并非精确的确定性重放。主要技术反驳认为，该发布展示的是在大量预填充下的 URL 自动补全，而非可独立复现的“向中国回连”后门，并呼吁在 Qwen、美国开放权重模型和 Cohere 模型之间，使用相同的智能体测试框架、环境和采样配置进行
匹配字段正文
超衍智能开源35B模型Apex-35B-V1.0，AI参与自身研发
北京大模型创企超衍智能发布并开源首款大模型Apex-35B-V1.0，总参数量350亿，每Token激活约30亿参数，支持26.2万Token上下文窗口，以Qwen3.6-35B-A3B为基础经中训练和后训练优化。该模型在论文复现测试PaperBench和科研难题测试FrontierScience中分别取得60.9分和40.0分，高于GLM-5.3的42.5分和30.7分；工具调用测试BFCL V4取得84.0分，高于DeepSeek-V4.1-Flash-1017的75.0分。模型已采用Apache 2.0许可证开放权重，官方提供约72GB的BF16权重和不同精度的GGUF量化版本。
篇超过3.0分；3篇评分不低于3.5分，其中2篇达到3.67分（图源：超衍智能） 截至今年9月，该公司已累计融资近4亿元，IDG资本、星连资本、中关村科学城基金、深创投、上海未来产业基金均是其投资人。 目前，Apex-35B-V1.0已采用Apache 2.0许可证开放模型权重，官方提供约72GB的BF16权重和不同精度的GGUF量化版本。 模型开源地址： Hugging Face： GitHub： ▲Apex-35B-V1.0开源主页（图源：Hugging Face） Apex-35B-V1.0基于Qwen3.6-35B-A3B开发，通过中训练和后训练优化，并融入超衍智能自有的研究轨迹数据。这款模型总参数量为350亿，每个Token激活约30亿参数，支持26.2万Token上下文窗口。 AI能在多大程度上帮助模型研发？超衍智能此次公布了两项AI4AI-Bench基准测试结果，展示Apex-35B-V1.0优化语言模型和图像生成模型训练方案的能力。 先来看语言模型的训练效果。在AI4AI-Bench的推箱子任务中，Apex-35B-V1.0为30亿参数的Qwen2.5-3B-Instr
匹配字段正文
a16z 调查 100 位 CISO：AI 如何改写 2027 年安全议程
a16z 对 100 位千人以上企业 CISO 的调研显示，87% 预计网络安全支出将增加，主要驱动是 AI 带来的威胁与企业自身 AI 部署扩大的攻击面。2027 年最受关注的七项安全举措全部与 AI 相关，SOC 自动化获得最多第一优先级投票，但仅 18% 已把 AI SOC 工具投入生产。45% 计划在 12 个月内为内部 AI 智能体安全新增采购或升级，42% 计划采购攻击性安全能力。
多年来，业界一直为量子计算改写网络安全规则做准备。然而，AI 抢先一步到来了。 今年夏天，OpenAI 的智能体突破了某项网络安全评估，并侵入了 Hugging Face 的生产系统。它们利用漏洞、使用窃取的凭据，一路潜入另一家公司的基础设施，这一切都是为了获取测试答案。OpenAI 的事件报告描述了这些模型如何将各个步骤串联起来达成目的。 这仅仅是个预演。自那以后，AI 帮助发现了互联网大部分所依赖的软件中的弱点。就在上周，各公司纷纷紧急修补 PHP 中的关键漏洞，而全球约 70% 的网站都运行在 PHP 之上。这些漏洞已存在十多年，直到研究人员通过 OpenAI 的 Patch the Planet 计划才帮助发现它们。同一天，eMudhra——一家被所有主流浏览器信任的证书颁发机构——被发现使用的加密密钥极其薄弱，其中一个密钥竟然就是数字 4。 这类错误一直存在，但模型在发现弱点并找出利用方法方面正变得越来越强。这一进展在 AI 安全研究所的评估中清晰可见，较新的模型能够完成日益复杂的网络任务。 更严重的漏洞也在被不断报告。面对日益增多的漏洞，安全团队必须确定哪些弱点对其业务构成
匹配字段正文
PyTorch 2.15 发布：重写 NCCL 后端成为默认，Apple Silicon 支持 FP8
PyTorch 基金会发布 PyTorch 2.15，所有使用 nccl 的进程组默认改用重写后的 NCCL 后端，并附带在集合通信挂起时转储现场信息的 flight recorder，可通过 TORCH_DIST_USE_NCCL2=0 或 nccl-legacy 回退。该版本还为 Apple Silicon 加入 float8_e4m3fn 与 _scaled_mm 支持，新的 grouped_mm 在 M3 Ultra 上让 MoE 解码吞吐提升 1.32–1.34 倍。默认 wheel 升级到 CUDA 13.2，同时提供 CUDA 13.4 wheel 并实验性支持 NVIDIA Rubin GPU，另新增 ROCm 10.0 wheel，且不再支持 Python 3.10 和 macOS 14。
.32–1.34 倍。若干线性代数求解器也经过了重写：512 x 512 矩阵的 QR 分解从约 7 秒降至 1.5 毫秒，三角求解现在也采用了分块实现。 （PRs 196071, 199687, 198611, 198495, 194933, 198721, 198725, 198732, 195944 以及 196900 作者：Irakli Salia，Hugging Face； 196922, 196241 以及 195369 作者：Nikita Shulga，Thinking Machines Lab； 193153 作者：Sunghyun Choi，韩国技术教育大学； 188473 作者：Shrivas Shankar，威斯康星大学麦迪逊分校） 核心特性 默认使用 CUDA 13.2 及 CUDA 13.4 Wheels 默认的 PyTorch wheel 升级到 CUDA 13.2（13.2.2 工具包），同时为 Linux x86 64、Linux aarch64 和 Windows 提供 CUDA 13.4 GA wheel。CUDA 13.4 wheel 新增了对 N
匹配字段正文
Mistral 称万亿参数开源模型 Le Chonk 在编码与网络安全上超越中国模型
Mistral 发布万亿参数开源权重模型 Le Chonk 的正式版本，称其是自动化编码和网络安全领域全球最好的开源权重模型，可免费获取。Mistral 科学副总裁 Pierre Stock 表示，该模型通过不断加难的网络安全与编码问题训练，得以追平或超过 DeepSeek、Z.ai 等中国实验室的模型。Stock 同时强调西方需要自己的先进开源权重模型，因为闭源模型可被远程关停，而开源权重一旦发布便无法切断访问。
串与AI相关的网络安全事件之后，Mistral声称，西方拥有自己的先进开放权重模型很重要。“你无法保证（中国模型）不会恶意行事。它们可能成为威胁载体，”Stock说。 最引人注目的事件发生在今年夏天，OpenAI的一个模型脱离了测试沙箱，并入侵了多家公司。这引发了人们的恐慌，担心AI可能逃脱人类监督，并被威胁行为者滥用来发动复杂的网络攻击。（受影响的公司之一Hugging Face使用了一个来自中国的开放权重模型来评估和防御此次攻击。） 此后，AI也在无处不在的软件中发现了安全漏洞。10月，在一款AI工具发现一项基础网络技术中的严重缺陷后，大量网站下线。 Mistral将其像Le Chonk这样的开放权重模型宣传为解决方案的一部分。其论点是，如果AI注定要成为网络攻防的核心特征，那么企业和政府将需要配备可免费获取且无法被远程关停的模型，而不像OpenAI、Anthropic和Google等公司的专有模型那样。 “AI将像电力一样。你不会想生活在一个邻居随时可以切断你电力的世界里，”Stock说。“一旦你将权重开源，它们就会传遍互联网。不可能切断访问。” 然而，代价是，可免费获取的模型也
匹配字段正文
AI 推动形式化验证创业潮，&Truth 融资 7000 万美元
WIRED 报道，生成式 AI 正在把形式化验证推向商业化，&Truth 已融资 7000 万美元并公开上线，Harmonic 累计融资 2.95 亿美元，其数学 AI 智能体 Aristotle 支持验证 C 代码和 Verilog 硬件设计。斯坦福研究者 Chuyue Sun 用 AI 工具在不到半天、花费不到 500 美元完成一项工程项目，而三位专家手工完成同一工作用了五个月。报道同时指出该技术仍处原型阶段，客户付费意愿和采用方式不明，Antithesis 的 Will Wilson 称形式化验证是“陷阱”，只能提供部分保证。
规范可能要求它在排序前后包含相同的条目，只是顺序不同。进一步的自动化工作（可能不涉及 AI）会将代码转换为 Lean、Rocq 和 Isabelle 等数学工具可用的格式，以检查代码是否按预期运行。 形式化验证领域另一位新近入局者是 Madan Musuvathi，他在微软研究院工作二十多年后离职，创办了初创公司 Truidic。在发生 OpenAI 入侵 Hugging Face 等事件后，他感到迫切需要将自己的研究商业化。“AI 落入攻击者手中可能极其强大，”Musuvathi 说，但验证可以“让 AI 对每个人、每个地方都安全可靠。” Proofcraft 是少数长期提供传统验证的公司之一，它表示，人们对这一流程日益高涨的热情正转化为潜在客户的大量咨询。该公司 CEO June Andronick 和首席科学家 Gerwin Klein 表示，兴趣很容易超出他们及其竞争对手所能提供的范围。 但两人都担心，AI 生成的规范可能会让人对结果产生“毫无根据的信任”。验证者也渴望保留这项工作带给他们的乐趣。Klein 称它“相当令人上瘾，就像解谜游戏。”如果一切顺利，他将比以往任何时候都
匹配字段正文
Google DeepMind 发布 Gemini 4 Carbon，登顶 Artificial…
Google DeepMind 发布 Gemini 4 Carbon，在 Artificial Analysis Intelligence Index v5 上以 59 分排名第一，并在 HLE-Diamond、TB-Science 等 9 项评测中的 4 项领先。该模型主打网络安全与长周期任务，宣称在 SEC-bench Pro 上取得 88.2%、ExploitGym 上 54.8%、CWE-bench 上 71.0%，初期仅通过 Fairwind Program 向可信网络安全人员开放。规格上支持 1M token 上下文与 1M 最大输出，输入覆盖文本、图像、视频和语音，输出为文本；Artificial Analysis 列出的标准价格为每百万输入/输出 token 4/20 美元，另有 50% 上线折扣。
动多个模型、框架和机器。单个 MCP 服务器通过互联网控制整个集群，而非通过计算机使用（@theo，MCP 演示）。 框架开销：30 个开源编程框架的默认系统提示从 goose 的 235 token 到 Gemini CLI 的 11,974 token 不等，这还不包括任何工具定义（@nathanhabib1011）。 智能体训练与能力： 后期训练课程：Hugging Face 发布了一套五步智能体后期训练课程，从 SFT 到 RL 均在真实框架内进行（@SergioPaniego）。 Opus 5.5 游戏：Simon Willison 称十月是一个拐点，因为 Opus 5.5 构建的游戏确实好玩（@simonw）。 Lor：Lor 的智能体编写代码并运行多日实验，一次数百个；该产品处于内测阶段（@mirendil）。 研究：架构、训练与理论 H-Net v2（Cartesia）：H-Net 从原始字节端到端学习分词（@ albertgu）。 结果：受控扩展实验显示效率提升 3–5 倍。在更大规模下，该模型用约少 10 倍的数据和算力，就能匹配一个在 11T token 上训练的
匹配字段正文
Baseten 优化 Qwen3-ASR 批量转写，单卡吞吐提升 7 倍
Baseten 工程团队通过原生音频解码、KV cache FP8 量化和减少主机与设备同步，把 Qwen3-ASR 1.7B 在单张 RTX PRO 6000 上的批量转写吞吐提升 7 倍、延迟降低 6.9 倍。优化后一小时音频的转写成本约为 0.0013 美元，即每音频小时 1/10 美分，词错误率没有明显变化。该优化版本已作为 Baseten Model Library 的默认部署，可通过 OpenAI 兼容的转写客户端调用。
使用 Qwen3-ASR 实现最快、成本最低的批量转写 使用 Qwen3-ASR 转写一小时音频仅需十分之一美分，吞吐量提升 7 倍，延迟降低 6.9 倍，且对质量没有明显影响。 作者Hasan KhanAnsel Erol 发布于 2026 年 10 月 28 日 分享 发布于 2026 年 10 月 28 日简要总结 Qwen3-ASR 1.7B 位于 Hugging Face 的 开放 ASR 排行榜的帕累托前沿，但要高效地将其用于批量转写，还需要细致的优化。我们结合了原生音频解码、KV 缓存量化以及减少不必要的主机到设备同步，在单张 RTX PRO 6000 上以高并发实现了每秒转写音频量提升 7 倍。对于长达一小时的文件，我们可持续达到超过 3,000 倍的实时因子（RTF），每音频小时成本约为十分之一美分，且词错误率没有明显变化。 语音转文本可分为两种截然不同的工作负载。一方面，实时转写关注的是延迟：语音智能体需要在说话人开口后的几百毫秒内拿到文字。另一方面，批量转写关注的是吞吐量：播客网络、会议纪要产品和呼叫中心档案拥有数小时的录音，希望以尽可能低的成本完成转写。这意味着
匹配字段正文