情报 · 2026年7月11日
每日情报简报
从 50 条中筛选 30 条重要资讯
今日主线：AI 从「验证」跨到「原创」——GPT-5.6 Sol Ultra 自主生成了图论「循环双覆盖猜想」的形式化证明，OpenAI 连 prompt 一起放出。产业侧火药味渐浓：Apple 起诉 OpenAI 指使离职员工隐瞒去向、系统性窃取硬件商业机密。开放网络仍在承压，AI 训练爬虫比去年更凶。科学侧两条硬货：干粉 mRNA 微针贴片消除冷链、室温可存；7 万篇预印本分析显示结论在同行评审后极少变。
🔒 安全 · 隐私
AI 训练爬虫加剧网络基建威胁 ⭐ 7.0
为喂 LLM 抓内容的爬虫过去一年明显恶化，来源不明的恶意流量持续压垮网站。
为什么重要：这不是新问题，但曲线在往坏走。开放网络的可持续性正被 AI 训练需求侵蚀——中小站点首当其冲，长期可能逼出更封闭的付费墙与反爬机制。
LWN 长期跟踪自由软件与基础设施议题。爬虫压力来自两端：合法训练抓取（OpenAI、各大厂）与伪装成正常流量的恶意/无标识爬虫，后者无视 robots.txt、轮换 IP，难以按来源封禁。受害最深的是靠捐助运营的开源项目站点。
LWNRSS7月10日 15:20
安全爬虫开放网络基础设施
QuadRF：可视化 RF 信号、隔墙探测无人机 ⭐ 7.0
开源 SDR 工具，FFT + 瀑布图把射频信号实时画出来，可穿墙。
影响分析：把过去只在政府/商用手里的电磁频谱感知能力民主化。对安防、无人机反制、业余无线电都有意义——同时也意味着监测与被监测的门槛都在降。
SDR（软件定义无线电）用软件而非专用硬件处理射频，配合 FFT（快速傅里叶变换）把时域信号转成频谱，瀑布图沿时间轴堆叠频谱可看信号演化。WiFi、蓝牙、无人机图传都有特征频谱，因此可被识别与定位。
💬 社区讨论
HN 讨论围绕硬件成本（RTL-SDR 便宜但带宽有限）、穿墙探测的实际有效距离，以及合法性边界。多数认可其教学价值，对「隔墙探测无人机」的宣传持保留。
RFSDR无人机开源硬件
报告称 Boko Haram 用前沿 AI 做战术与制弹 ⭐ 6.0
CASP 报告结论惊悚，但方法只访谈 15 人、无一人直接用过 AI。社区质疑。
为什么重要：典型的「AI 恐慌」样本——结论与证据强度不匹配。值得记下作为反面参照：越狱模型的输出很少有超出维基公开信息的可操作价值，把恐怖组织能力归因于 AI 往往是叙事需要而非事实。
CASP（战略与政策研究中心）发布该报告。核心方法缺陷：15 名受访者无一人是直接使用者，均为二手转述；社区专家指出越狱大模型给出的制弹/战术信息通常错误或泛泛，不构成真实能力跃升。
💬 社区讨论
HN 高赞评论普遍怀疑报告的严谨性，认为这是为争取反恐 AI 治理经费而放大威胁的常见套路。也有人指出真正门槛在原料与组织，不在信息获取。
AI 安全恐怖主义存疑
Nilay Patel：AR 眼镜的连续录制与隐私取舍 ⭐ 6.0
功能性 AR 眼镜必然连续摄像 + 云端处理。隐私侵犯是架构性的。
为什么重要：点破了 AR 眼镜的根本矛盾——芯片小到能塞进镜框，就没法本地实时处理，只能上云；而有用的 AR 又要求持续感知环境。隐私成本不是可优化的 bug，而是设计前提。这决定了这类产品该不该被大规模部署。
Nilay Patel 是 The Verge 主编。争点在于：连续录制（always-on camera）是实用 AR 助手的必要条件，但会把佩戴者周围所有人卷入无同意的采集；本地算力不足又迫使数据上传云端，扩大了泄露与滥用面。
Simon WillisonRSS7月10日 17:05
隐私AR可穿戴
🤖 AI · 模型
GPT-5.6 Sol Ultra 证明循环双覆盖猜想 ⭐ 9.0
OpenAI 放出完整证明 + 生成用的 prompt。AI 从「验证」跨到「原创证明」。
为什么重要：这是今天唯一的紧急级。AI 此前多是辅助验证或缩小搜索空间，这次是端到端产出一个数十年未解猜想的形式化证明。证明异常简洁，疑似抓到了专家漏掉的巧思——若成立，意味着 AI 已能在纯数学前沿贡献原创结果，而非仅做算力密集的暴力搜索。
循环双覆盖猜想（Cycle Double Cover Conjecture）是图论长期未决问题：每个无桥图都存在一组回路，使每条边恰好被覆盖两次。OpenAI 同时公开了证明 PDF 与生成它的 prompt，让外界可复现与审查——这一透明度本身也是看点。证明是否真正无误仍需数学界严格同行验证。
💬 社区讨论
HN 讨论分两派：一派震撼于简洁性并开始逐行核验；另一派谨慎，强调「AI 生成 + 未经期刊评审」的证明需独立形式化验证（如 Lean）后才能采信。有人指出放出 prompt 是关键，可判断是否有人类强引导。
AI数学GPT-5.6形式化证明
Apple 起诉 OpenAI 窃取商业机密 ⭐ 8.0
诉状：OpenAI 指使招募来的 Apple 员工隐瞒跳槽、教其规避侦测，盗用硬件机密。
影响分析：两家 AI/硬件巨头正面开撕，指控不是泛泛的挖角，而是系统性、有组织的机密窃取——招募方教员工如何隐瞒去向、规避内部审计。若属实，会重塑 AI 人才流动的法律边界；无论结果，都预示两家在设备端 AI 的竞争已进入零和阶段。
诉状核心情节：一名招募人（Mr. Tan）据称指导候选人隐瞒即将入职 OpenAI 并规避检测；数名离职员工在离开 Apple 前有向个人邮箱转发机密文件的模式；OpenAI 被指在接触 Apple 供应商时套取硬件设计机密。商业机密诉讼举证门槛高，关键在能否证明「获取 + 使用」链条。
💬 社区讨论
HN 观点：有人认为这是 Apple 在设备 AI 落后后的防御性诉讼；也有人认为「离职前转发文件到私邮」若属实是硬证据。普遍关注 OpenAI 的应对及是否波及具体产品线。
AppleOpenAI商业机密诉讼
选对实验室的 AI 科研工具 ⭐ 7.0
Nature 指南，横评 Claude Science、Elicit 等通用科研 AI workbench。
为什么重要：信号是「AI for Science」正从演示走向日常工具选型——研究者开始像挑参考管理器一样挑 AI 助手。核心告诫不变：产出必须人工核验，AI 擅长检索与综述，不负责事实正确性。
这类工具（Claude Science、Elicit 等）定位为「科研工作台」：文献检索、证据综合、假设生成、数据初步分析。Nature 指南强调按任务类型选工具（系统综述 vs 数据探索），并把 AI 输出当草稿而非结论。
NatureRSS7月10日
AI for Science工具科研
投机式缓存预热省 10-20 秒 ⭐ 7.0
利用用户打字的自然延迟，后台预载 KV 缓存，消除 GPU 空转、降首 token 时延。
影响分析：一个「免费午餐」式优化——用户敲字的几秒 GPU 本就闲着，拿来预热缓存直接砍掉 10-20 秒首响。工程上简单，却在多数本地前端缺席，属于易摘的低垂果实，值得本地推理栈普遍采纳。
KV 缓存存注意力机制的键值对，避免重复计算已处理 token。TTFT（首 token 时延）很大部分花在处理 prompt（prefill）。投机式预热在用户还在输入时，就提前对已敲入的部分做 prefill，等用户按下回车时缓存已就绪。
💬 社区讨论
r/LocalLLaMA 讨论实现细节：如何处理用户中途改词导致的缓存失效、内存占用权衡，以及在 llama.cpp / vLLM 中的可行性。多数认为对长 prompt 收益最明显。
推理优化KV 缓存本地 LLM
ChatGPT 症状分诊 74% 封顶、无改善 ⭐ 7.0
Nature 研究：最好模型分诊准确率仅 74%，新版本无提升，系统性过度分诊。
为什么重要：给「LLM 会取代初诊」的乐观论泼冷水——准确率不随模型迭代提升，说明这是能力边界而非规模问题。更麻烦的是偏向「过度分诊」：把非急症误送急诊，看似安全实则挤占资源、放大医疗成本。
分诊（triage）指按病情紧急度分配医疗资源。研究测多个 ChatGPT 版本对标准化症状案例的分级，发现准确率停在 74% 且跨版本平台化。过度分诊偏差=倾向高估紧急度，安全冗余的代价是效率与成本。
💬 社区讨论
r/science 讨论指出 74% 对纯文本、无体征的场景可能已接近上限；也有人认为过度分诊在临床上「宁可错送」有一定合理性，但不适合当分流把关者。
医疗 AI分诊LLM 局限
诺奖经济学家 Bernanke 加入 Anthropic 顾问 ⭐ 6.0
前美联储主席、2008 危机操盘者出任顾问，聚焦治理与制度监督。
影响分析：信号大于实质——Anthropic 在估值约 $965 亿的当口引入宏观经济与制度治理的重量级背书，意在对冲监管与系统性风险叙事。反映头部 AI 公司越来越把「治理可信度」当竞争资产。
Ben Bernanke：2006-2014 任美联储主席，2008 金融危机核心决策者，2022 年诺贝尔经济学奖得主。加入 Anthropic 顾问团，据称聚焦制度监督与治理。此类任命常用于向监管方与机构投资者传递「负责任」信号。
新智元RSS7月10日 05:37
Anthropic治理AI 产业
Unsloth 用 NVFP4 让 Qwen 推理快 2.5x ⭐ 6.0
4 位浮点量化，主要惠及 Blackwell GPU；老架构几乎无收益。
影响分析：本地推理的又一次「硬件绑定」加速——收益强依赖 Blackwell 的原生 FP4 支持，Pascal 等老卡吃不到。对已上新卡的人是白赚 2.5x，对多数存量硬件则无感，进一步拉大新旧硬件的体验差。
NVFP4 是 NVIDIA 的 4 位浮点格式，比 INT4 更好保留数值动态范围。Unsloth 是主打微调/推理加速的开源库。Blackwell（RTX 50 系/B 系）有硬件级 FP4 张量核，因此能真正提速；旧架构靠软件模拟，收益甚微。
💬 社区讨论
r/LocalLLaMA 关注精度损失是否可接受、与 GGUF/AWQ 等量化的对比，以及「又一次只有新卡受益」的抱怨。
量化QwenBlackwellUnsloth
从零在 160GB 19 世纪文本上训 LLM ⭐ 6.0
造出知识截止约 1875 年的时代模型，当研究幻觉与时间边界的活体实验室。
为什么重要：一个巧妙的实验设计——把训练语料的时间上限卡死在 1875 年，就得到一个「不知道 1876 年后任何事」的模型。它编造 1876 年后事件的方式，是研究幻觉与知识边界的干净基准，比在现代模型上剥离时间信息更可控。
作者用约 160GB 19 世纪公共领域文本从零训练，现有 500M / 5B 两档，计划扩到 2B / 40B。价值不在性能，而在受控的知识截止：可精确测试模型对超出训练时代的问题如何虚构，以及历史语言风格的保真度。
💬 社区讨论
r/LocalLLaMA 讨论语料清洗（OCR 噪声、拼写变体）、时代偏见的忠实呈现，以及这类「时间胶囊模型」在史学与幻觉研究中的用途。
训练幻觉研究历史语料
腾讯 HY3 在 128GB 机器上胜 DeepSeek v4-flash ⭐ 6.0
295B/21B MoE，Apache 2.0，编码显著更强，但上下文缩到约 190K、推理更慢。
影响分析：又一个国产大模型转向宽松开源许可（Apache 2.0）并直接对标 DeepSeek，说明开放权重的竞争在加速。对本地部署者是实惠：128GB 内存可跑、编码更强，代价是更短上下文与更慢速度——取舍取决于用途。
MoE（混合专家）：295B 总参数但每次只激活 21B，兼顾容量与推理成本。Apache 2.0 允许商用与再分发，比多数国产模型此前的地域/用途限制更开放。约 190K 上下文低于部分竞品，但对多数编码任务够用。
💬 社区讨论
r/LocalLLaMA 对比 HY3 与 DeepSeek v4-flash 的编码基准，讨论 128GB 统一内存机器（如 Mac / Strix Halo）的实际吞吐，以及许可开放对企业采用的意义。
腾讯MoE开源模型编码
Strix Halo 跑本地 LLM 一天仅 $0.48 电费 ⭐ 6.0
AMD 集显推理 30-150W，远低于独显 RTX 6000 的 225-300W。
影响分析：把本地 LLM 的讨论从「能不能跑」拉到「养得起吗」。低功耗集显方案在 TCO（总拥有成本）上开始有说服力——常驻推理、24/7 服务的场景，电费差可累积成主要成本项，未必比云 API 划算但改变了自建的账。
Strix Halo 是 AMD 带大核显 + 统一内存的 APU，适合内存密集的 LLM 推理。功耗 30-150W vs 独显 RTX 6000 的 225-300W；代价是峰值算力低、大模型速度慢。TCO 需把电费、硬件折旧、闲置率一起算。
💬 社区讨论
r/LocalLLaMA 讨论 $0.48/天 的电价假设是否现实、集显的 token/s 实测，以及低功耗常驻 vs 高性能按需的取舍。
本地 LLM能耗AMDTCO
⚙️ 工程 · 系统
好工具是隐形的 ⭐ 7.0
gingerbill 随笔：好工具靠降摩擦、减认知负担让人专注本职，而非工具本身。
为什么重要：一句可以当团队工具选型准则的话——衡量工具好坏的标准不是功能多，而是它让你多少时间不必想到它。对被配置和插件淹没的现代开发栈是一记提醒。
作者 gingerbill 是 Odin 编程语言创造者，长期写系统编程与工具哲学。核心论点：工具的价值在于消隐于工作流——像好的锤子，用的时候感觉不到它的存在，注意力全在钉子上。
工具哲学开发体验随笔
成功公司如何因组织惯性失去创新 ⭐ 7.0
创新衰退源于官僚把关、风险规避、部门孤岛，而非个人无能。
为什么重要：把「大公司为什么变笨」归到结构而非人——同样的人换到无摩擦环境就能创新。对判断一家公司是否还有活力、以及个人该不该留下，是有用的分析框架。
文章分析成功企业的「创新失明」：多层审批把关惩罚试错、风险规避文化奖励不犯错而非有产出、部门孤岛阻断跨界信息流。作者强调这是语境问题（context）——把创新者放进这种系统，产出也会枯竭。
💬 社区讨论
HN 讨论多有共鸣，举出各自公司的官僚化实例；也有人反驳称流程是规模的必然代价，关键在区分「保护性流程」与「防御性推诿」。
组织创新管理
QBE 1.3 编译器后端发布 ⭐ 7.0
轻量 SSA 后端（Hare、cproc 在用），约 10% 代码换约 70% 工业级性能。
影响分析：给「不想背 LLVM 巨兽」的语言作者一个务实选择——用 10% 的复杂度拿到 70% 的优化效果。1.3 增强元编程与跨平台，巩固了 QBE 作为小语言首选后端的地位。
编译器后端负责把中间表示优化并生成机器码。SSA（静态单赋值）是主流优化 IR 形式。QBE 定位为 LLVM 的极简替代，被 Hare 语言和 cproc（C 编译器）采用；卖点是小巧、易嵌入、编译快。
LWNRSS7月10日 13:50
编译器SSAQBE系统编程
让 Windows Hello 专用指纹读头在 Linux 上跑 ⭐ 7.0
开发者不改匹配算法，直接原生跑厂商的 Windows 匹配器绕过精度问题。
影响分析：一个漂亮的「务实黑」——与其在 Linux 侧重写匹配算法，不如把厂商 Windows 二进制搬过来原生执行，类似当年 ndiswrapper 救活无线网卡。为大量「Windows only」外设的 Linux 兼容提供了可复制思路。
FT9201 传感器分辨率仅 96×96，特征点太少，开源 libfprint 的通用匹配算法会随机误判/误拒。开发者转而原生运行厂商 Windows 匹配器（vendor matcher）——把专有算法当黑盒调用，绕开重写。ndiswrapper 是历史先例：在 Linux 上加载 Windows 网卡驱动。
💬 社区讨论
r/linux 讨论安全性（跑闭源厂商二进制的信任问题）、这种方案的可维护性，以及是否应推动厂商开放规格而非逆向。
Linux指纹识别驱动逆向
xan：SIMD 加速的 Rust CSV 处理 CLI ⭐ 7.0
自研 simd-csv crate + 并行，编译型原生替代 Python 包装工具。
影响分析：数据清洗 CLI 的又一次「用 Rust 重写换数量级性能」。自研 SIMD CSV 解析器是核心，处理大文件时对比 pandas/csvkit 的 Python 栈能有显著吞吐优势，适合命令行数据管道。
SIMD（单指令多数据）让一条 CPU 指令并行处理多个字节，是高性能解析的关键。作者造了 simd-csv crate 做向量化 CSV 解析，配合并行（宣传语「base jumping」）。定位为 xsv 的继任，纯 Rust 编译产物，无 Python 依赖。
💬 社区讨论
r/commandline 讨论与 xsv、qsv、DuckDB 的对比，SIMD 解析在含引号/转义的脏 CSV 上的正确性，以及内存映射大文件的表现。
RustCSVSIMDCLI
在 Emacs 里，一切看起来都像服务 ⭐ 6.0
探讨 Emacs 的服务化架构范式，从 Lisp 机血统到现代 LSP。
为什么重要：一个视角小品——把 Emacs 理解为「长驻进程 + 一堆随时可调的服务」，而非编辑器。这解释了它为何能无限扩展、也为何配置起来像在搭系统。对理解「可编程环境」这一范式有启发。
Emacs 本质是一个 Emacs Lisp 解释器，编辑功能只是其上的应用。作者借「一切皆服务」的视角，串起它的 Lisp 机血统（整个系统皆可内省、重定义）到今天集成 LSP（语言服务器协议）等外部服务的方式。
Emacs架构Lisp
🔬 科学 · 政策 · 社会
7 万篇预印本分析：结论在同行评审后极少变 ⭐ 7.0
Nature：核心结论从预印本到正式发表基本稳定。
为什么重要：为预印本的可靠性提供大样本证据——如果同行评审很少推翻核心结论，那么读预印本获取前沿信息的时间优势就更值得。也侧面提示同行评审的价值更多在细节、方法与表述，而非颠覆结论。
预印本是未经同行评审即公开的论文（如 bioRxiv、medRxiv）。研究对比约 7 万篇生物医学论文的预印本版与最终发表版，发现主要结论高度一致。这既支持预印本作为快速传播机制，也引出「同行评审到底改了什么」的讨论。
NatureRSS7月10日
科研预印本同行评审
干粉 mRNA 微针贴片消除冷链 ⭐ 7.0
MIT/Harvard/RMIT：室温存储、无需冷藏，数百根微针无痛递送。
影响分析：直击 mRNA 疫苗的最大部署瓶颈——冷链。若干粉贴片能稳定保存脂质纳米颗粒并室温运输，将极大降低资源受限地区的接种门槛，也让自主接种成为可能。是把 mRNA 从「发达国家冷柜」推向全球的关键工程突破。
mRNA 疫苗靠脂质纳米颗粒（LNP）包裹递送，但 LNP 对温度敏感，通常需 -20℃ 甚至更低冷藏。团队找到在干燥态下保护 LNP 结构的配方条件，做成含数百根可溶微针的贴片，皮内递送、无痛、可自贴。参与机构：MIT、Harvard、RMIT。
💬 社区讨论
r/science 讨论从实验室到量产的距离、微针剂量精度、以及室温稳定性的实际保质期。普遍看作重大工程进展但提醒尚需临床验证。
mRNA疫苗微针冷链
抗精神病/抗惊厥药关联双相患者脑体积下降 ⭐ 7.0
Nature：服此类药者脑体积显著缩小，服锂盐或未服药者无此变化。锂盐显神经保护性。
为什么重要：影响双相障碍的用药权衡——若结果稳健，提示某些抗精神病/抗惊厥药可能与脑体积下降相关，而锂盐反而有神经保护性。这会推动临床重估长期用药选择，但需警惕「相关≠因果」以及病情本身的混杂。
双相障碍常用药分几类：锂盐、抗惊厥药（丙戊酸等情绪稳定剂）、抗精神病药。研究发现服后两类者丘脑/海马/杏仁核体积显著缩小，服锂盐或未服药者无此变化。关键局限：观察性设计，难排除病情严重度本身与用药选择的混杂。
💬 社区讨论
r/science 讨论因果方向（是药导致萎缩，还是重症者既更可能用这些药也更可能有脑改变），以及锂盐神经保护性与既往文献的一致性。
神经科学双相障碍精神药理
NSF 拟追回已拨科研经费转投白宫倡议 ⭐ 6.0
追回已承诺发放的经费，而非只调整未来拨款。
影响分析：危险的先例——追回已承诺的经费比调整未来预算破坏性大得多，直接动摇多年期研究的资金稳定性和学界对联邦资助的信任。若成常态，会迫使研究者对依赖联邦资金的长线项目更保守。
NSF（美国国家科学基金会）是基础研究主要联邦资助方。争议点：拟收回已拨/已承诺的经费（clawback），转投白宫优先倡议。多年期科研依赖资金可预期性，中途抽资可导致项目中断、人员流失。
NatureRSS7月10日
科研政策NSF经费
研究：RFK Jr. 疫苗委员会决定不成比例伤害低收入少数族裔幼儿 ⭐ 6.0
取消 MMRV 四合一疫苗的联邦推荐，冲击依赖「一针四防」的弱势群体。
影响分析：政策的分配效应被量化——取消四合一疫苗推荐看似技术调整，实则把「多次就诊」的负担转嫁给最难就医的人群。研究指出低收入少数族裔幼儿受损最重，是政策公平性的具体证据。
MMRV / ProQuad 是麻疹-腮腺炎-风疹-水痘四合一疫苗，一针覆盖四病，减少就诊次数。ACIP（美国免疫实践咨询委员会）在 RFK Jr. 主政下将其从推荐中移除。对就医门槛高（交通、请假、无保险）的家庭，多针方案意味着更高的漏种风险。
💬 社区讨论
r/science 讨论四合一 vs 分开接种的既有安全性权衡（此前有极低的热性惊厥风险讨论），以及取消推荐的科学依据是否充分。
公共卫生疫苗政策健康公平
纽约市禁止欺骗性订阅与垃圾费 ⭐ 6.0
要求退订和订阅一样容易、明码标价，且不留餐饮豁免。
影响分析：消费者保护向前一步，且比加州同类法更硬——没有餐饮业豁免。「退订和订阅一样容易」若能执行，会直接冲击靠「订阅易、退订难」的暗黑模式盈利的商业模式。
暗黑模式（dark patterns）指诱导用户违背自身利益的界面设计，如难以找到的退订入口、结账时冒出的垃圾费（junk fees）。纽约市新规要求价格透明、退订对称。对比：加州类似法留有餐饮业豁免，纽约版更彻底。
💬 社区讨论
HN 讨论执行力度（举证与处罚）、是否会波及流媒体与健身房这类退订困难重灾区，以及联邦层面 FTC 类似规则的进展。
消费者保护订阅暗黑模式
文化杂项合并 ⭐ 6.0
四条轻量文化/技术八卦，一次读完。
为什么值得一看：都不重要，但各有意思——一段开创性视效史、一张有野心也有 bug 的战争地图、一个反直觉的学习法、一位知名黑客的退场自白。当作换脑的边角料。
《终结者2》视效口述史：ILM 用 Softimage 做出 T-1000 液态金属变形，是 CGI 里程碑。War Atlas（waratlas.org）：LLM 处理的人类战争交互地图，但 Firefox 会崩、暗配色可用性差、漏掉「托莱多战争」等条目。手写抽认卡 + 间隔重复：作者主张手写+Anki，指出 AI 生成卡约 90% 需重写才好用。Geohot（George Hotz）谈他为何不再直播。
💬 社区讨论
T2 视效贴引发对实拍/CGI 平衡的怀旧讨论；War Atlas 被批数据准确性与可用性；抽认卡贴讨论手写记忆增益 vs 效率；Geohot 贴多为其个人风格的评价。
HackerNewsmarkus_zhang / NaOH / surprisetalk7月10日
文化视效学习方法杂项
数据来源：Horizon 情报管道 · run-20260710T230114Z-b972fe4b · 采集窗口 24h · HackerNews / Reddit / LWN / Nature / RSS。评分为管道自动打分，⭐ 越高表示信息密度与新事实越强。单一来源说法已在正文标注。