Anthropic 工程师调侃式喊话形式化方法研究者
neil_conway · x · 2026-11-12
Neil Conway 发推写下「看招吧，形式化方法研究者们！」并附上链接。这句玩笑话在 X 上引发关注，属于 AI 工程圈的一则轻松趣闻。
「Fun」频道最新
- 1968 年杂志刊出早期计算机艺术：贝尔实验室与日本 CTG 作品云集 — Merzmensch · 2026-11-12
- 「2000 年是日本衰退砸盘,这次是 Jensen 的 dNSFW」 — kfountou · 2026-11-12
- AI 助手不懂用户:不看橄榄球也不用 Uber Eats 却被狂推 — SIGKITTEN · 2026-11-12
- 谷歌自家广告还在推广 Gemini 3,产品截图却已不是 — AI_Andrew · 2026-11-12
- mitsuhiko 调侃:「男人宁可抹掉 2 万亿美元市值也不忠于妻子」 — mitsuhiko · 2026-11-12
- 「黄仁勋加入 OpenAI」传闻梗图疯传：只求成真图个乐 — dejavucoder · 2026-11-12