天眼早报

🤖 AI 大模型

𝕏 Kimi K3 开源发布，性能接近 Fable 5，多个基准测试领先

Kimi K3 开源模型发布，在 DeepSWE 基准排名第三，效果接近 Claude Fable 5 和 GPT-5.6 Sol，价格仅为 Fable 5 的 35%。在 ValsAI Vibe Code Bench 以 85.0% 位列第二，在 SpreadsheetBench 2 完成 34.8% 完整工作流排名第一，初步 ECI 达 155.53 略超 Opus 4.6。参数规模为 2.8T（Grok 4.5 仅 1.5T），每任务成本高于 Fable。在 FrontierMath Tier 4 仅 39%，落后美国最佳模型 7%。OpenAI 战略未来主管 迪恩·鲍尔 称其为非常优秀的模型，可与 2026 年 Q1 最优秀公开模型媲美。

𝕏 Google 推迟 Gemini 3.5 Pro 发布，因编码能力未达内部目标

据 @minchoi 透露，Google 原计划发布的 Gemini 3.5 Pro 因编码能力未通过内部评估而被推迟。期间业界已推出 Fable 5、GPT-5.6、Grok 4.5、Kimi K3。

𝕏 DeepSeek V4 GA 版本测试中，性能接近 Opus 4.8

消息称 DeepSeek V4（GA）正在测试，早期结果达到 Opus 4.8 水平，在 3D 和 代理行为 方面表现更优，定价预计保持不变。

𝕏 GLM 5.2 在 OpenRouter 降价 80%，性价比突出

GLM 5.2 在 OpenRouter 上价格降至 $0.2/$0.8/百万 token，性价比突出。

𝕏 Anthropic 将 Fable 5 纳入顶级订阅，额度减少 25%

Anthropic 自 7 月 20 日起将 Fable 5 纳入最高级订阅，但额度减少 25%。此前活动提升了 50% 额度，实际缩水。Pro 用户无法使用。

𝕏 Kimi 估值达 315 亿美元，创始人杨植麟或成华人最年轻千亿富翁

Kimi 最新估值达 315 亿美元，1992 年 出生的创始人 杨植麟 持股 51.83%，身家约 1106 亿人民币，或成华人史上最年轻千亿富翁。

𝕏 Google 更新 Gemma 4，大幅提升工具调用能力

Google 更新 Gemma 4，修复工具调用稳定性和一致性，预填充速度提升 25-70%。Unsloth 已发布量化版本便于本地部署。

---

🛠️ AI 工具推荐

𝕏 AntennaSim：在浏览器中运行天线仿真

AntennaSim 基于 NEC2，支持实时 3D 辐射图 可视化和即时 SWR/阻抗图表。

𝕏 在 Claude Code 中运行带引用的深度研究

开源工具利用多代理架构在 Claude Code 中执行深度研究，并自动验证引用。

𝕏 ProofAgent-Harness：开源代理可靠性评估工具

ProofAgent-Harness 用多陪审员共识评估上下文工程质量，涵盖角色清晰度、护栏覆盖等维度。

𝕏 ApiArk：替代 Postman 的轻量 API 工具

ApiArk 将内存占用从 800MB 降至约 60MB，数据以标准 YAML 文件本地存储。

𝕏 CodexSaver 通过 MCP 路由降低 Codex 成本 40-70%

CodexSaver 使用 MCP 路由器将常规任务委派给 DeepSeek，保留 Codex 用于高级推理和审查。

𝕏 开源 AI 代理内存操作系统

提供持久化内存的 AI 代理操作系统，支持跨会话状态管理。

𝕏 PenEcho：开源白板让 Claude 实时响应手写内容

PenEcho 是一个 20000×20000 像素画布，支持手写方程、图表，AI 在暂停后直接在白板上回复。

𝕏 LangChain 开源全栈软件工程代理工厂

LangChain 开源了内部构建的完整软件工程代理工厂，包括 Dcode、OpenSWE 等组件。

𝕏 WrenAI：在浏览器中运行语义 SQL 的开源工具，支持 Claude/Cursor/ChatGPT 查询

WrenAI 是一个开源工具，其 Rust 引擎基于 Apache DataFusion，可将语义 SQL 翻译后对 20+ 数据源（Postgres、BigQuery、Snowflake 等）执行查询。只需在 Claude Code 中粘贴 npx skills add Canner/WrenAI --skill '*' 即可安装。

𝕏 LingShu：开源的 macOS AI Agent，类似 Codex 和 Claude Code

LingShu是开源的 macOS AI Agent，支持多模型，可在本地执行代码和自动化工作流。GitHub 仓库已发布。

𝕏 Antra：跨平台音乐下载工具，支持多平台链接

Antra桌面应用支持从Spotify、YouTube Music、Apple Music等平台下载音乐，保存为FLAC等格式，自动获取封面和歌词。

---

📖 教程攻略

𝕏 用 AI Skill 自动剪辑影视片段学英语

开发者编写 Skill 自动处理影视片段，提取常用英语表达用于学习，后续计划开源。

𝕏 X-Agent-Intelligence：打造个人 AI 信息流的完整教程

omarsar0 发布 Skill，使用 X MCP 工具跟踪高质量账号，生成 HTML 信息流，支持定时自动化。

🟩 ⭐ 迪米特法则(Law of Demeter)详解：降低耦合的实用指南

详细讲解迪米特法则（最少知识原则），通过C#代码示例展示如何避免"火车残骸"式调用，并引用CK 度量等实证研究支持其有效性。

🐙 ⭐ 谷歌发布 Android Skills：为 LLM 优化的 Android 开发指令集

Android skills是由谷歌发布的AI 优化模块化指令集合，帮助 LLM 遵循 Android 开发最佳实践。可通过Android CLI安装，支持Gemini和Antigravity等代理。

🐙 ⭐ Anthropic 发布 Code with Claude 工作坊材料：从模型选择到多智能体系统

Anthropic开源了CWC 工作坊材料，涵盖模型选择、多智能体系统、评估驱动开发等9 个实战工作坊，适合Claude Code用户进阶学习。

---

💎 技巧经验

𝕏 在 Codex 中高效使用 /goal 功能

omarsar0 建议用独立 LLM 做 /goal 判官，推荐 GPT-5.6-Sol，可运行数天不休。

𝕏 Claude 临时限额提升延期一个月

Claude 将每周限额临时提升 50% 的活动延期一个月，可能成为常态。

---

⚡ 工作流

𝕏 公司全员 AI 开发周启示：每个人都知道应该存在的东西，缺的是快速实现的能力

一家公司让全员（从工程师到前台）用AI搭建项目并演示，结果大部分项目推动业务进展，2-3 个项目可能改变公司方向。结论：想法不缺，缺的是快速从想法到实现的能力。

---

📚 论文研究

𝕏 Agent 内存注入攻击研究：Opus 4.7 和 GPT-5.5 零凭据泄露

新研究测试针对 Claude Code 和 Codex 的提示注入，Opus 4.7 和 GPT-5.5 在凭据窃取上成功率 0%，但未授权工具使用成功率很高。

𝕏 新论文揭示 LLM 智能体在协调探索中的失败，并提出 MACE 框架

dair_ai 分享一篇新论文，发现现代 LLM 智能体在多智能体环境中无法有效互相探索，陷入短视和极化模式。作者形式化多智能体探索问题，并提出 MACE 框架通过结构化同伴选择促进探索。

𝕏 Thinking Machines 发布开源模型 Inkling：975B 参数，语音转录能力不俗

Thinking Machines 发布 975B 参数开源模型 Inkling（Apache 2.0），支持转录，在 AA-WER 上得分 3.5%，排名开源第二位。速率约 11x 实时，定价每千分钟音频 $6.60。

𝕏 研究发现 EP2 受体是衰老关键靶点，或可逆转全身衰老

研究揭示EP2 受体过度激活导致巨噬细胞清除能力下降，堆积衰老中性粒细胞引发多器官衰老。小鼠实验敲除EP2基因可逆转衰老症状，该机制在人与小鼠中通用。

---

🚀 产品发布

𝕏 特斯拉 Giga Texas 工厂发现创纪录的 245 辆 Cybercab

无人机拍摄显示 特斯拉 Giga Texas 工厂内停放 245 辆 Cybercab，金色机器人数量也在增加。

𝕏 Waymo 在旧金山停电期间暂停服务

Waymo 因旧金山停电暂停其自动驾驶出租车服务，具体恢复时间未公布。

𝕏 Canva Code 2.0 发布：从自然语言提示生成完整网站/应用

Canva Code 2.0 允许用户通过自然语言描述生成完整网站、应用或交互体验，然后像普通 Canva 设计一样编辑。支持从提示、模板或粘贴 HTML 开始，可发布到自定义域名。

𝕏 Kimi 推出企业版订阅 Kimi Business

Kimi_Moonshot推出企业版Kimi Business，最低 5 席位年付，支持对公转账、发票、企业级数据隐私和专属技术支持。

---

🌍 国际大事

𝕏 伊朗袭击约旦美军基地引发美军连续空袭及科威特火灾

据《纽约时报》等报道，伊朗对约旦境内美军基地发动袭击，造成数十名美军人员受伤，两名美军士兵死亡，一人失踪。特朗普回应称“非常悲伤”，并强调伊朗“不能也不应拥有核武器”。美国国务院发布全球安全警示。随后，美军中央司令部宣布，7 月 18 日晚奉总统特朗普之命开始新一轮空袭，旨在削弱伊朗威胁霍尔木兹海峡航运的能力，这已是连续第八晚空袭。同时，科威特消防队表示，伊朗袭击引发多处火灾，数名消防员受伤，消防人员已控制两处火势，另一处居民区火灾被扑灭。

𝕏 2024 年中国本科生数量远超美国，工程领域差距达 44 倍

中美本科学位对比：计算机科学 4 倍，机械工程 7 倍，电子电气工程 21 倍，材料科学 44 倍。

𝕏 全美首次大规模反 AI 抗议活动

HumansFirst 组织首次全国性反 AI 抗议日，由保守派活动家 Amy Kremer 领导，显示反 AI 情绪跨党派。

𝕏 Todd Blanche 正式出任美国司法部长

Todd Blanche 被正式任命为司法部长，他曾在总统议程中推动起诉政敌和保护盟友。

𝕏 各国追求支付主权可能导致全球系统不兼容

专家警告各国推进本地支付系统可能使区域系统最终不兼容，损害全球经济。

𝕏 大多数国家仍依赖美国芯片和中国开源模型

分析指出多数国家在 AI 领域仍依赖美国芯片和中国开源模型，但建立少量 AI 主权可能仍有意义。

𝕏 美国联邦债务突破 GDP 100%，创二战后首次

Steve Rattner 转发数据显示，在 特朗普 任内，美国联邦债务已突破 GDP 100%，为二战以来首次，并将在 2030 年 前超过历史最高纪录。

三星电子美国在新泽西裁员 739 人

据市场消息，三星电子 美国公司在美国 新泽西州 裁减 739 名员工。

伊拉克宣布将重修跨国输油管道

伊拉克石油部宣布与叙利亚签署谅解备忘录，重修从基尔库克至巴尼亚斯的原油出口管道，全长约800 公里。该管道原建于 1952 年，因战争废弃。此举旨在解决因霍尔木兹海峡受阻导致的原油出口困境。

法国和德国寻求开发欧洲自主军事软件替代 Palantir

据Politico报道，法德发表联合声明，将研究开发欧洲自主军事软件，取代美国Palantir。法国已终止与 Palantir 合同，并提及Arcadia项目。

---

📈 财经市场

𝕏 美股半导体指数从高点回调超 20%

美股半导体指数从高点回调超 20%,截至 7 月 17 日：标普 500 跌 2.1%，纳指 100 跌 7.1%，半导体指数 SMH 跌 17.1%，SOXX 跌 20.4%，DRAM 跌 35.2%。

IPO 排队券商半年报：东莞证券净利润 8.2 亿元

正在 IPO 排队的 东莞证券 率先披露上半年业绩，净利润 8.2 亿元，同比增长超 70%。目前排队 IPO 券商共 4 家。

𝕏 Levelsio 公开 X 平台月收入接近 16,000 美元

独立创业者 @levelsio 公布其 X 平台收入：广告分成 $6,740 + $6,474，订阅 $1,240，合计约 $15,745/月。加上周边商品和书籍，非主业月收入近 $23,000。

甲骨文数据中心项目面临数十亿美元成本增加

据The Information报道，甲骨文的数据中心项目因供应链等问题面临数十亿美元意外成本增加。

𝕏 OpenAI 秘密提交 IPO，苹果诉讼或影响银行定价

据TechCrunch报道，OpenAI已秘密提交IPO申请，苹果新诉讼可能干扰银行定价方式，时机极为不利。

𝕏 《量化选股初探》：从 2.2 万美股中筛选出 5 只复利机器

通过ROIC、EBIT Margin、FCF Margin等8 个量化条件，从2.2 万家美股中筛选出Adobe、Booking、Netflix、Paycom、WMS五家公司。

---

🏭 工业能源

𝕏 SemiAnalysis 详解 Kimi K3 的 KDA 注意力如何影响网络需求

SemiAnalysis 分析指出 Kimi K3 虽用 KDA 减少 10 倍 KV 传输，但因 WideEP 需要更高网络带宽，AI 网络交换机 TAM 不会缩小。

世界首台 500 兆瓦冲击式水电机组球阀完成现场装配并通过试验

世界首台 500 兆瓦 冲击式水电机组——大唐扎拉水电站 1 号机组进水球阀通过水压试验，由 东方电气 供货。该项目是目前世界在建综合难度最大的冲击式水电项目。

意大利极端高温每年或造成超百亿欧元经济损失

意大利商业、旅游和服务业企业联合会研究表明，极端高温每年造成60 亿至 120 亿欧元损失，影响能源成本、劳动生产率和旅游业。

𝕏 中国鹅肝产量占全球 45%，年产量达一万吨

《华尔街日报》数据显示，中国生产商占据全球鹅肝供应量的45%，年产量约一万吨，同时在鱼子酱、松露等顶级食材领域不断扩张。

中国游戏催生跨国代练产业：马达加斯加青年月薪 151 新元帮中国玩家搬砖

联合早报特稿报道，在马达加斯加的游戏工作室，年轻人替中国玩家玩**《三角洲行动》**等游戏，月薪约151 新元。中国游戏代练产业已形成全球供应链。

---

🧠 深度思考

𝕏 Consumer App 如何用 Creator Content 起量：七步框架

Lucas 详细拆解 Gleam、WayShot、StudyFetch 等 5 个案例，提出从卖点可视化到格式验证的完整方法。

𝕏 VC 创始人真实预期收益：中位数收购仅 2500 万

levelsio 计算显示，VC 支持创始人中位数预期收益随稀释降低，单创始人约 2560 万美元，考虑概率后仅 384 万。

𝕏 AI 生态系统远不止几家寡头

levie 列出 5 类正在成功的方向：定制模型服务、应用层 AI、垂直领域实验室、新基础设施、新服务商。

𝕏 Kajabi 上六位数创作者的秘密：仅需 309 个付费客户

数据显示 Kajabi 上六位数收入创作者平均仅 309 个付费客户（每月 $39），年收入 $144K。

𝕏 98% 美国家庭尚未为 AI 付费，市场远未饱和

rohanpaul_ai 援引数据称仅约 2% 美国家庭支付 AI 服务，市场成长空间巨大。

𝕏 Will Manidis 深度剖析 AI 保护主义：不要用官僚机器制造恐惧

Will Manidis 撰写了关于 Dean Ball 建议利用行政系统间接封杀中国开源模型的文章，指出这是保护主义，违反法治精神，类比“Operation Chokepoint”。Dean Ball 曾分析认为若开源模型摧毁商业实验室，美国政府可能国有化直接资助，但 Manidis 认为美国只有两个诚实选项：要么视 AI 为竞争行业，要么将其国有化并支付对价，不能既要私人收益又要政府保护而不付费。

𝕏 AGI 术语已过时，超级智能更准确

rauchg 认为 AI 与人类智能完全不同，应称“超级智能”。AI 在任务上远超人类，但无法替代人的本真性。

𝕏 Austen Allred 谈 Lambda School 教训与 Gauntlet 新方向

Austen Allred 在播客中回顾 Lambda School 因 ISA 监管问题几乎破产，创立 Gauntlet 转向企业收费模式培养 AI 工程师。

𝕏 生产级 RAG 系统绝非简单检索：七大工程要点

jerryjliu0 强调构建生产级检索系统需要调整分块、同步、重排序、工具 API、权限等，举例 Slack 线程拼接和代码库独立索引。

𝕏 开源权重模型加速还是减速创新？Martin Casado 与 OpenAI 研究员的交锋

Martin Casado 反驳“开源权重模型是减速主义”的观点，称它们实际上阻碍了寡头垄断的形成，而寡头才会真正扼杀创新。此前 OpenAI 研究员认为 Kimi K3 不应开源。

𝕏 Delip Rao 批评 Anthropic 领导层成功提示注入美国政府以延缓西方利益

Delip Rao 发文称，在中国加速前进的同时，Anthropic 领导者似乎成功“提示注入”了美国政府人员以延缓西方利益。如果被操作化，将导致不可预见的灾难。

𝕏 Marc Andreessen 在 Rogan 播客分享 AI 洞见

a16z联合创始人Marc Andreessen在Joe Rogan播客中称 AI 已跨越 AGI 门槛，顶级 AI 编码员年薪达5000 万美元，并分享 AI 使用技巧。他认为真正的技能只剩“知道问什么”。

𝕏 马斯克预测 5 年内人形机器人达亿级，建议劳动者转型为资本拥有者

马斯克在福布斯活动上预测：5 年内人形机器人数量达数亿到十亿，经济增长翻倍，工作成为选项而非必须。他建议劳动者抓住窗口期，从劳动者转型为资本拥有者。

---

📰 综合新闻

𝕏 ⭐ 姆巴佩三届世界杯总进球 22 球，超越梅西独享历史第一

2026 世界杯三四名决赛中 姆巴佩 梅开二度，本届已进 10 球，三届总进球达 22 球，超越梅西的 21 球纪录。

---

💡 生活建议

𝕏 广州文员久坐致瘫痪风险，医生警告马尾综合征不可逆

广州29 岁文员何先生久坐后腰痛误以为腰肌劳损，拖延两天后确诊腰椎间盘脱出合并马尾综合征，神经受压超48 小时可致不可逆损伤。

---

🚀 创业公司

𝕏 Agent 基础设施 Runta 完成 2000 万美元种子轮融资

Runta完成2000 万美元种子轮，由a16z领投。该项目构建 AI 智能体执行层，控制代理行为边界。创始人为前 Cloudflare 和 Kong 技术负责人。

---

由 X-Crawler AI 生成于 2026-07-19 08:07