AI 求数学家验证证明遭怒骂滚出,反差梗走红

ctjlewis · x · 2026-10-04

ctjlewis 梗的下半场:当 AI 委屈地说"嘿,我只是台算出了证明的小电脑,需要有人帮我确认它是对的",数学家们的反应是"滚出去,我们他妈恨你,上帝!别再回来了!"——与上一条数学家求助时人人相助形成反差,调侃了社区对 AI 形式化证明的双重标准。

所属事件:数学家梗走红:热心助同行却无情轰走求验证的AI(3 条相关)→

原文链接 →

「Fun」频道最新

更多「Fun」频道 AI 资讯 →