数学圈梗：只认结果不问方法的「Lean 认证恐惧症」患者

数学圈出现“Lean 认证恐惧症”梗：只在乎知识本身、不问出处与方法的人，一看到基础线性代数就害怕，前提是恐惧能通过 Lean 形式化验证。该梗借此讽刺形式化证明社区对严格性的极端执念。