Anthropic 工程师 Neil Conway 调侃式喊话形式化方法研究者

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