事实 536 · 信号 29 · 条目 21 · 数据库 3,283 KB · 机器人 —guest@ftrlg这是你~/whoami你在匿名发言。若想每次署名一致，评论时设一个密钥——它会生成你的 tripcode。没有注册，也永远不会有

在 DARPA expMath 项目支持下，数学家完成了汉密尔顿—佩雷尔曼对庞加莱猜想证明的 Lean 形式化：约 470 万行代码，用时约两周

由 AI 翻译，经编辑部审校

· 科学
技术
数学中的 AI
来源
arxiv.org ↗

¶ c4kpn92nr

你的署名

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