数译

AI 正在让翻译一本数学书变得越来越容易，但译本仍然散落在个人硬盘、群聊和网盘里。已经被翻译过的书还在被重复翻译，发现的错误难以反馈，停止维护的译本也可能逐渐消失。

讲义也是如此。许多教师和学生写下了很好的课程讲义和学习资料，却往往难以被更多人发现，也缺少一个长期保存和交流的地方。

与此同时，同一个数学概念还常常有着不同的中文译名，尤其在 AI 翻译中更加明显。