清华团队提供代码推理模型量化包，支持本地运行

清华深圳国际研究生院机器人实验室在魔搭提供 VeriLoop E2 的 GGUF 版本，面向代码、数学与物理任务，模型规模为二百七十亿级。仓库列出多种量化档位及 llama.cpp 使用方式，便于根据内存和质量需求选择。

魔1 个来源21.4267299746575831 小时前本地模型代码推理模型量化

要点

标准化本地格式降低尝试门槛，但不同量化档位仍需实际对照。

本地编程助手和推理工具开发者值得关注。

打开模型卡选择适合内存的 GGUF 文件，按 llama.cpp 示例运行，优先用自己能验算的代码和数学任务检查质量。

国内可直接用免费未实测

本条由 AI 根据上面的原始来源整理，经编辑审核后发布。数字和结论以原文为准，发现错误欢迎反馈。

10月13日，谷歌扩大Gemini 4 Argon的开放范围，开发者可通过AI Studio等入口使用。首发标准输入和输出价格为每百万词元2美元、10美元，缓存输入优惠95%；Gemini应用和Antigravity的使用还取决于订阅等级。

MOSS-Image 结合 50 亿参数扩散模型和意图感知提示增强，重点处理长段中英文与信息密集图形。技术报告提供文字和布局评测，模型页已给出 Base、SFT 及运行说明，HF Space 也可查看并尝试带布局要求的生成流程。适合先检查文字分组效果。

DeepSeek 发布 V4.1-Flash-1017，并同步更新网页、应用和接口，针对 Harness 等执行环境优化任务表现、输出长度与耗时。中文实测展示三维网页和游戏制作，同时出现建筑细节偏差；低价与成功交付仍需按完整任务一起评估。

OpenAI于9月29日推出GPT-6.1 Sol，面向编程、电脑操作与专业工作。标准API每百万输入和输出词元分别为2美元、10美元，缓存输入为0.10美元；官方称部分任务表现接近Astra，已进入ChatGPT Work、Codex和API。