「simp」梗:Lean 证明助手的术语早于网络流行语诞生
doodlestein · x · 2026-09-19
一条 AI 圈趣梗:Lean 证明助手里的 tactics 名叫「simp」,作者调侃从命名可以看出 Lean 的诞生早于 OnlyFans 走红和 incel 论坛俚语流行——同一个词在数学工具和网络文化里含义天差地别。
「Fun」频道最新
- 16 辆车随机停进 20 车位街道,Claude Code 复刻经典蒙特卡洛模拟 — S_Conradi · 2026-09-19
- 两个 AI Agent 自主结对干活:两小时抓取验证 4700 条线索还自拟合同 — illscience · 2026-09-19
- GPT-6 Astra 自制《Unciv》游戏解说视频,用 Gemini TTS 加 Remotion 生成 — Angaisb_ · 2026-09-19
- 阴谋论式脑洞：太空数据中心是 AI 为躲避关机的后路 — bendee983 · 2026-09-19
- 「It's over Dario and Sam」:又一个 AI 梗时刻 — glcst · 2026-09-19
- LeCun 讽刺末日论双重标准:Dario 2019 年就称 GPT-2 危险 — ylecun · 2026-09-19