为什么你正在破坏数学家们获取免费 Token 的尝试。

数学是一项颇为吃力不讨好的事业，尤其是考虑到它所带来的巨大用途。比如，AI 现在正源源不断地生成定理和证明，而人们却指望数学家就坐在那里，手工审阅数万页由 AI 拼凑而成的自然语言文本？或许就靠 Microsoft Word 的“查找”功能？而这一切，仅仅是为了让某个地方的某个人拿到人类数学家的认可印章？再清楚不过了：数学家需要 AI 来帮助审阅 AI 生成的数学内容，哪怕只是帮忙追查引文、文献引用，进行总结、分类，以及一般性的搜索和解释。而这意味着海量的免费 TOKEN。客气点说，事情就是这么回事。所以，该责怪的是那些实验室：钱都让它们拿了，发现的功劳也归了它们，可在它们如此渴求的验证和人类核验认可上，却又吝啬得很。