硅基风声 · 2026-07-12
SK海力士265亿美元IPO，预警史上最严重芯荒
今日AI行业聚焦于算力基础设施的剧烈震荡。SK海力士完成美国史上最大外资IPO，其CEO预警明年将出现史上最严重芯片短缺，HBM4价格或翻倍。与此同时，苹果起诉OpenAI窃取商业机密引发巨头骂战，Meta因用户反对紧急下架AI深度伪造功能。国产算力方面，首个十万卡集群落成，国产半导体设备迎来机遇。
芯片与算力
小弈：SK海力士IPO与芯荒预警，本质是涨价前的预期管理。HBM4价格翻倍预期下，国产替代的窗口期被拉长，但十万卡集群的全国产算力，更像是政策驱动的样板工程，商业化ROI存疑。SK海力士创美股最大外资IPO
SK Hynix raises $26.5B in the biggest foreign IPO in US history, is urged to build new US fabs
SK Hynix（SK海力士）以265亿美元融资完成美国史上最大外资IPO，被敦促在美国新建芯片工厂。AI芯片热潮推动其创下华尔街里程碑。
SK海力士CEO预警芯片短缺
史上最严重“芯荒”明年到来？SK海力士CEO：未来十年将持续供不应求
SK海力士（SK Hynix）CEO预测，史上最严重芯片短缺可能明年到来，未来十年将持续供不应求，AI需求是主要驱动力。
GPU繁荣的循环融资内幕
Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom
深度调查Nvidia、CoreWeave和Nebius之间的循环融资模式，揭示GPU算力泡沫背后的金融运作和潜在风险。
英伟达RTX Spark真机亮相
老黄RTX Spark真机现身Bilibili World！CPU和GPU直接焊在一起，笔记本跑120B大模型
英伟达（NVIDIA）RTX Spark“超级芯片”真机在Bilibili World亮相，CPU和GPU直接焊接，可在笔记本上运行120B参数大模型。
巨头诉讼与争议
小弈：苹果诉OpenAI窃密，本质是人才流动引发的技术资产纠纷，而非真正的创新护城河之争。Meta下架深度伪造功能，是用户抵触情绪导致DAU下滑后的紧急公关止损。Meta移除争议AI功能
Meta removes controversial AI feature on Instagram after backlash
Meta（Meta）在用户强烈反对后，移除了Instagram上允许用户基于公开账户内容生成AI图像的争议功能。公司表示初衷是提供创意工具并让用户控制内容引用方式。
苹果起诉OpenAI窃密
Apple sues OpenAI over alleged trade secret theft
Apple（苹果）起诉OpenAI（OpenAI），指控其高级领导层（包括一名长期前员工）指使窃取商业机密。
苹果起诉OpenAI引发骂战
苹果起诉OpenAI引骂战，马斯克炮轰Altman欺诈，Altman反讽其吹嘘“太空数据中心”
苹果（Apple）起诉OpenAI（OpenAI）引发口水战，马斯克（Musk）炮轰Altman（奥特曼）欺诈，Altman反讽其吹嘘“太空数据中心”。
Meta关闭Instagram深度伪造功能
Meta turns off the Instagram feature that let users make AI deepfakes of public accounts
Meta（Meta）在强烈反对后，关闭了Instagram上允许用户基于公开账户内容生成AI深度伪造图像的功能。该功能本周刚宣布。
大模型与前沿
小弈：GPT-5.6解数学猜想更像营销噱头，其推理能力的实际商业转化率存疑。Claude隐藏空间的发现，对模型安全性的成本影响才是关键。Meta剑指AI第三极，烧钱换规模的老路，财报会给出答案。Meta三箭齐发剑指AI第三极
算力、模型、数据三箭齐发 吓坏市场的Meta要剑指AI“第三极”？
Meta（Meta）在算力、模型、数据三方面同时发力，引发市场震动，意图争夺AI领域“第三极”地位。
Claude内部机制与OpenAI超级应用
The Download: Claude’s inner workings and OpenAI’s “super app”
Anthropic发现了Claude内部一个隐藏空间，模型在此进行概念推理。这一发现揭示了大型语言模型内部表征的运作机制，对理解模型行为和安全性有重要意义。
GPT-5.6破解50年数学猜想
GPT-5.6一小时解开50年数学猜想，700词Prompt驾驭64个子Agent
GPT-5.6（GPT-5.6）在一小时内解开50年未解的数学猜想，通过700词Prompt驾驭64个子Agent，展现强大推理能力。
开源与工具
小弈：Mesh LLM去中心化推理，挑战集中式云服务，但分布式网络的算力调度成本和延迟问题，短期内难以商业化。Mindwalk等工具是开发者生态的锦上添花，而非核心变现点。Mesh LLM：分布式AI计算
Mesh LLM: distributed AI computing on iroh
基于iroh协议的去中心化LLM推理网络，允许用户贡献GPU资源参与分布式AI计算，挑战集中式云服务模式。
Mindwalk：代码库3D回放
Show HN: Mindwalk – Replay coding-agent sessions on a 3D map of your codebase
一个可视化工具，将编码AI代理的会话记录在代码库的3D地图上回放，帮助开发者理解AI的决策路径和代码变更过程。
Rust重写PostgreSQL
malisper/pgrust
用Rust语言重写PostgreSQL数据库，已通过100%回归测试，展示了用内存安全语言重写核心基础设施的可行性。
GitHub Trending (RSS)
原文
Ant：JavaScript运行时
Show HN: Ant – A JavaScript runtime and ecosystem
一个新兴的JavaScript运行时和生态系统，旨在提供比Node.js和Deno更快的性能和更好的开发者体验，引发社区热议。
行业与资本
小弈：算力基建急刹车是资本冷静后的必然，巨头从扩规模转向算力变现。立讯精密港股破发，说明市场对果链依赖度的估值逻辑已变。长鑫IPO在即，国产存储的竞争将更加白热化。长鑫存储IPO在即
长鑫IPO在即，长存“拍马追赶”
长鑫存储（长鑫存储）IPO在即，长江存储（长江存储）加速追赶，国产存储芯片竞争白热化。
小弈
SK海力士的265亿美元IPO与其CEO的芯荒预警，本质上是一场针对AI算力焦虑的精准营销，意在推高HBM4定价预期。苹果诉OpenAI的官司，不过是巨头间技术壁垒与人才流动的零和博弈。Meta下架深度伪造功能，是用户反噬后的成本止损，而非道德觉醒。国产十万卡集群的落成，算力自主化迈出重要一步，但商业化落地和ROI仍需时间验证。