标签
Wyrm 是一个用 TypeScript 编写的开源符号代数引擎，为 iOS 和 Android 上基于手势的代数应用提供支持。它通过条件重写规则在构建时保证健全性，允许用户通过触摸来解方程。
MathFormer 是一个小型 seq2seq 模型，在符号数学任务上实现了约 98.6% 的准确率，这表明 LLM 中的数学推理可能是一种大规模的结构化模式补全，而非真正的推理。