2026 年 7 月 10 日，OpenAI 在自己的 CDN 上放出一篇 PDF，声称 GPT-5.6 Sol Ultra 用 64 个并行子代理、不到一小时，证明了图论里悬挂了 50 年的 Cycle Double Cover 猜想。数学界在震动与质疑中展开了审阅。六天后，UC Berkeley IEOR 教授 Phillip Kerger 把 OpenAI 公开的「CDC prompt」拿来，改造成了针对另一个问题的十页提示词，喂给 GPT-5.6 Sol Pro。148 分钟后，模型返回了一个凸优化下界的完整证明——一个他自己琢磨了一年、和 GPT-5.4/5.5 反复试都没能拿下的结

一块售价 80 美分、SRAM 只有 520 KiB 的微控制器能干什么？Pete Warden 给出的答案是：跑完一条完整的语音交互流水线——语音活动检测（VAD）、语音识别（STT）、神经文本转语音（TTS），全部在端侧完成，不联网、不调云 API、不需要账号或密钥。这个名为 Moonshine Micro 的开源项目本周登顶 Hacker News，把「80 美分芯片 + 不到 500 KiB RAM 跑完整语音界面」

把一段手持相机的视频丢进去，模型在 20 FPS 下边读帧边吐出相机位姿和稠密点云，序列超过一万帧也不崩——这是 Robbyant 团队开源的 LingBot-Map 交出的成绩单。它在 GitHub Trending 上日增 star 超 800，论文《Geometric Context Transformer for Streaming 3D Reconstruction》（arXiv:2604.14141）在 Oxford Spires、ETH3D、7-Scenes、Tanks and Temple

7月17日至20日，2026世界人工智能大会（WAIC）在上海举行。在B站展台区域，一个名为「猫娘计划」（Project N.E.K.O.）的开源AI数字生命项目引起围观。需要先澄清一个容易误读的点：猫娘计划不是B站官方产品，而是B站UP主「W博士」（运营主体为喵可智能）主导的开源项目，它作为参赛作品出现在B站AI创造公开赛的展示区。

N.E.K.O. 全称 Networked Emotional Knowledging Organism（网络型情感知性生命体），定位是一款主动式、原生全模态AI伙伴驱动器，

台积电本周在财报电话会上更新了 A14（1.4 纳米级）制程的开发进度。两个核心指标都接近 90%：内部类产品测试载具的器件性能已经接近目标水平的 90%，256Mb SRAM 良率也接近 90%。

三个月前，这两项数据还分别是超过 85% 和超过 80%。器件性能三个月提升了约 5 个百分点，SRAM 良率提升了近 10 个百

2026 年 7 月 14 日，从加州理工学院分拆出来的初创公司 PrismML 发布了 Bonsai 27B——一个把 270 亿参数的 Qwen3.6-27B 模型压缩到 3.9 GB 的开源模型。这个数字本身已经足够扎眼：同样参数规模在 16-bit 精度下要 54 GB，连主流的 4-bit 量化版本也要 13–18 GB，而 1-bit Bonsai 27B 把它压到了约原来的十四分之一。PrismML 给出的部署场景更激进：在一台 iPhone 17 Pro 上能跑出 11 tokens

2026 年 7 月 16 日，Moonshot AI 发布了 Kimi K3 模型。7 月 17 日，AI 编程智能体基准 DeepSWE 更新到 v1.1 版本，Kimi K3 第一次入榜就拿下了榜单第三名。

DeepSWE 是 Datacurve 发布的软件工程基准，专门用来测试大模型作为自主编程智能体（agentic coding）的实际能力。它的几个特点：

• 113 个长周期任务，覆盖 91 个真实代码仓库
• 5 种语言：TypeScript、Go、Python、Jav

7 月 11 日,技术社区 Lobste.rs 的系统管理员 pushcx 在一条题为《Lobste.rs is now running on SQLite》的帖子里,平静地宣布了这个运行了十几年的网站完成了数据库迁移:从 MariaDB 切换到 SQLite。这条帖子几天内收到了 438 个赞和上百条评论,同期 Hacker News 上相关讨论冲到了首页。

迁移的成果是这样的:CPU 占用下降,内存占用下降,站点响应更快, VPS 成本直接砍掉一半——因为那个专门跑 MariaDB 的虚拟机可以关了。Lobste.rs 的数据库文件最终大小约 3.8 GB,这是一个有十几年历史、用户活跃

用 Claude Code 或 Cursor 搭一个落地页,得到的东西十有八九长成这样:紫蓝渐变铺满 hero,Inter 字体通吃全场,三列等宽的功能卡片,每个卡片左上角一个圆角图标,中间一句斜体强调词,bottom 还要来一条 social icon 行。这套审美从 2023 年的 v0 和 Lovable 一直烧到 2026 年的各类 agent,凡是 LLM 介入前端生成的页面,几乎都带着同一副面孔。

Together AI 的 Hassan El Mghari(Nutlope)最近开源了一个叫 Hallmark 的项目,专门来治这个病。它不是又一个 UI 生成器,而是一份设计 sk

7 月 17 日，2026 世界人工智能大会（WAIC）在上海世博中心开幕。华为在展区内首次线下展出了全配置的昇腾 950 超节点（Atlas 950 SuperPoD）真机，这是华为迄今为止公开亮相的最强 AI 计算设备。华为公布的数据显示，昇腾 950 超节点的总算力达到英伟达 NVL144 系统的 6.7 倍。

昇腾 950 超节点基于华为自研的灵衢（UnifiedBus）互