#AI for Mathematics

数学研究者其实在 Mastodon 上越聊越多 AI，占比半年从 1.1% 涨到 11.5%。有意思的是大家对验证流程、署名规范的批评远多于对技术本身的质疑，OpenAI 数学发布后这个反差更明显。做 AI for math 或关注社区舆情的人都值得看看这套目标—属性—立场的分析方法。