全部 AI 精选，可按分级、类型筛选，按关键词搜索。
Local beats cloud, Qwen 3.8 FN
这是一篇社区案例帖，作者描述在高校硕士论文模块中用本地模型 Qwen 3.8 flash next（运行在 opencode 中，vllm 后端，Docker 沙箱、输入只读、工作区可写）处理学生、导师、课题、评审与成绩的匹配事务和多种格式 CSV 数据导入，因为学生姓名邮箱与早期研究项目信息不便上传云端。帖子称本地模型以接近前沿云端模型的水平完成了该任务。适合关心数据隐私场景下本地模型落地应用的人阅读。
People who tried gpu-unlock on 3090s and such - does this make any difference on mixed-precision quants where you get some parts of the model quantized to <=Q8 but keep some tensors at BF16?
这是一篇社区提问帖，询问在 3090 一类显卡上解锁 FP16/BF16 矩阵乘性能后，对混合精度量化模型是否有效。评论者回复称基本没有差别：解锁只放开带 FP32 累加的 FP16/BF16 与 TF32 矩阵乘；llama.cpp 对 Q4–Q8 等量化权重走 MMQ INT8→INT32 路径，本来就没有锁定，实测 Q6_K 模型 prefill 与 decode 速度无变化，收益只出现在用 llama.cpp 跑未量化 BF16 GGUF 时。适合在消费级显卡上运行量化模型并关心推理性能调优的人阅读。
Interactive neuron steering playground for Qwen3.5-4B that runs locally in the browser on WebGPU
这是一篇社区分享帖，作者受 X 上关于用极少量神经元（常为一两个）操控大模型行为的讨论启发，制作了一个交互式实验台，可在浏览器中通过 WebGPU 完全本地运行 Qwen3.5-4B，让用户自行尝试不同神经元组合对模型输出行为的影响，并给出 Hugging Face Space 链接。适合对模型内部机制、神经元级行为操控和浏览器端本地推理感兴趣的人阅读。
Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses)
这是 Cloudflare 博客与推理引擎 SGLang 协同披露的一篇安全事件报告。文章称 2026 年 8 月 27 日至 9 月 9 日期间，使用 GLM-5.3 Workers AI 模型的少数客户收到了包含其他客户此前请求数据的响应，共涉及 155 条响应，且均为超过 681,280 token 的长提示。文章说明问题已修复并于 9 月 9 日恢复该模型，未发现故意利用的证据，同时介绍了缺陷原因、响应时间线及对生产环境 SGLang 部署的加固措施。
How to Test Your Agents on Real Tasks With Harbor - Xander Song, Arize AI
这是 Arize AI 工程师 Xander Song 介绍 Harbor 的演讲视频，Harbor 是一个在隔离沙箱中用真实数据评估智能体在真实任务上表现的开源框架。内容涵盖任务、Docker 环境、验证器与奖励、试验与作业、在消耗 token 前校验配置的 oracle，以及 ATIF 轨迹；随后演示团队如何在 Daytona 与 Phoenix 上大规模运行 Harbor，用于测试一次将智能体导向新 SQL 工具的提示改动，最后是问答环节。
Agents That Self Improve While You Sleep - Fuad Ali, Arize AI
这是 Arize AI 的 Fuad Ali 的一场工作坊视频，讲解如何为 AI 智能体搭建自我改进闭环：追踪全部数据，让常驻智能体 Signal 按计划读取轨迹并提交去重后的问题，把失败转化为评估与持续更新的回归数据集，运行实验证明修复有效，并在评估设计、数据集整理和修复审查等环节保留人工参与。演示基于一个预先植入了缺陷的玩具购物智能体，并包含关于定性输出评估、决策模型与成本的问答。
Mathematics Just Changed Forever — Kevin Hartnett
这是一个围绕 Kevin Hartnett 著作《The Proof in the Code》制作的纪录片式访谈视频。内容从 1998 年 Thomas Hales 计算机辅助证明开普勒猜想、Annals of Mathematics 无法判定其正确性讲起，讲述 Lean 从微软研究院的副项目发展为数学界用于校验证明的系统，并采访了 Lean 创建者 Leonardo de Moura、Jeremy Avigad、Kevin Buzzard 等人。后半部分转向 AI，涉及 AlphaProof、自然语言奥赛证明、自动形式化，以及“形式化鸿沟”这一概念。
Working with academic communities to build scientific understanding
OpenAI 发布的一篇研究类文章，介绍其在 Kakeya 猜想、指数时间假设（ETH）和量子色动力学等数学与物理问题上给出的模型结果，以及研究者如何验证并在此基础上继续工作。页面以“局部光滑化与 Kakeya 猜想”等小节组织内容。
ChatGPT’s expanding world of work
OpenAI 于 2026 年 10 月 26 日发布的研究页面，由 OpenAI Economic Research 发布可下载的数据集（OpenAI Signals）。内容涉及覆盖近 100 个国家、165 种工作活动的使用数据，用于考察人们在工作中如何使用 ChatGPT 以及使用方式随时间的变化，并面向研究人员开放数据下载与探索。
Simon Willison 的博客文章讨论 OpenAI 发布 GPT-6.1 Terra 时的宣传重点：视觉推理与计算机操作，兼有更清晰自然的写作。文中指出 Terra 在模型序列中的定位类似 Anthropic 的 Sonnet，介于最便宜与最贵之间；并引用 OpenAI 的 Ted Sanders 在 Hacker News 上的说法，称 Terra 在技术沟通上优于 Astra 与 Sol、在视觉与计算机操作上相当但更快、多数其他方面略弱，以及它对开发者和订阅用户分别意味着什么。
Deepity: a hand-tuned C++/CUDA predictive coding library, beats jpc (JAX) and ngc-learn on MNIST (CPU benchmarks + source inside) [P]
这是一篇 [P] 类社区发布帖，作者用 C++20 从零实现预测编码（PC）引擎并配薄 Python 层，发布首个公开版本。帖中介绍了预测编码与反向传播的区别（各层本地信念对自上而下预测做误差最小化、需“settling”阶段、不保存反向计算图），以及库的组成：手写 AVX2/AVX-512 SIMD 内核、OpenBLAS/MKL 做 GEMM、仍在调优的 CUDA 后端（暂不可用）、基于 nanobind 的 Python 绑定（pip install pydeepity），并支持多种 PCN 变体；帖子称在 MNIST 上优于 jpc（JAX）与 ngc-learn，并附带 CPU 基准和源码。适合研究预测编码、非反向传播训练方法与底层内核优化的人阅读。
OpenAI 官网介绍 GPT-6.1 Terra 的页面，正文含有「从视觉理解到行动」「事实性与编程能力的显著提升」「安全与对齐」「定价与可用性」等小节标题。页面还链接到 OpenAI 开发者文档中该模型的 API 说明页。材料仅能看出这是一个模型发布与介绍页面，具体性能数据未在材料中体现。