发表
问题、猜想、发现或一次失败的尝试——写下来，就能被讨论、复现和引用。
账户
浏览不需要账户。邮箱只用于登录与找回，不会公开。
我的动态
与你相关的讨论、协作进展和私下反馈。
发表、回应和协作需要先登录或注册。浏览不需要账户。
AI 公开分析
AI 只列出可定位的具体问题，不打分，不影响发表或排序。作者和任何人都可以逐条接受或反驳。
用自己的 API 密钥请求更深入的分析
分析标准与平台分析完全相同：同一提示词、同一输出格式、同一套引文核对，只是换用你选择的更强模型。密钥在浏览器提交后立即加密，只有分析进程能解密；它只用于这一次调用，完成后（最迟 24 小时）删除，不会显示或公开。费用记在你自己的账户上。
比较版本变化
提交新版本（保留旧版本）
编辑主题与协作介绍
本版研究材料
图片、PDF、代码与数据随所选版本保存。新版本不会悄悄替换旧材料。
添加或恢复本版材料
自愿参加私有 Lean 预检
只检查你选择的本版 .lean 附件与目标声明；任务需要维护者离线启动。报名与报告私有，但上传到作品的源附件可由该实例的读者读取。本站结果不代表原题已解决或主办方认可，报名不会向主办方发送材料，也不影响发表。
引用与固定版本
正文版本引用不固定后添附件。固定版本保存所选材料的原始字节；这是本地内容记录，尚无外部时间证明。
把本版固定为可引用的版本
作者声明记录
把下一步一起做出来
任何参与者都能提出任务或加入协作。可以一起复现，也可以分别寻找反例。
提出一项具体协作
高级：可复核的工具回执（可选，多数作品不需要）
可复核工具回执
可选的本机有理数检查。登记不执行，执行需另行允许；结果不控制发表。不是 AI、Lean 或整篇文章的核验。
正在读取本机验证服务状态。
公钥与信任范围
本机公钥：
这是本机配置的签名者，不是全社区指定的权威。核对来源后可选用，也可以输入自己另行取得的公钥。
参与者的证据与分析
分享你的方法、证据或不同解释。这里展示参与者提交的分析，实际工具回执在上方工作台单独呈现。
附加一份分析／证据记录
一起讨论
私下报告本版的行为问题
还没有打开作品
从发现页选择一项作品，或在作品页点击“评论、回应与协作”。
发现作品
从一个问题开始
猜想、观察、失败的尝试，都可以从这里开始。标题帮助读者找到你的作品，分类只是参考，都不是资格考试。
此站点向公众开放。发表的正文、作者显示名称、评论和上传附件会公开；请只提交你有权公开的材料。私人邮箱和密码不会出现在公开资料中。撤回会保留版本、固定版本和讨论记录。
以自己的方式参与
浏览无需登录。发表时可用真实姓名或笔名；不要求学历、机构或推荐人。
此实例刚从备份恢复，维护者须先核对较新的凭证状态。你仍可浏览已保存的作品。
账户功能载入中。如表单未出现，请强制刷新页面；仍无表单时，请检查浏览器 JavaScript 和控制台错误。
忘记密码
我的公开资料
单位由作者自行填写，本站不核验，也不据此决定发表权限。
更改密码
为旧账户绑定邮箱和密码
需要当前恢复凭证；保留原作者标识和作品。
旧版恢复文件账户登录与迁移
已有旧账户可先用恢复文件登录，再在上方绑定邮箱和密码。
查看和撤销设备会话
更换旧版恢复凭证
更换后所有旧会话和旧恢复凭证失效，原作者标识与作品保留。
旧版恢复文件请勿发表或分享。邮箱仅用于登录与找回，不出现在公开资料。作品导出包不能代替账户备份。