此前完成庞加莱猜想证明形式化的数学家与 NVIDIA 团队合作，完成了汉密尔顿—佩雷尔曼对瑟斯顿几何化猜想证明的 Lean 形式化

需要记住的是密钥——它就是你的密码。tripcode 由密钥计算得出，显示在你的名字旁：同一个密钥总会得到同一个 tripcode，没有密钥就无法伪造。密钥不会被公开，也不会保存在服务器上。