Neil Conway调侃形式化方法研究者

Anthropic工程师Neil Conway在X发文“看招吧，形式化方法研究者们！”并附链接，以调侃方式向形式化方法研究者喊话，引发AI工程圈关注，成为一则轻松趣闻。

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

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