2024 年 8 月 15 日,特里斯坦·巴克马斯特和勒文·阿尔普ö格宣布他们已经获得了 Navier‑Stokes 相关问题的证明——在光滑外力下不可压缩多孔介质、Boussinesq 和三维不可压缩欧拉方程上的有限时间爆裂——并指控 OpenAI 可能使用了他们的去标识数据来改进其模型。 该声称将备受关注的千年奖问题与 AI 训练数据来源的新兴担忧联系起来,引发了关于当公司模型可能吸收研究者工作时,数学突破如何被归属的疑问。 他们的结果并未解决官方的 Clay 千年奖 Navier‑Stokes 存在与光滑问题,而是处理相关的爆裂情景;OpenAI 回应称虽然不太可能,但不能排除用户使用其产品的去标识数据有助于改进其模型,且 Levent Alpöge 在 Anthropic 工作。
OpenAI 宣布其内部模型在不到两周的训练后,产生了纳维-斯托克斯存在与光滑性千年难题的解,暗示该方程可能在有限时间内产生奇点。 如果得到验证,这将代表在解决数学史上最著名的未解问题之一方面取得重大进展,可能对流体动力学研究产生影响,并展示人工智能在形式化数学推理方面的日益增长的能力。 该声明基于一个训练时间不到两周的内部模型,OpenAI 称其数学能力超过现有模型一倍多;该证明尚未经过同行评审,并引发了抄袭指控以及关于人工智能在数学发现中作用的争论。
DaVinci Resolve 21.1 添加了对 Claude、Claude Code 和 ChatGPT Codex 等 AI 助手的支持,使得项目分析、媒体整理和设置调整成为可能。它继续为专业版用户提供免费升级。 AI 助手的集成反映了将生成式 AI 嵌入创意工作流的日益增长趋势,有望提升视频编辑者的生产力。与此同时,持续的免费升级政策使 DaVinci Resolve 与订阅制竞争对手区分开来,影响了专业软件市场的许可期望。 AI 助手功能在 Fairlight 和 Edit 页面内运行,允许通过自然语言命令调整颜色分级、时间线和音频混音。然而,Linux 用户仍然缺乏原生的 H.264/AAC 编解码器支持以及 VST3/JACK 集成,这在社区反馈中有所提及。
该博客对 Qwen3.8 27B 模型的多种量化级别进行基准测试,结果显示 4-bit 量化保持接近全精度的性能,而 1-bit 量化导致质量严重下降。 这些结果有助于开发者在内存节省与模型质量之间取得平衡,特别是在消费级 GPU 上部署大型语言模型时。 基准测试表明 2-bit 量化略有性能下降,4-bit 量化仍在全精度模型的置信区间内,而 1-bit 量化则显著劣化;文中还提到了 KV 缓存量化的影响以及使用了 Wilson 95% 置信区间。
发布了一个交互式网页工具,可实时可视化大型语言模型中注意力权重的计算和分布,使用户能够探索查询‑键‑值交互。 该可视化降低了理解 transformer 核心概念的门槛,对教育工作者、学生和需要直觉掌握注意力机制的从业者具有重要价值。 该工具显示每层每个注意力头的注意力得分热图,用户可选择输入令牌以查看其查询‑键‑值贡献,并且在文本变化时实时更新视图。
DeepMind 发布了 AlphaGenome Atlas,一个提供人类基因组中所有可能单核苷酸变分子影响预计的数据库,共约 90 亿种 DNA 单碱基变化。 该图谱为研究者提供了即时、无需编码的所有可能单核苷酸变异的功能预测,加速了罕见病研究和功能基因组学中的变异解释。 AlphaGenome Atlas 通过对 hg38 参考基因组进行体外饱和突变模拟生成,为每个变异分配平均 AVI 分数以量化其预测的分子影响。
OpenAI 宣布了 ChatGPT Images 2.5,这是一个更新的多模态模型,能够在 ChatGPT 界面内增强图像生成能力。 此次升级提升了 AI 生成图像的质量和多功能性,为依赖多模态 AI 进行创作和分析的开发者、设计师和研究者带来好处。 ChatGPT Images 2.5 是 ChatGPT Images 系列的第 2.5 版,已集成到 ChatGPT 中,使用户能够通过自然语言提示生成图像。
Inception Labs 宣布发布 Mercury 2.5,这是一种基于扩散的语言模型,吞吐量达到每秒 1,107 个 token,相比前代提升 40% 智能水平,专注于语音和编码场景。 其高吞吐量和低延迟解决了多模型系统中 LLM 评判者的关键瓶颈,使得实时 AI 助手更具响应性,有望在实时应用中获得更广泛采用。 Mercury 2.5 提供 260K token 上下文窗口,在 OpenRouter 上的费用为每百万输入 token 0.20 美元,输出 token 0.75 美元,且未开放权重。
Meta 发布了 Muse,一个能够预订餐厅、管理提醒、生成图像并与 Facebook、Instagram、Spotify 和 OpenTable 集成的个人 AI 代理。 Muse 预示着 Meta 在个性化 AI 助手方面的推进,旨在提升用户在其平台上的参与度,但同时也因公司的数据做法引发了对隐私和信任的质疑。 Muse 运行在名为 Muse Secure VM 的专用安全虚拟机上,提供免费层以及每月 20 美元或 100 美元的付费订阅,并能够代表用户发送电子邮件、购物和创建图像。
该名为 “I-have-ADHD” 的 GitHub 技能通过提示让大型语言模型生成更简洁、以行动为先的代码回答,从而减少冗长。该项目在 Hacker News 上获得 257 分、203 条评论的关注。 大型语言模型生成的代码常常包含过多解释和限定条款,导致开发者难以快速获取所需解决方案;该技能提供了一种轻量级的提示方法来提升代码的可读性和开发效率。这凸显了在软件工程中对能够抑制模型冗长的提示工程技术日益增长的需求。 该技能以 AGENTS.md 文件形式存在,用户将其复制粘贴到 CLI 提示或 CLAUDE.md 配置中,以让模型采用“先行动”风格——编号步骤且无前言。社区反馈表明其效果可能在几轮后消失,除非不断重复强化,且部分用户认为对 Claude 等模型仅部分有效。
Copperhead 是一个基于网页的硬件设计工具,支持一键导出 Gerber、DXF/STEP、生成 BOM,并提供 Altium 兼容性,旨在让硬件开发像软件一样快速。 通过降低快速 PCB 原型制作的门槛并与现有 EDA 工作流集成,Copperhead 有望加速工程师和爱好者的产品开发周期。 该工具完全在浏览器中运行,支持导入/导出标准 PCB 文件,并提供具有类似 Altium 功能的云计划,超越了 KiCad 的兼容性。
FreeBSD 14.5 已发布,提供了 14.x 分支的最终 i386 架构镜像,该分支计划于 2028 年 11 月达到 end-of-life。 此次发布标志着 14.x 系列的最后一次官方 i386 支持,对仍依赖旧款 32 位硬件的用户以及在 2028 年 EOL 前进行升级规划具有重要意义。 FreeBSD 14.5 发布包含了 14.x 分支的最终 i386 引导镜像及更新,而较新的 15.1 版本已经发布,表明两条支持路径并行存在。
Konstantin Ryabitsev 报告称,恶意网络爬虫在 git.kernel.org 消耗的 CPU 资源超过了所有合法 Git 流量的总和,五个地理分布的节点上有 14 个 CPU 内核一直在渲染 Git 提交为 HTML。 这一失衡凸显了背景爬虫对关键开源基础设施日益增长的成本威胁,可能影响性能并增加类似 git.kernel.org 等平台的运营开销。 报告指出,在五个节点上有 14 个 CPU 内核专门用于渲染提交为 HTML,作者还以 Datasette 的角度表达了担忧,因为 Datasette 提供大量可爬取的页面。
NeurIPS 位置论文轨道使用专有的 Pangram AI 检测器,在没有人工审查或申诉的情况下 desk-reject 了 178 篇投稿(占 18.4%)。独立测试表明,轨道主席们的近期论文同样会被标记为 24‑69% 的 AI 概率,若按同一标准他们也可能被拒。 此事件凸显了在高风险学术决策中依赖未经验证的黑箱 AI 检测器的危险,引发了对误报的担忧,尤其是对非英语母语者的影响,并削弱了对同行评审的信任。它也推动了关于在 AI 辅助筛选中需要透明度和人工监督的更广泛讨论。 Pangram 的默认设置最初将 42.7% 的投稿标记为 90‑100% AI;主席们不得不缩小文本窗口大小,以将标记率降至报告的 12.7%。有 22 篇论文仅因得分超过 0.5(而作者否认使用 AI)被拒绝,而斯坦福的一项研究表明,61.2% 的人类撰写的 TOEFL 文章因非母语英语写作模式被误判为 AI。
一位 Reddit 用户在 r/artificial 发帖询问当前的 LLM 架构是否能够通向 AGI,引发了关于 AGI 定义、向下重新定义 AGI 以及 ELIZA 效应的讨论。 这场辩论涉及通往人工通用智能的核心假设,并指出拟人化偏见如何塑造期望,从而影响研究优先事项和公众认知。 原帖指出 LLMs 通过自回归方式预测下一个 token 的概率分布,缺乏内在机制识别错误;评论者则指出,随着模型能力提升,人们往往会下调 AGI 的标准,并且由于 ELIZA 效应倾向于将理解归因于模型输出。
uv 0.12.11 于 2026-09-08 发布,引入 PEP 751 锁文件的预览支持,通过生成缺失的工件哈希并警告空哈希表,并包含多项性能增强,如消除每文件临时目录以实现原子文件替换以及复用 ZIP 读取器。 这些更改使 uv 对 Python 开发者更快速且更可靠,同时推动了标准化的 PEP 751 锁文件格式的采用,提升了跨环境的可重现性。 性能提升来源于移除硬链接、符号链接和 reflink 替换的每文件临时目录,改用相邻临时文件,在 ZIP 档案中使用定位读取,复用 ZIP 读取器/缓冲区,以及在 --no‑deps 已找到所需包时跳过传递依赖检查;PEP 751 预览还会生成缺失的工件哈希并警告空哈希表。
该项目展示了如何在 MacBook Pro 上通过从四块外部 SSD 流式传输权重,以大约每秒一个 token 的速度运行 2.8 万亿参数的 Kimi K3 混合专家模型。 这表明在消费级硬件上运行超大规模模型是可行的,凸显了以存储为中心的推理在普及前沿大语言模型方面的潜力。 该实现通过 Thunderbolt 将四块 NVMe SSD 连接,直接将模型权重流送至 GPU/CPU,受带宽限制导致约每秒一个 token;该模型为混合专家(MoE),总参数 2.8T,激活参数 104B。
文章声称两位基督教圣人实际上是佛陀,引发了 Hacker News 关于宗教融合和神话原型的讨论。 该说法凸显了宗教传统如何相互吸收和重新诠释彼此的人物,说明了文化融合的更广泛模式,这些模式塑造了世界观和跨宗教对话。 尽管文章未明确点出圣人名称,但评论指出他们可能是约萨法特圣人和巴拉阿姆圣人等人物,并提到他们在 16 世纪被封圣、20 世纪被除名。
文章介绍 Herdr 是一项服务,可在笔记本、台式机或租用的机器上保持真实终端打开,使 AI 编码代理能够跨设备持续运行,并在任何具备键盘的设备上重新连接。 通过为 AI 代理提供持久连接,Herdr 填补了远程开发工作流中的空白,并有可能成为专注于代理用途的通用 VPN 工具(如 Tailscale)的替代方案。 Herdr 会保持实时终端会话,即使合上笔记本盖也能存活;添加新的代理类型需要更新 Herdr 二进制文件以实现进程检测、标签和集成行为。
llm 0.35 版于 2026 年 9 月 7 日发布,新增对 OpenAI 刚刚发布的 gpt-6-astra 模型的支持。 此更新使开发者能够直接在命令行中使用 OpenAI 最强大的模型,简化实验和最先进 AI 能力的集成。这表明新型大语言模型在工具链中的快速采纳,有助于依赖 llm CLI 进行多提供商访问的研究人员和工程师。 llm 0.35 新增了 gpt-6-astra 模型标识符,用户可以通过 CLI 使用与其他提供商相同的语法调用该模型,并继承其 reasoning.effort 参数(低、中、高、xhigh、最大)的支持。此更新并未改变 llm 的核心功能,仅扩展了模型列表;使用新模型需要拥有具备 gpt-6-astra 访问权限的 OpenAI API 密钥。
一个只有 417k 参数的循环动态系统学会了从单一初始隐藏状态自主生成约 6500 帧的 Bad Apple 视频,无需时间戳输入。 这展示了对时间视频数据的极端神经压缩,表明极小模型能够编码长序列,可能启发高效的视频存储和生成技术。 该模型使用 64 维隐藏状态和 64 维细胞状态,采用 4 门 LSTM 风格的循环转换(16,640 参数)以及由四阶双线性上采样和深度可分离卷积构成的帧解码器(400,361 参数)。
一位 Reddit 用户发布了一段名为《Artificial(2026)》的 AI 生成视频,因其高度逼真和创意剪辑而受到关注。 该视频展示了生成式 AI 在制作逼真合成媒体方面的进步,凸显了其创造潜力以及深度伪造滥用的担忧。 该视频使用了未透露的 AI 工具制作,评论者称赞其逼真度,同时询问用于达到如此效果的软件。
AI 驱动的黑客技术激增,增加了医院和银行网络安全人员的工作负担,导致许多人出现倦怠,大约有一半的分配任务未完成。 关键基础设施防御人员的倦怠会削弱对日益复杂的 AI 增强攻击的抵御能力,危及患者数据、金融资产和公众信任。 彭博文章引用了对约 16,000 家公司的调查,显示 2026 年上半年 CISO 仅完成了约一半的分配任务,留下大量“僵尸工作”,加剧了无力感。
Kaze Emanuar 的视频展示,他花费数周用更高效的近似方法替换了 Nintendo 64 的 arctan 查找表,每次调用大约节省 100 微秒并释放约 1KB 缓存。 此优化表明减少内存占用可以缓解 N64 的总线竞争,展示了底层技巧对复古游戏性能的持久价值。 原始实现使用大型查找表以时间换空间;新的定点多项式近似减小了表的尺寸,降低了缓存使用和内存流量。
文章探讨了 ZX Spectrum 的单声道蜂鸣器如何通过 1 位技术(如脉宽调制)产生丰富的音频,并配有视频演示,受到怀旧计算爱好者的讨论。 它展示了在严格硬件限制下如何激发创意声音设计,为嵌入式音频开发和今日仍具价值的 chiptune 音乐提供启示。 文章引用了 Tim Follin 在 ZX Spectrum 上的经典曲目,引用了 Byte Magazine 20 世纪 70 年代对方波语音合成的报道,并提到一位读者的 Arduino PWM 示例,该示例模仿了 Spectrum 蜂鸣器的技术。
Y Combinator 推出仅限受邀的早期访问网络,让高级技术领导者提前了解企业 AI 初创公司,引发了关于排他性和价值的讨论。
研究表明,大型语言模型在训练过程中通过自适应探索其环境时,可能会产生新的社会偏见。 这一发现揭示了 AI 系统可能无意中获取有害偏见的新途径,引发了对 AI 安全和公平性的担忧。 研究发现,偏见的产生特别出现在模型使用自适应探索策略时,而常规微调未见此现象,表明探索机制本身可能导致表示偏差。
Glocq 上的文章提供了 Bevy 游戏引擎动画工作原理的高层次概述,描述了其架构、核心概念和典型使用模式。 了解 Bevy 的动画系统有助于基于 Rust 的游戏开发者创建更流畅的角色运动,并利用其数据驱动的 ECS 设计,这随着 Bevy 在独立和开源游戏项目中的采用日益增加而变得重要。 该概述解释说,Bevy 的动画系统围绕曲线、剪辑和播放器构建,通过有向无环图(DAG)混合动画,并通过组件和资源与 ECS 集成。
在 jerf.org 上的 2026 年文章中,作者认为将函数参数视为类型系统中的'颜色'具有误导性,并澄清了参数与效果注解(如 IO 或状态)之间的区别。 澄清这一区别有助于语言设计者避免将数据流与副作用混淆,从而产生更精确的类型系统并更好地推理程序行为。 文章区分了函数参数(传递给函数的值)和效果注解(在使用代数效应和处理器的系统中常被比喻为'颜色'),并警告将两者混淆可能破坏参数多态性并掩盖效果追踪。
实验室提出了一种名为 EmbedFlow 的技术,通过用新模型重新排序旧索引中的少量文档(K)来实现嵌入模型的零停机迁移,检索质量可与完全重新嵌入相当。在最多 100 万文档的测试中,将 Qwen‑4B 升级到 Qwen‑8B,K=50 时的检索效果与原生检索相同。 该方法省去了数周的重新嵌入过程,使得在生产环境中的 RAG 和向量检索系统能够频繁升级嵌入模型而不中断服务,从而节省计算资源和运营成本。 EmbedFlow 支持 FAISS 和 Qdrant 后端,提供持久缓存和后台物化,可通过 `pip install embedflow` 安装,其源代码在 GitHub 公开。关键在于选择合适的 K 启发式以保证检索质量。