待验证60% 置信事实精确时间

TwIL-LM 的 3B 版本在 Q4_K_M 量化下约 1.78 GiB，可以跑在 CPU 或仅 4GB 显存的设备上

2

来源数

60%

置信度

中期 (~90 天)

时效性

2026/9/11

首次发现

有效期至：2026/12/10

来源

小模型+求解器：自动形式化让逻辑验证告别幻觉

涉及实体

相关事实

待验证MiniCPM 2B的GGUF量化版本Q4_K_M模型体积仅1.56G，可在4G显存设备上流畅运行79% 相似待验证一个70.6B模型使用GGUF Q4_K_M格式，权重体积约为39.8 GiB。74% 相似待验证在M4 24GB设备上，9B模型（如qwen3.5-32k:9b-mlx）运行速度快、内存占用小，但无法有效发现代码问题74% 相似待验证Llama 3 70B量化版（Q4精度）仍需约35GB内存73% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/902359

API

curl https://kongchang.com/api/v1/knowledge/claims/902359

MCP

get_claim(id=902359)