别人问女婿图什么,他让女儿男友用 Lean 形式化验证「意图」

marktenenholtz · x · 2026-09-24

AI 圈趣梗:marktenenholtz 发推称,别的父亲问女儿男友「你的意图是什么」,他则让对方用 Lean 定理证明器形式化验证意图, programmer 式冷幽默引热议。

原文链接 →

「Fun」频道最新

• AI 复刻出类 Windows 界面,连系统观感都一并克隆 — generativist · 2026-09-24
• 听到有人开口就是"Make no mistake",疑似 AI 腔上头 — soleio · 2026-09-24
• 叼奶嘴小猫闯入 GTA 罪恶之城，AI 生成第三人称游戏实况画面 — Aiden_Tech_Ai · 2026-09-24
• 博主晒生成图:鸟的发型更好,还大方分了个镜头 — misovalko · 2026-09-24
• 「让 AI 用百万美元推理告诉我们怎么聚类标准误」:统计圈的苦涩玩笑 — daveholtz · 2026-09-24
• 网友吐槽：AI 写代码很积极，删代码却从不主动 — DanielLockyer · 2026-09-24

更多「Fun」频道 AI 资讯 →