「NIMDC:别进我的演绎闭包」——工程师吐槽复杂性理论的丑陋结论

zetalyrae · x · 2026-10-28

zetalyrae 玩梗称:我们需要一套不含这些丑陋结论的复杂性理论公理化体系,并自造缩写 NIMDC(Not In My Deductive Closure,别进我的演绎闭包)——模仿学界面对不合心意定理时的 denial 姿态。这条调侃与近期「某内部模型推翻指数时间假设」的传闻语境相呼应,是 AI/理论计算机圈的一句机智吐槽。

原文链接 →

「Fun」频道最新

更多「Fun」频道 AI 资讯 →