形式化方法专家走红引发AI圈热议

ccrisccris在X上调侃，希望形式化方法专家先成为网红，以免“网红变成形式化方法专家”，并被xennygrimmato转发。这句话在AI圈引发共鸣，被认为讽刺了行业话语更多由网红和影响力主导、形式化方法等专业性不足的现象。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。