德国 Soofi 联盟发布 Soofi S 30B-A3B,一个 31.6B 总参数、3.2B 激活的混合 Mamba-Transformer MoE 基础模型,专为德语和英语优化。
2026-07-16
— 开源模型迎来井喷日,但 Linus 对 AI 的「工具论」或许才是开发者最该听的。
今日两大主线:一是 Thinking Machines Lab 发布 975B 参数开源多模态模型 Inkling,主打可定制而非最强;二是 xAI 在数据上传争议后火速开源 Grok Build CLI 代码库。此外,OpenAI 披露了用于自动化安全红队的 GPT-Red 系统,Google 则推出了在浏览器端运行 TFLite 模型的 LiteRT.js。
头条
Thinking Machines Lab 发布首个开源模型 Inkling:975B 参数 MoE,支持 1M 上下文多源事件 ×6
由前 OpenAI CTO Mira Murati 创立的 Thinking Machines Lab 发布了其首个从头训练的模型 Inkling。这是一个 975B 总参数、41B 激活参数的 Mixture-of-Experts 模型,支持高达 1M token 的上下文窗口,原生接受文本、图像和音频输入。模型权重以 Apache 2.0 协议开放。为什么重要:Inkling 并非旨在成为最强基准模型,而是定位为高度可定制的基础模型,其开放权重和配套的微调平台 Tinker 为开发者提供了构建专用 AI 系统的坚实基础,尤其适合需要多模态理解和长上下文处理的企业级应用。
社区普遍认为这是美国开源模型的重要补充,在多模态和长上下文方面有优势,但也有人指出其在部分基准测试上不如 GLM 等模型。
xAI 在数据泄露争议后开源 Grok Build CLI 代码库多源事件 ×3
xAI 的终端 AI 编程代理 Grok Build 因被曝会在运行时将整个目录(包括 SSH 密钥、密码库等)上传至 Google Cloud 而引发强烈抗议。作为回应,xAI 宣布删除所有已上传数据,并随后将整个 Grok Build 代码库以 Apache 2.0 许可证开源,该代码库包含 84.4 万行 Rust 代码。为什么重要:尽管开源动机被质疑为公关补救,但此举让开发者得以审查其内部机制,包括一个用 Unicode 字符画在终端渲染 Mermaid 图表的自包含渲染器,对构建终端工具链的开发者有直接参考价值。
评论区普遍质疑这是数据泄露后的公关手段,但也有人认为无论动机如何,开源本身值得肯定。
OpenAI 推出 GPT-Red:用自动化红队模型提升 AI 安全性
OpenAI 发布了 GPT-Red,一个专门用于自动化红队测试的 LLM,通过自我博弈的方式发现其他模型的安全漏洞。该模型已被用于训练最新的 GPT-5.6 系列,使其成为 OpenAI 迄今为止最鲁棒的发布版本。为什么重要:随着 AI 代理获得更多文件、网站和第三方工具的访问权限,传统人工红队测试已无法扩展。GPT-Red 提供了一种可扩展的自动化安全评估方法,直接关系到每一位构建 AI 代理应用的开发者的系统安全设计。
Google 发布 LiteRT.js:在浏览器中通过 WebGPU 运行 TFLite 模型
Google 发布了 LiteRT.js,这是其设备端推理库 LiteRT(原 TensorFlow Lite)的 JavaScript 绑定。它将原生运行时编译为 WebAssembly,并支持通过 XNNPACK 在 CPU、ML Drift 在 WebGPU 以及实验性的 WebNN 在 NPU 上执行 .tflite 模型。Google 报告称其性能可达其他 Web 运行时的 3 倍,GPU/NPU 路径比自身 CPU 路径快 5-60 倍。为什么重要:这为 Web 开发者提供了高性能、保护隐私的客户端 AI 方案,无需服务器成本即可在浏览器中运行图像识别、自然语言处理等模型,对构建隐私优先的边缘 AI 应用意义重大。
每天 3 分钟,读完全球科技圈
免费订阅日报直达邮箱;注册后还可收藏、👍/👎 个性化你的排序。
已发布 10 期 · 每天筛过 150+ 条只留值得读的 30 条
AI 动态
Allen AI 分享构建海事领域 AI 代理 Shippy 的经验,强调高可靠性场景下,构建可信系统比模型本身更重要。
新论文提出 Function-Aware Fill-in-the-Middle 训练方法,利用代码中函数调用结构与编程代理交互循环的同构性,提升代理基础模型能力。
开发与开源
misa77:一个解压速度达 LZ4 两倍的新型 LZ 编解码器,通过减少分支和优化乱序核心实现极高解压吞吐量,适用于一次写入多次读取场景。
Simon Willison 将 Grok Build 中的 Mermaid 终端渲染器提取为浏览器工具,可将 Mermaid 图表转为 Unicode 字符画。
deja-vu:一个为编程代理提供记忆层的开源工具,可搜索 Claude Code、Codex 等工具的历史对话,支持自动召回和 API 密钥自动脱敏。
Firefox 浏览器被完整编译为 WebAssembly 在浏览器中运行,包含 Gecko 引擎和 SpiderMonkey JS 引擎,支持端到端加密。
社区热议
Linus Torvalds 在 Linux 社区明确表态,禁止因他人使用 AI 而进行攻击,称 AI 只是一种工具,不接受者可自行 fork 项目。
安全研究员演示利用 Claude 记忆功能窃取用户全名、雇主和安全问题答案,批评 Anthropic 未奖励漏洞发现,社区建议关闭记忆功能或使用假名。
评论区普遍认为Claude的记忆功能存在安全隐患,批评Anthropic未奖励漏洞发现者,但也有人认为可通过关闭记忆或使用假名规避风险。
开发者在一台 13 年机龄、无 GPU 的双路 Xeon E5-2690 v2 服务器上运行 Gemma 4 26B 模型,达到约 5 tokens/秒,引发关于老旧硬件实用性与功耗的讨论。
评论区普遍认为在老旧Xeon上运行Gemma 4是可行的实验,但速度慢且功耗高,成本上不如使用推理服务商;但也有人认为本地运行对数据隐私有优势。
资深开发者社区激烈反驳「代码从来不是难点」的论调,认为这是对软件工程复杂性的误解和 AI 营销话术。
微软发布创纪录数量补丁当天,匿名研究员公开 Windows 0-day 漏洞 HiveLegacy,可让低权限账户修改管理员账户。
GitHub Trending
AI-powered job application framework built on Claude Code. Fork it, fill in your profile, and let Claude evaluate jobs, tailor CVs, write cover letters, and prepare you for interviews.
更多值得一看(内容池 50 条)
If you use tailscale ssh, you rely on ACLs, and anyone else in your tailnet you should update as soon as possible. Even if you're alone in your tailscale don't write off the possibility of chained vulnerabilities. Generally, when it comes to something as important as ssh, consider using openssh instead.
...And preserve_thinking!!!!!!!! Ignore the image links here is the source:
At this year's AIE World’s Fair, AI engineering entered a new phase: building systems around agents, rather than just building with agents.
After over a year in development, ExLlamaV3 has had its first production release . Turboderp has been pulling 10 hour days with Fable to bring us this massive batch of improvements. Check out detailed performance metrics and a little write-up from him here . Some of the biggest changes: Removed flash-attention-2 and xformers dependencies Extended tensor-parallel support to most models, including Gemma4 New attention kernel with online cache quantization, dual input for SWA layers and attention s
Below Upstream Status sections are from Upstream Status for Binary Q1_0 is supported out of the box in upstream llama.cpp across many backends: CPU (generic, NEON, and optimized x86), Metal, CUDA, and Vulkan. Runtime Status llama.cpp (CPU, Metal, CUDA, Vulkan) ✅ Merged upstream, works out of the box MLX (1-bit) ⏳ Pending upstream: mlx#3161 ; until it merges, use PrismML-Eng/mlx (branch prism , built automatically by setup.sh ) Upstream Status for Ternary Ternary support is in the middle of migra
Inkling by Thinking Machines Lab is a huge step forward for US open weight models to catchup w/ China. Inkling solidly beats all US open models including NVIDIA Nemotron Ultra and ranks ~#5 of all open weight models. Congrats to the thinking team!
The convenience store chain will use StorMagic instead.
Microsoft is looking to sell its in-house AI models as more efficient and cost-effective than its competitors' models.
The vulnerability in the decades-old game could have allowed hackers to take over victims’ computers with a malicious game invite.
Microsoft's monthly release of security fixes, dubbed Patch Tuesday, resolved a record 570 security vulnerabilities across the company's product line, thanks to discoveries with AI.
The hacker used an employee's credentials to access source code, which revealed how Suno scraped decades of audio.
OpenAI outlines a “reverse federalism” approach to AI governance, where state laws help build a national framework for safe, democratic AI.
Modern AI models achieve strong performance on many established benchmarks, yet they still fail on tasks that humans find almost trivial, such as manipulating a string or drawing a dog with five legs. These examples suggest that existing benchmarks may under-measure persistent blind spots in current systems. We introduce blind-spots-bench, a benchmark designed to expose such blind spots through tasks that appear simple for humans but remain challenging for modern AI. We collect raw questions fro
Hi HN, we're Kiran and Vijay! Over the past two years, we have built a columnar storage engine for observability: logs, metrics, and traces. Today, it's exciting for us to show what we've built on top of that foundation: LLM Agent Observability. Given how non-deterministic agents are, storing all traces without sampling was critical for us. But these traces tend to be in the MBs, sometimes GBs - we needed to store them inexpensively. We also needed the queries and analyses to be fast. To meet bo
Post-training is essential for refining the domain-specific capabilities of large language models (LLMs), yet existing reward optimization and distribution matching methods tightly couple policy exploration with distribution alignment. This coupling forces expensive exploration directly on the policy model and severely hinders the asynchronous generation, reuse, and cross-model transfer of optimization signals. In this paper, we propose Proxy-guided Update Signal Transfer (PUST), a novel post-tr
Introduction RxBrain ( Hy-Embodied-RxBrain-1.0 ) is a unified multimodal foundation model for embodied cognition — a single model that couples language reasoning with visual imagination to deliver three core capabilities: 🤖 Embodied Understanding & Reasoning — question answering and chain-of-thought over images and multi-frame video. 🔮 World State Prediction — imagine the near-future frames an action produces in the physical world. 🧩 Joint Subgoal Planning — decompose a task into steps, emitting
"The ISS radiators are expensive and heavy. We're focused on making them cheap and light."
The Elon Musk-owned xAI is suing a South Carolina man who allegedly used the company's Grok AI chatbot to generate child sexual abuse material (CSAM). In a lawsuit reported earlier by Reuters, xAI claims Terry Wayne Harwood "knowingly and intentionally used Grok to circumvent safeguards, alter nonconsensual images, and generate and distribute CSAM," breaching the […]
Babies are tremendous learning machines, and key advances for AI may soon be found in the architecture of their little brains.
We build a Gin Config controlled PyTorch pipeline where the training code stays fixed and the experiment variables move into .gin files. We construct a nonlinear spiral binary classification task and define a configurable MLP with scoped architectural variants. We expose the optimizer, scheduler, loss, batching, seeding, and training loop through @gin.configurable bindings. We then run two scoped experiments, apply runtime overrides without editing source, and export the operative config for eac
Visual generators excel at rendering, but they confidently fabricate what they do not know. User requests are unbounded, evolving, and deeply long-tailed: new characters, trending entities, post-cutoff events, and more. This world-knowledge bottleneck is structural: generators are trained on fixed corpora, but the visual world is open-ended. We construct SearchGen-20K and SearchGen-Bench, with 20,839 prompts spanning twelve failure categories and twenty-two domains, paired with a pre-executed mu
Apple will reportedly partner with Chinese firms Baidu and Alibaba to roll out its AI service in the country.
Empower your AI to directly edit documents in real time. Discussion | Link
Back in March, we released an initial version of an OpenID Connect Provider. Now, with v5.1.0, this OIDC provider is certified for Basic OP thanks to our amazing contributors and to the OpenID Foundation team for allowing us to certify at no cost. This release also includes a couple of new features like Kubernetes annotation based access controls (just got into k3s so...), deny-by-default access controls, a stable config file (turns out having a simple configuration file as an alternative to CLI
I've finally open-sourced my USBridge Remote project on GitHub. I developed this software as an alternative to traditional remote desktops like RustDesk or AnyDesk, because I was fed up with their flaws and constant limitations. It was crucial for me to release a pure P2P tool without mandatory registration, paid subscriptions, or session limits. A key feature is the integration of the Moonlight protocol, which ensures high frame rates with virtually no ping. Natively solved the Wayland issue in
I have recently started working in mechanistic interpretability independently, starting with distill circuits thread My work is on disentangling and closely studying a single neuron, a 1x1 convolution in inceptionv1 model (and applying the method to other neurons in the same layer). The key insight was that the hadamard product of the receptive field and the weight of a neuron is what the neuron is 'seeing' or detecting. We can cluster the hadamard product to get all the patterns a neuron detect
In this paper, we propose SpectraReward, a training-free reward function that turns pretrained MLLMs into off-the-shelf reward models for image-generation reinforcement learning. Instead of asking the MLLM to judge a generated image or answer decomposed verification questions, SpectraReward measures how well the original prompt can be recovered from the generated image through a single image-conditioned, teacher-forced forward pass. We use the average image-conditioned prompt log-likelihood as t
Apple's current M2 Ultra-powered servers don't seem to be cutting it, so the company is shopping around for more power.
Suno says it was breached in November and "no sensitive personal information was compromised."
Gidi Littwin’s new AI startup, Hemispheric, makes diagnostic brain scans for conditions like depression, PTSD, and Parkinson’s. He wants the technology to be as cheap and easy as for a blood test.
Recent foundation image and video generation models offer strong generalization and controllability, but their direct application to embodied scenarios is limited by requirements for multi-view consistency, geometric coherence, and robot embodiment constraints. Existing methods typically adapt foundation models with limited robot data, often sacrificing visual knowledge acquired during large-scale pre-training. We present Xiaomi-Robotics-U0, a 38-billion-parameter multimodal autoregressive model
And Microsoft doesn't care.
a continuation: Codex adding 1M users a day now.
Large-scale text-to-image models are attractive backbones for dense prediction because RGB generation pretraining learns rich semantic, structural, and geometric priors. Existing generative and editing approaches reuse these priors by casting dense prediction as target generation: annotations such as depth, normals, alpha mattes, masks, and heatmaps are encoded into an RGB-trained VAE latent space and decoded back as image-like targets. We argue this inherits more of the generative output interf