**Sketchpad：利用小模型与外部记忆实现算术运算的数学级精确性**

_Sketchpad: certified exact arithmetic with a small vision-language model_

> 该研究提出 Sketchpad 框架，通过让 Qwen3.5-0.8B 小模型读取外部渲染纸上的有限局部视图来执行算术步骤，证明了其在所有输入长度下具有可验证的精确性。该方法在浏览器环境中解决了所有预注册的 200 道算术难题，并在长位数计算中超越了包括 GPT-6.1 Sol 在内的其他最强模型，实现了从加减乘除到多项式运算的可靠计算。

**来源信息**
- **来源**：HuggingFace Daily Papers（社区热门论文）
- **分类**：ai-models
- **发布时间**：2026-11-09 08:00（北京时间）
- **原文**：[打开原文](https://huggingface.co/papers/2611.04434)