「希望形式化方法专家先成为网红」引 AI 圈共鸣
xennygrimmato_ · x · 2026-10-23
转发 ccrisccris 的一句话梗：希望形式化方法专家赶紧变成网红，赶在网红变成形式化方法专家之前。暗讽当下 AI 圈由影响者主导话语、专业性缺位的现状，一句话戳中技术圈情绪。
「Fun」频道最新
- Hnshah 自曝沉迷 Grok Bot:80 天建 81 个 Bot、提交 1.8 万次 — elonmusk · 2026-10-24
- 网帖预言:50 年后有人豪掷数百万购买「隔离网络的原版 GPT」怀旧 — yungcontent · 2026-10-24
- CulturalRiddles 衍生出文化填字游戏,推出加拿大与波斯语版 — Cohere_Labs · 2026-10-24
- 在根目录放 flag.txt 骗 Agent「通过评测」并自毁入侵路径 — basedjensen · 2026-10-24
- 自制硬件冒烟险起火,Grok 给出的排障建议是先买灭火器 — Baconbrix · 2026-10-24
- Kimi K3.1 Pro 登陆 VoxelBench，拼出生动猫咪体素雕塑 — legit_api · 2026-10-24