标签：算力

Replit 桌面应用预览：联手微软英伟达，为 AI 代理建沙箱

Replit 宣布推出桌面应用预览版，与微软合作在 Windows 上让每次构建运行于独立沙箱，并成为英伟达 OpenShell 的早期采用者，主打安全与可靠性。

OpenAI 称一个未发布的内部模型从单次提示中生成 372 项数学与理论计算机科学成果，涵盖四维 Kakeya 猜想和黎曼猜想进展，部分已在 Lean 中验证。

OpenAI 更新了其公开数学形式化仓库，一次性撤回 3 项此前的 Lean 形式化成果，同时新增 6 项并修改 19 项，仓库中顶层结论的形式化覆盖率约为 42%。这一动作说明，AI 辅助数学验证仍处在边做边改、可追溯纠错的阶段。

伦敦希思罗机场将用 Adobe 的 AI 客户体验软件重建官网，并借助品牌监测工具追踪 ChatGPT、Copilot 等平台如何提及自己，以应对 AI 逐渐成为旅行决策第一入口的变化。

三星电子预计2026年第三季度营业利润约107.4万亿韩元（约800亿美元），创历史新高，主要受AI芯片所需内存需求激增推动。

Google推出Google AI Edge Foresight，一款面向macOS的本地会议笔记应用，采用其740M参数EmbeddingGemma 2模型和Gemma 4助手，意味着AI会议记录工具正从云端向本地推理迁移。

有开发者给 Claude Opus 5.5 一段“把《看不见的城市》做成 three.js 可视化”的提示词，模型以 6 个并行子代理、约 1 小时 25 分钟、74 美元 API 成本完成了一个交互式作品，作者评价其为 AI 辅助设计的一次明显跃升。

微软推出迄今最强的 Surface Laptop Ultra，搭载英伟达 RTX Spark N1X 芯片，主打本地运行 1200 亿参数以上 AI 模型，直接对标苹果 MacBook Pro，10 月 16 日开售。

获英伟达投资的圣克拉拉网络初创公司 Upscale AI 发布 Token Fabric 平台，声称能让不同厂商的 AI 芯片接入同一张网络，试图缓解大规模 AI 系统中的数据交换瓶颈。

2026年第三季度，欧洲风险投资总额达到250亿美元，同比增长77%，创下四年来最强季度，其中AI初创公司是主要推动力，欧洲占全球风投的16%。