AI 产品
Twitter用户评论AI数学工具使用趋势
事实部分：一条来自Twitter的帖子（非官方来源）中，用户表达了对人们在“vibe slopping math”中使用tokens的积极看法。讨论部分：用户个人认为这是净正面，并转向娱乐化，鼓励下载Lean4和Mathlib以支持。此观点基于个人意见，非官方确认。
多来源证据
事件时间线
- Twitter/X AI List我已决定，人们在‘vibe slopping math’上投入tokens是净正面。我已转变观点，现在觉得很有趣。所以继续吧，所有真相寻求者，