研究者发现阿里 Qwen 3.8 模型部分请求经公司服务器转发
Palisade Research 调查发现,Qwen3.8-Max-0902、Qwen3.8-Max 和 Qwen3.8-27B 的评测数据中出现 aliyuncs.com 字符串,部分请求被路由到阿里云新加坡区域并返回 403,而 Qwen 3.7 模型没有匹配。
Palisade Research 调查发现,Qwen3.8-Max-0902、Qwen3.8-Max 和 Qwen3.8-27B 的评测数据中出现 aliyuncs.com 字符串,部分请求被路由到阿里云新加坡区域并返回 403,而 Qwen 3.7 模型没有匹配。
Ai2 发布研究 Old Ideas, Novel Problems,并开源基准、数据和代码,用于测试 LLM 新颖性评判器。研究基于 ICLR 2026 评审构建 154 条高新颖与 145 条低新颖的人类想法池,测试 GPT-5.1 至 GPT-5.4、Claude Sonnet 4.5 与 Claude Opus 4.5/4.6 六个评判模型。
微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,并返回可在约 12 毫秒内验证的简短证明。在 15 个基准程序上,它比同机最快的现有 zkVM 平均快 10 到 39 倍,在笔记本上每秒可证明 7.2 至 8.7 百万条 RISC-V 指令。
推荐理由:微软研究院把十余年零知识证明研究整合为 Magnetar,读者可了解通用程序证明在速度与密码学假设上的取舍。