VOL. 2026-09-06 · 12 STORIES · DAILY INTELLIGENCE
AI HOT RADAR 日报
2026-09-06 · PUBLISHED · 约 9 分钟
当日AI领域最突出的进展是Anthropic的Claude在11天内…
当日AI领域最突出的进展是Anthropic的Claude在11天内完成了费马大定理的首个端到端形式化证明，生成约1300万行Lean代码，标志着AI在数学推理上的重大突破。模型发布方面，OpenAI推出GPT-6 Astra开发者版，3D建模能力突出；Meta发布实时音频模型Muse Voice Transcribe，支持多说话人识别；谷歌WeatherNext 3直接学习卫星数据，预报分辨率提升5倍。开源生态活跃，Qwen3.8-27B系列衍生出多个高效微调变体，llama.cpp连续发布多个版本优化多平台支持，LiteLLM v1.101.0-rc.1增强镜像签名验证。此外，Abliteration.ai推出去除安全护栏的模型API，引发安全讨论。
今日看点
3 个章节 · 12 条情报- 01模型发布Qwen3.8-27B EfficientThink GGUF 模型发布6
- 02产品发布LiteLLM v1.101.0-rc.1 发布：镜像签名验证与多项修复5
- 03研究进展Claude 11天完成费马大定理形式化证明，清华姚班校友带队1
模型发布
MODEL RELEASE6 篇Qwen3.8-27B EfficientThink GGUF 模型发布
Hugging Face 上发布了 nerkyor/Qwen3.8-27B-EfficientThink-Uncensored-K3-Opus5-Grok4.6-GPT5.6Sol-SFT-SimPO-DFlash2-GGUF，这是一个基于 Qwen3.8-27B 的 GGUF 量化模型，支持 DFlash2 投机解码和多种量化级别（Q2-Q8）。模型在 GPQA、MMLU 和 LCB 基准上展示了性能，并提供了 llama.cpp 的部署指南。该模型旨在提升推理效率和性能，并支持多语言（英语和中文）。
IFM 发布 K2-Horizon-7B-Uno 扩散增强模型
IFM 发布了 K2-Horizon-7B-Uno，这是一个基于 K2-Horizon-7B 的扩散增强语言模型，通过 LoRA 适配器添加扩散路径，实现无损加速。该模型在多个基准测试中表现优于参考模型，如 Tau2 Telecom 得分 90.1，且吞吐量更高。模型代码和评估脚本已公开，完整评估套件即将发布。
Qwopus3.8-27B-Flash：高效多模态微调模型发布
Qwopus3.8-27B-Flash 是基于 Qwen3.8-27B 微调的多模态模型，旨在降低推理成本与响应时间，提升智能体任务的效率。模型通过两阶段训练（SFT 和 NeMo-RL+GSPO 强化学习）实现 12.8% 的加速解码和 80.7% 的 MTP 接受率，但 MMLU-Pro 分数略低于基础模型。该模型支持视觉、工具调用和代码生成，已知问题为某些 Python 代码缩进错误。
OpenAI 发布 GPT-6 Astra 开发者版，3D 建模能力突出
OpenAI 发布了面向开发者的 GPT-6 Astra 模型，该模型在细节关注、用户提示理解和复杂输出生成方面表现更优，尤其在 3D 模型构建上能力突出。Simon Willison 的博客文章对此进行了介绍，并提及 Astra 在创意任务（如给骑自行车的鹈鹕戴红领巾）上的表现。
Meta 发布实时音频模型 Muse Voice Transcribe，支持多说话人识别
Meta 的超级智能实验室发布了首个实时音频感知模型 Muse Voice Transcribe，能够实时转写语音、区分说话人并检测句子边界。该模型将音频分成 80 毫秒的块，并根据难度动态调整延迟，以平衡速度和准确性。其定价为每小时 0.18 美元，低于 OpenAI 和 ElevenLabs 等竞争对手，支持超过 70 种语言，现已通过 Meta AI 和 Meta Model API 提供。
谷歌发布WeatherNext 3：直接学习卫星数据，预报更精细
谷歌研究院和DeepMind发布了WeatherNext 3，这是一款直接学习实时卫星数据的AI天气模型，摒弃了传统物理模拟。该模型提供每小时更新、分辨率高达5公里的预报，比前代精细5倍，并提升了降水预报准确率（最高提升50%）。WeatherNext 3已集成到谷歌搜索、地图和Gemini等产品中，并为可再生能源行业提供定制数据。
产品发布
PRODUCT RELEASE5 篇LiteLLM v1.101.0-rc.1 发布：镜像签名验证与多项修复
LiteLLM 发布 v1.101.0-rc.1 版本，所有 Docker 镜像均使用 cosign 签名，并提供了基于提交哈希和发布标签的验证方法。该版本包含多项修复和功能改进，涉及支出跟踪、代理错误处理、向量存储、MCP 认证、缓存、团队隔离等。
llama.cpp b10822 发布：简化 UI 资源嵌入并支持多平台
llama.cpp 发布 b10822 版本，主要更新为通过 CMake 直接嵌入 UI 资源，移除了构建时的 C++ 辅助程序和外部 gzip 依赖，简化了交叉编译。该版本提供了适用于 macOS、Linux、Windows、Android 和 iOS 的多种预编译二进制文件，支持 CPU、Vulkan、CUDA、ROCm、OpenVINO 等后端。
llama.cpp b10821 发布：为 M2 Max 添加 fa-vec 调优
llama.cpp 发布 b10821 版本，主要更新是为 M2 Max 芯片添加了剩余的 fa-vec 调优（PR #28458）。该版本提供了适用于 macOS、Linux、Windows、Android 和 iOS 的多种预编译二进制文件，涵盖 CPU、Vulkan、CUDA、ROCm、OpenVINO、SYCL 等后端。
llama.cpp b10825 发布：修复 grammar 重复阈值问题
llama.cpp 发布 b10825 版本，主要修复了 grammar 中最大重复阈值的问题（PR #28469）。该版本提供了适用于 macOS、Linux、Windows、Android 及 openEuler 等多平台的预编译二进制文件，并支持多种后端如 Vulkan、CUDA、ROCm、OpenVINO 和 SYCL。
Abliteration.ai 提供去除安全护栏的开源模型商业 API
美国初创公司 Abliteration.ai 推出商业服务，通过“abliteration”技术移除开源权重模型（如智谱 GLM-5.3）的安全拒绝机制，并以 API 形式出售访问权限，用于网络安全测试和红队演练。该服务降低了使用门槛，但也引发了对滥用的担忧。公司声称不存储提示和响应日志，且不要求身份验证，进一步增加了监管难度。
研究进展
RESEARCH1 篇Claude 11天完成费马大定理形式化证明，清华姚班校友带队
Anthropic宣布其AI模型Claude在11天内完成了费马大定理的首个端到端、可由计算机完整检查的形式化证明，期间生成约1300万行Lean代码和约30300个可验证定理。该项目由清华姚班毕业生、哥伦比亚大学助理教授彭天翼发起，使用数十个Claude Agent并行协作，并借助其团队打造的Prove2Me平台。这一成果将原本预计耗时数年的数学形式化工作大幅缩短，被视为AI加速数学研究的重要进展。