机密工作，不该随便交出去
2026 年 7 月 29 日，OpenAI 向研究者提供前沿模型和 Codex 的免费使用，并写道：参与者数据「默认不用于训练模型」[1]。六周后，它宣布内部模型处理了纳维-斯托克斯问题，并补了一句：不能排除去标识化的使用数据帮助改进了模型 [2]。权重不开放，这句承诺就无法核对。
你被要求相信的东西
证明草稿、专利备忘、客户事实、病历，似乎毫不相关，但有一个共同点：保密才有价值。云厂商可以说禁止查阅、默认不训练。但这句话无法执行、无法审计。
纳维-斯托克斯只是一个例子。两位数学家把草稿放进了 Codex [3]。OpenAI 称没有调取特定用户数据，同一篇里又写不能排除使用数据帮助改进了模型 [2]。权重、训练截止、智能体提示词都不开放。能核对的，只剩厂商那句话。
宣布之后，数学界和公开讨论里起了轩然大波。Tristan Buckmaster 发表说明，质疑时间线、公司随后描述的那条少有人走的路径，以及 Codex 会话是否进入了训练 [3]。Levent Alpöge 把「不能排除」那一句引回去 [5]。陶哲轩称两人已公开、可用 Lean 核验的工作是出色的成果，并指出他们因外部事件被迫远远早于计划公布自己的工作 [6]。
把目前已经公布的人工智能数学结果放在一起看，限度是一样的。这些系统还不能独立发现新的方法、新的思路、新的数学概念，或新的构造，去解决一个问题。它们推进的，是数学家已经打开的纲领。公开记录里的纳维-斯托克斯，落在 Córdoba 与 Martínez-Zoroa 的路线上 [3][6]。几天前的素数有界间隔是另一个领域里的同一故事：张益唐、Maynard 与 Polymath 已经证明存在无穷多对间隔至多 246 的素数；模型在同一套筛法里把间隔收窄到 186 [4]。在已知方法里搜得更狠，不是发明方法。模型不开放时，这条路径也无法审计。
TeeChat 提供什么
TeeChat 的设计，是让机密工作不依赖那句话。
存档在你选的文件夹里。 日常对话是本机上的 Markdown。取消订阅，历史仍在。它不是厂商账号里的一份记录，等着去改进一个你永远看不见的模型。
工作不能出设备，就用本地开源模型。 提示不会去到事后宣布「我们解决了你的问题」的实验室。没有可被「去标识化使用」的语料。
需要更强的模型，就先核验再发送。 机密模式用 Open Privacy Envelope 在离开设备前锁住消息。路由服务器只转发，不应解开对话。引擎只在硬件保护的环境里解密，再把回复锁上送回。
这不是凭一句话。在 设置 → 验证证明 里，你把正在运行的网关和引擎与已公布的指纹对照——测量值、平台清单、哈希——通过之后才放行提示。协议和 Rust 推理引擎 是公开的。专家可以读图纸。你核对运行中的系统是否与图纸一致。
分步核验见 如何在 TeeChat 上验证机密对话。
这不是什么
TeeChat 没有声称解决了纳维-斯托克斯问题，也不请你把隐私政策当成可执行属性。本地路径用开源模型；离开设备时，走可以核验的托管路径。另一边是封闭权重，加上一句「不能排除」[1][2]。
从 chat.teechat.ai 开始。微信内置浏览器无法使用机密聊天，请用 Safari, Edge 等系统浏览器， 或 Chrome, FireFox, Brave 等主流浏览器打开。
参考文献
[1] OpenAI，《Accelerating scientific discovery with ChatGPT for Academic Researchers》，2026 年 7 月 29 日。https://openai.com/index/chatgpt-for-academic-researchers/
[2] OpenAI，《On the Navier–Stokes Millennium Prize Problem》，2026 年 9 月 8 日。https://openai.com/index/navier-stokes-solution/
[3] Tristan Buckmaster，说明，2026 年 9 月 8 日。https://cims.nyu.edu/~tristanb/statement.pdf
[4] OpenAI，《Improved short gaps between primes》，2026 年 8 月 30 日。https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/short_gaps.pdf
[5] Levent Alpöge，X 帖文，2026 年 9 月 8 日。https://x.com/__alpoge__/status/2097206973418611054
[6] 陶哲轩，Mathstodon，2026 年 9 月 8 日。https://mathstodon.xyz/@tao/117233527638291447