llm-release

VeriLoop E2 的发布，这是一个基于 Qwen3.8-27B 进行后训练的 27B LLM，采用了 VeriLoop-Governed Recurrence (VGR) 来管理状态转换并生成训练信号。

Ornith-1.5 发布了一系列参数从 9B 到 397B 的开源大语言模型，在可比模型中实现了最先进的性能，并提供多种部署友好的格式。

由Simon Willison撰写的月度简报，总结LLM的重要进展，由微软赞助。

DeepSeek 发布了 V4-Pro 和 V4-Flash，这些混合专家模型采用混合注意力机制和 Muon 优化器，支持百万 token 级上下文。

OpenAI 发布了最新的推理模型 o3 和 o4-mini，可以自主访问和组合所有 ChatGPT 工具（网络搜索、代码执行、图像分析、图像生成）。o3 在编程、数学和科学基准测试中达到业界最先进水平，主要错误比 o1 少 20%，而 o4-mini 则提供成本和速度优化的高效推理能力。