天眼晚报

科技|2026年07月12日|约 36 分钟阅读

来源：600 条推文 + 69 篇 RSS 文章·Lanyun·DeepSeek 生成·2026-07-12

AI 速读22 条精选

📰头条美国共和党鹰派参议员 Lindsey Graham 猝死，终年 71 岁国际大事

美国资深共和党参议员 Lindsey Graham 于 7 月 11 日晚突发心脏骤停去世，此前无不适迹象。Graham 是国会知名鹰派，曾 10 次赴基辅推动对俄制裁，主张对伊朗强硬。他的突然离世可能打破参议院微妙的权力平衡，影响美国对乌克兰、伊朗等外交政策的走向，是近期华盛顿政治格局的重大变量。

📰头条伊朗袭击商船并关闭海峡，美国发动空袭回应国际大事

伊朗周末袭击一艘商船后关闭关键海峡，随后美国对伊朗实施空袭，打击其骚扰商船的能力。这是中东持续紧张局势的最新升级，直接威胁全球能源运输通道安全，市场对石油供应中断的担忧迅速升温。大国军事介入使冲突外溢风险陡增，后续事态可能重塑地区安全架构及国际油价走势。

🔲头条华为联手 Swaysure 自建 DRAM 工厂，月产能 14 万片芯片

华为联合存储芯片新势力 Swaysure 及政府组成三方联盟，计划建设 12 英寸 DRAM 生产线，月产能达 14 万片。此举是在美国对华半导体出口管制持续收紧背景下，中国为保障内存芯片供应安全而迈出的关键一步，标志着国产 DRAM 从设计走向大规模自主制造，将深刻影响全球存储芯片竞争格局。

🤖头条GPT-5.6 Sol Ultra 据称证明了循环双覆盖猜想AI大模型

研究者称 GPT-5.6 Sol Ultra 成功证明了困扰图论界半个多世纪的循环双覆盖猜想，借助 F₂³ 流将问题转化为线性代数论证。若经独立同行验证，这将是人工智能参与攻克顶尖数学难题的里程碑事件，展示出新一代大模型在前沿科学推理上的突破性能力，可能推动 AI for Science 进入全新阶段。

🚀头条中国多款火箭首次试飞即成功实现回收航天

长征十号乙、ZQ-3、CZ-12A 等中国火箭在首次试飞中就成功完成回收，而 SpaceX 从首次发射猎鹰 9 号到首次着陆成功用了 5 年。这一跨越式进展凸显中国在可重复使用火箭领域快速迭代的技术路线，有望大幅降低航天发射成本并加速卫星互联网部署，对全球商业航天竞争格局产生直接冲击。

🤖vLLM v0.25.0 发布，Model Runner V2 成默认引擎AI大模型

🤖Lithos 推出基于 Kimi K2.7 Code 的推理引擎，峰值超 1000 tok/sAI大模型

🤖Inference AutoTune：25 行代码蒸馏前沿模型，成本低于 250 美元AI大模型

🤖Grok 4.5 在基准测试中以低 4.76 美元成本超越 Opus 4.8AI大模型

📦colibri 让 744B 参数 GLM-5.2 在 25GB RAM 无显卡环境运行开源

📰Eagle 软件纯软件方案提升 AI 推理速度 20%，多家头部公司采用企业软件

💡完整记录：B2C App 投放 TikTok 广告，41 天做到月收入 5000 美元创业

📰LinkedIn 内容运营系统公开：7 个月实现 200 万美元 ARR内容运营

📰Gemma 4 技术报告发布，腾讯提出层级稀疏注意力论文

📰AI 推理成本 2 年下降 280 倍，杰文斯悖论将推高总需求趋势

📰印度 IT 外包被 AI 重创：指数回撤 49%，19 万亿卢比蒸发产业变革

🏛工信部网络安全机构建议卸载 Claude Code政策监管

📰GrokBuild 被曝默认上传完整 Git 仓库，或有严重数据泄露风险安全

📰长鑫科技科创板 IPO 融资 295 亿元，成今年 A 股最大 IPO财经

💻树莓派 5 开源射频感知设备，499 美元隔墙定位 Wi-Fi硬件

🚀SpaceX 星舰下一次发射瞄准本周四航天

📰注册海外 AI 服务用 giffgaff 英国卡，稳定通过手机验证技巧

🤖 AI 大模型

𝕏 vLLM v0.25.0 发布，558 次提交与 232 位贡献者

vLLM 发布 v0.25.0，Model Runner V2 成为默认引擎，淘汰旧版 PagedAttention，新增统一流式解析引擎、通用投机解码及 Hy3 和 Unlimited OCR 等新模型。

𝕏 Lithos 推出 Kimi K2.7 Code 推理引擎，单节点超 1000 tok/s

Lithos 发布基于 Kimi K2.7 Code 的 agentic 推理引擎，在单台 8×B200 GPU 节点上，编码任务 峰值超过 1000 tok/s，保持模型原生精度。

𝕏 Inference AutoTune：25 行代码蒸馏前沿模型至 1-30B SLM

发布Inference AutoTune，可在25 行代码、约2 小时内将任意前沿模型蒸馏为 1-30B 参数任务特定 SLM，成本低于250 美元，自动路由请求降低 90%成本。

𝕏 GPT-5.6 Sol 与 Claude Fable 5 在无意义涂鸦识别上表现迥异

用户测试显示，GPT-5.6 Sol对手机闭眼涂鸦的“手写”总是幻觉出可读文本，而Claude Fable 5会坦诚无法识别甚至质疑这不是笔迹。该对比揭示了当前顶级模型在不确定性处理上的差异。

𝕏 Grok 4.5 在 Perplexity Computer 基准测试中超越 Opus 4.8，以低成本获最高分

在Perplexity Computer的 WANDR 评估中，Grok 4.5作为编排器得分0.328，单次成本仅**$4.76**，超过Opus 4.8（0.254 分，$9.46）和GPT-5.6 sol（0.289 分，$2.64），成为最强模型。

🛠️ AI 工具推荐

𝕏 Golos：开源免费语音转文字工具，Wispr Flow 平替

Golos 是一款开源语音转文字工具，按住 Option 键说话即可输入文字，支持微信、浏览器、编辑器等，自定义词典，响应迅速。

𝕏 OpenDisplay：免费开源 Mac 副屏工具

OpenDisplay 可将闲置 iPhone/iPad 变成 Mac 真实扩展显示器，支持 USB/WiFi、触控输入，不要求同一 Apple ID，替代 Sidecar。

𝕏 ResumeCollection：上百套免费简历模板仓库

ResumeCollection 仓库收录 100 多套中文免费简历模板，支持 Word 下载，涵盖应届生、教师、程序员等职业，附带预览图。

𝕏 agent-device：移动端自动化 CLI，让 AI 操作真机 App

Callstack 开源 agent-device，支持打开 app、读 accessibility、点击/输入、截图录屏、抓性能，可 replay 脚本，支持 Expo/Flutter。

𝕏 Proxmox 免费只读监控面板

免费自托管的 Proxmox VE 只读监控面板，将多台集群和备份服务器状态收进深色仪表盘，平替 Proxmox Datacenter Manager。

𝕏 QQ 邮箱推出 AI 专用邮箱 Agent Mail

QQ 邮箱 发布 Agent Mail，每人可抢注两个地址，专为 AI 代理设计的邮箱，内测中。

𝕏 Codex 自动下载视频并生成双语字幕 Skill

分享一个 Skill 通过 Codex 自动下载视频、获取封面、翻译双语字幕并烧录成 MP4 格式。

𝕏 Codex 反代使用推荐：CLIProxyAPI

Tibo 推荐在 Claude Code 中使用 CLIProxyAPI 反代 GPT-5.6 Sol，该工具通过 OAuth 登录 ChatGPT 后输出 API，目前未出现封号。

𝕏 Cursor 和 FactoryAI Droid 值得开通使用

用户推荐除 Claude/ChatGPT 外，Cursor 和 FactoryAI Droid 最值得使用，Harness 优秀，支持主流模型，Grok 4.5 速度极快。

𝕏 GPT-5.6 Sol 实现照片到 3D 模型反向编译

开发者利用GPT-5.6 Sol创建 skill，可将任意照片物体反向编译为纯代码 3D 模型，项目已开源免费。

𝕏 colibri 工具让 744B 参数模型在 25GB RAM 上运行

开源工具colibri使GLM-5.2（744B 参数 MoE 模型）在仅25GB RAM、无显卡环境下运行，核心常驻 9.9GB，其余 SSD 按需加载；但冷 token 需 10-20 秒。

𝕏 开源项目 llm_wiki：自动构建结构化私人知识百科，获 1.4 万星

开源项目nashsu/llm_wiki自动将文档资料构建为结构化维基，支持双向链接、节点图谱、本地运行与 API 接入。1.4 万星，TypeScript 编写，成个人知识库管理利器。

𝕏 MrEditor：10GB 超大文本日志文件极速编辑器，加载 8 千万行仅需 210 毫秒

开源工具MrEditor可极速打开并编辑10GB超大日志文件，加载八千多万行内容仅需210 毫秒且内存占用极低，跳转末尾行微秒级响应。

𝕏 NeuroBook：AI 辅助长篇创意写作 IDE，本地管理世界状态与剧情结构

NeuroBook是一款专注于长篇写作的 IDE，将世界状态、剧情结构、正文和 AI Agent 放进同一本地工作台，确保设定不漂移、伏笔不丢，创作主导权在创作者手中。

𝕏 Usage：将 Claude Code 和 Codex 的用量实时显示在 macOS 菜单栏

macOS 小工具Usage可将Claude Code和Codex的用量信息钉在菜单栏，内置10 款主题，方便用户实时监控 AI 工具消耗。

𝕏 Knopo：原生 macOS 大纲笔记工具，数据存储为本地 Markdown 文件

Knopo沿袭 Logseq 区块式笔记思路，数据全部存为本地纯Markdown文件，无需登录、无数据绑定，作为文件夹内 md 文件的高速索引与编辑器。

𝕏 Gemini Collector：将 Gemini 对话与 AI 生成内容完整保存到本地的工具

Gemini Collector可将Gemini对话及所有 AI 生成内容完整保存到本地，方便用户备份和管理。

𝕏 Eagle 软件：AI 推理速度提升 20%，已获多家大 AI 公司采用

软件公司Eagle通过纯软件方案实现 AI 推理速度**20%**提升，多数大型 AI 公司已在其系统中运行该软件。该消息来自 Scobleizer 在投资人聚会中获取的信息。

📖 教程攻略

𝕏 开源移动端架构脚手架：create-app Skill

kevinma_dev_zh 开源 create-app skill，基于生产验证的 Expo/React Native + Supabase 架构，整合路由、数据分层、登录内购等 14 条硬教训。

𝕏 13 类常见 Motion 动效名称速览

视频演示 13 类常见动效名称（Push Slide、Staggered Entrance、State Morph 等），帮助向 Agent 或设计师准确表达动画需求。

𝕏 frp v0.70 发布：开源内网穿透工具教程

内网穿透工具 frp 更新至 v0.70，完善 API、规定兼容性策略，附带详细教程。

𝕏 claude-code-recipes：100 个办公场景的 Claude Code 用法

项目整理了 100 个办公场景的 Claude Code 用法，涵盖会议记录、数据报告、销售分析等，每个场景带具体步骤和提示词，按人群分 10 个梯队。

𝕏 10 个 AI 项目练习助 30 天内就业

整理 10 个 AI 项目：RAG 应用、自主研究 Agent、AI 客服、语音 Agent、AgentOps 仪表盘等，每个附 Stack 和教程链接。

𝕏 网络安全职业学习路径与认证路线图

提供从网络基础到渗透测试、云安全的系统性学习计划，包含 Security+、CISSP、OSCP 认证路径。

𝕏 B2C App 首次投放 TikTok 广告完整流程：41 天达到$5000/月

一篇中文文章详细记录首次跑 TikTok Ads 的全流程：先接 MMP 回传付费信号、Campaign 设置、起步至少 6 条素材、用 Spark Ads 原生投放、评论区控评、两天后按 CPA/LTV 决策。作者实测 41 天 做到 $5000/月 收入，利润率 40%。

💎 技巧经验

𝕏 注册海外 AI 服务用 giffgaff 英国卡解决手机验证

用 giffgaff 英国实体卡（0 月租）可通过 OpenAI / Claude / Cursor 等手机验证，稳定不封号。

𝕏 服务器 IP 被 Grok 拉黑的可能原因

用户发现短时间大量使用 CloudFlare 测速可能导致接入 CF 的 Grok 等服务拉黑 IP，提醒控制测速频率。

𝕏 ⭐ Codex 节省用量配置：5.6 Sol + Standard Speed

分享Codex实践配置：模型选择5.6 Sol，Effort 选 Extra High 或 Max，Speed 选 Standard，可多消耗 2-3 倍 token；避免 Ultra+Fast 组合。

𝕏 ChatGPT Codex 快捷键小技巧：Raycast+Cmd+G 快速打开，Tasks 间无缝切换

分享Codex使用技巧：在Raycast中设置快捷键Cmd+G打开 Codex；用Control+Tab顺时针切换 Tasks，Control+Shift+Tab逆时针切换；Cmd+K搜索，Cmd+N新建，全程无需鼠标。

⚡ 工作流

𝕏 ⭐ LinkedIn B2B 内容运营系统：7 个月做到 200 万美元 ARR

Dan 团队分享 LinkedIn 内容运营方法：70/20/10 漏斗分层，内部知识驱动选题，Notion 流程管理，90 天一轮定位-权威-转化，实现 200 万美元 ARR。

𝕏 使用 SOL Max 和 SOL High 的编码工作流

开发者实践：用 SOL Max 对话沉淀目标文档（goal.md），用 SOL High 执行，每半小时检查进度文件，确保方向不偏。

𝕏 AI 开发工作流：Fable 定需求+Grok 监工+GPT-Sol 编码

分享使用Fable讨论需求生成文档、Grok监工或快速执行、GPT-Sol按票编码的协作流程，配合 Orca 编排进一步提升效率。

📚 论文研究

𝕏 LingBot-VLA 2.0：20 种机器人配置的统一操控策略

LingBot-VLA 2.0 支持 20 种机器人配置和全身自由度控制，用 5 万小时高质量数据训练，在 Agilex GM-100 上成功率 34.4%，领先 pi0.5。

𝕏 1988-2015 年老年人痴呆诊断率每十年下降 13%

经济学人 报道，在北美和欧洲六国，1988-2015 年 痴呆诊断率每十年下降 13%，目前问题在于这一趋势能否持续。

𝕏 本周重要 AI 论文：Gemma 4 技术报告、层级稀疏注意力等

本周值得关注的论文：Google DeepMind 发表 Gemma 4 技术报告，Tencent-Hunyuan 提出层级稀疏注意力，DeepSeek 发布 DSpark 投机解码方案。

𝕏 GPT-5.6 Sol Ultra 据称证明循环双覆盖猜想

有研究者称GPT-5.6 Sol Ultra成功证明困扰图论界半个多世纪的循环双覆盖猜想，借助 F₂³流将问题转化为线性代数论证，若经独立检验将是 AI 参与前沿数学的重要里程碑。

𝕏 VLA 性能研究：细粒度子任务标注实现 SOTA，REASSEMBLE 任务 F1 达 93.1

研究团队训练视觉+本体感知模型，通过细粒度子任务标注提升 VLA 性能，在REASSEMBLE任务上达到93.1 F1@50，在 Amazon Robotics 刀片插入任务上达98.6，跨越不同实施例泛化。

🚀 产品发布

𝕏 树莓派 5 开源射频感知设备：499 美元实现隔墙定位 5GHz Wi-Fi 和追踪无人机

结合树莓派 5、FPGA和相控阵天线的开源设备，可感知4.9–6GHz射频信号，实现隔墙定位 Wi-Fi、空中追踪无人机，并可串联成更大天线阵列。售价仅499 美元。

𝕏 SpaceX：下一次星舰发射瞄准本周四

Elon Musk透露，Starship下一次发射目标定于本周四（7 月 16 日）。星舰正在快速演进。

🌍 国际大事

美国共和党鹰派参议员 Lindsey Graham 猝死，享年 71 岁

美国共和党参议员 Lindsey Graham（共和党）于美东时间7 月 11 日晚突发急病去世，终年71 岁。急救人员响应'心脏骤停'呼叫，其助手称此前无不适迹象。作为资深议员，Graham 是知名'鹰派'，曾 10 次赴基辅推动对俄制裁，主张对伊朗强硬。他的去世可能影响国会格局及外交政策。

𝕏 乌克兰从土耳其获得导弹拦截器生产许可

乌克兰 与 土耳其 和平分手，乌克兰获得生产导弹拦截器的许可，这是一项重要军事技术转让。

𝕏 欧盟探索放弃“团结一致”的激进构想

欧盟为重拾动力，正在探索放弃一致通过的激进构想，以加快决策效率，应对当前挑战。

科威特谴责伊朗袭击，称构成'高度危险的升级'

科威特外交部声明谴责伊朗针对该海湾国家的**'卑劣袭击'**，称持续袭击构成高度危险的升级，威胁地区和平与安全。科威特保留根据国际法采取一切必要措施的权利。

𝕏 伊朗袭击商船并关闭海峡，美国空袭伊朗回应

伊朗周六袭击了一艘商船，随后关闭海峡；美国继续空袭伊朗，打击伊朗骚扰商船的能力。地区紧张局势持续升级。

📈 财经市场

长鑫科技 IPO 拟融资 295 亿元，为今年 A 股最大

国产存储芯片巨头长鑫科技将于7 月 16 日科创板申购，拟融资295 亿元，为今年 A 股最大 IPO，科创板仅次于中芯国际。网上申购上限 167.2 万股。

𝕏 大摩英伟达路演：黄仁勋确认 Rubin 未延期，ASIC 客户转向英伟达

摩根士丹利组织英伟达非融资路演，黄仁勋明确Rubin未延期，Rubin Ultra 明年出货。季度收入正接近1000 亿美元，一个此前主要使用 ASIC 的头部客户（可能为Anthropic）现英伟达参与度接近50%。

💹 法国电信大亨 Xavier Niel 以 59 亿美元收购沃达丰 16.2%股份，成第一大股东

法国亿万富翁 Xavier Niel通过投资工具 Vega 收购阿联酋电信集团所持沃达丰全部股份，交易金额59 亿美元，完成后将持有16.2%股份成为第一大股东。沃达丰股价盘中涨14%。

🏭 工业能源

𝕏 ⭐ 华为联手 Swaysure 自建 DRAM 工厂，月产能 14 万片

华为联合 Swaysure（昇维旭）及政府组建三方联盟，计划建设 12 英寸存储芯片生产基地，月产能 14 万片，缓解 DRAM 地缘压力。

𝕏 Tesla 拆除 Fremont 工厂 Model S/X 产线，为 Optimus 让路

Tesla 正在拆除 Fremont 工厂原 Model S 和 Model X 组装线，腾出空间用于高产量生产 Optimus 人形机器人。

𝕏 中国火箭回收里程碑加速：ZQ-3、CZ-12A 等首次试飞即成功实现回收

对比中美火箭回收里程碑：SpaceX从首次发射 F9 到首次成功着陆历经5 年；中国长征十号乙、ZQ-3、CZ-12A均在首次试飞即尝试回收并成功，体现了中国路线的快速迭代优势。

🧠 深度思考

𝕏 卡尔·伊坎的杠杆破产教训

卡尔·伊坎 1962 年因满仓杠杆在股灾中破产，后靠期权交易重塑口碑。他最大的教训是：杠杆会让你觉得自己是天才，直到它夺走一切。

𝕏 AI 应用五分类：效率、效果、习惯、情感、基建

lifesinger 提出 AI 应用分类：效率类（模型公司囊中物）、效果类（少但有机会）、习惯类（生命力强）、情感类（大机会不明）、基建类（易被替换）。

𝕏 Agent Skill 平台占比：Claude Code 44.7%，MCP 34.9%

基于 Agent Skills Hub 的 13.5 万个 skill 分析：Claude Code 占 44.7%，MCP 占 34.9%（接近 Python），Codex 16.2%，Gemini 7.9%。

𝕏 SaaS 增长新思路：以 AI 可见性为北极星指标

marclou 建议新 SaaS 思考 5 年后用户如何与产品交互（通过 AI 助手），以 AI 可见性为北星指标，从 ChatGPT 可见到可 onboarding 到可获取价值。

𝕏 Anthropic 对谈：Agent 脚手架变薄，工程角色改变

Anthropic 平台工程负责人分享：Agent 编排层正在变薄，重点转向 Agent 间协作；衡量 ROI 应先看个人效率提升；每个工程师都更参与产品决策。

𝕏 AI 推理成本 2 年内下降 280 倍，杰文斯悖论将推动总工作需求增加

斯坦福报告发现 GPT-3.5 级别推理成本 在不到 2 年内下降 280 倍。同时，swyx 指出随着知识工作单位成本下降，总工作需求上升而非下降；发生在编程领域的事件并非例外，而是预示，AI 工程师将成为关键。更便宜的推理将创造更多需求，多 Agent 系统将无处不在。