AI 圈热议：希望形式化方法专家先成为网红

xennygrimmato_ 在 X 转发了 ccrisccris 的一句话梗：希望形式化方法专家赶紧变成网红，赶在网红变成形式化方法专家之前。这一调侃引发 AI 圈共鸣，暗讽行业话语由影响者主导、专业性缺位的现状。