标签： Gemini

一个名为 mlx-serve 的开源项目发布了一款专为 Apple Silicon Mac 设计的 LLM 推理服务器，采用 Zig 语言编写，宣称在本地运行大模型时在速度、模型兼容性和功能集成上全面超越 LM Studio，尤其支持无需云端 API 的本地聊天、编码、图像与视频生成。

一份由多家机构联合发布的报告指出，美国联邦政府正通过“AI优先”国家战略，在政策、税收和监管上全面倾斜，帮助科技巨头加速建设数据中心和AI基础设施，而这一过程正在加剧社会不平等与生态破坏。报告特别披露，仅微软、Meta和Alphabet三家公司，2025年就通过税收漏洞规避了约500亿美元的联邦税款。

Wafer 在 AMD MI355X 加速卡上成功部署了智谱 GLM5.2 大模型，单节点聚合吞吐量达到 2626 tok/s，在特定工作负载下性能达到 NVIDIA B200 的 80%，但成本仅为后者的一半以下。这意味着 AMD 在推理市场正快速追赶 NVIDIA，并为开发者提供了一个成本更低的高性能替代…

Mistral AI 发布了 Leanstral 1.5，一个完全开源（Apache-2.0 许可）、参数量仅 6B 的正式验证模型。它在多个数学推理基准上达到或刷新了最佳成绩，实测中发现了 57 个开源仓库中的 5 个先前未知 Bug，使得严格的形式化证明在真实软件开发中变得实用且廉价。