Sketchpad 论文发布，小模型实现认证精确算术

2026年11月4日，arXiv发表Sketchpad论文，提出利用小型视觉语言模型实现经认证的精确算术。 研究主体发布论文证实，Qwen3.5-0.8B 模型配合低秩适配器在该框架下实现了任意长度算术的精确计算。在浏览器端，模型通过了全部 2,446 个视图测试，成功解决了200/200项预注册问题，处理长位数加减乘除运算时表现优于 GPT-6.1 Sol。 该研究代码以 Apache 2.0 许可证开源。符号运行时支持多项式求解与因式分解操作，且适配器门控机制允许在需要时恢复基础模型功能，确保了系统的灵活性与可用性。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。