OpenAI 公布其内部模型撰写的 719 篇数学论文；其中 42% 的主要结果经过 Lean 形式化验证

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