每日科技摘要-10-10-晚报

大模型竞速与产品落地并进，监管博弈加剧

OpenAI加速建设AI数据中心，Nadella：微软早就有了：微软部署首个大规模 Nvidia AI“工厂”，用超4600个GB300机架承载 OpenAI 负载，并计划全球扩张，以应对前沿 AI 计算需求。
Reflection AI豪掷20亿美元，打造美国开放式AI实验室，正面硬刚DeepSeek：前 DeepMind 团队创业 7 个月估值涨至 80 亿美元，定位为开源前沿实验室，对标 OpenAI/Anthropic 与中国前沿机构，发力开放式大模型。
派早报：Alphabet 反垄断案新进展、Intel 发布多项新品等：Alphabet 为 Gemini 与自家服务捆绑辩护称属创新，司法部建议将反垄断审查扩至 AI；Intel 预告 18A 工艺的 Panther Lake 与新 Xe3 GPU、2026 年初上市；Google 推出支持网页操作的 Gemini 2.5 Computer Use。
Copilot上新技能：一键生成Office文档，还能直连Gmail：Windows 版 Copilot 支持在对话内生成 Word/Excel/PPT/PDF，并可连接 Outlook 和 Gmail 获取信息，先向 Insider 开放。

服务器驱动 Web、数据库多主与 OCR 实用工具上新，降低开发与运维复杂度

Datastar：轻量级超媒体框架，助你打造互动网页应用：将状态管理放到后端，以 HTML 属性与服务端渲染/SSE 驱动前端，减少 JS 复杂度，任意后端语言可用。
我从 Htmx 转投 Datastar：作者称 Datastar 代码更少、API 更简、更新集中在后端，并用 SSE 实现高性能实时多用户更新。
Show HN：开源逻辑多主 PostgreSQL 同步方案：Spock 为 PG 15+ 提供多主复制，要求各节点一致的表结构，通过内置函数配置节点与订阅，支持去中心化写入。
ScribeOCR——一站式网页文字识别与文档数字化助手：免费 Web 应用，支持图文识别、HOCR 校对、为 PDF 添加可搜索文本层，强调高效校对界面与字体优化。
小白也能上手：用PyTorch在Windows上用AMD部署LLM全攻略：在 Windows 11 上用 AMD ROCm 与公开预览版 PyTorch 跑 Transformer 模型，示例含 Llama 3.2 1B 与聊天机器人搭建。
Peersuite – 简单功能的开源 Discord、Slack 替代方案，随便改改就是自己的：去中心化私密协作工具，基于 WebRTC 加密直连，无存储服务器，提供聊天、音视频、屏幕共享、白板、看板与文档协作，可自托管。

用 Demo 驱动、示例先行与“默认多核”思路，配合形式化工具提升交付效率与正确性

我的大型技术项目打造心得（2023）：将大目标拆解为可演示的小步快跑，持续产生成就感，避免完美主义，优先满足自用场景。
案例才是最强说明书：文档应提供直截了当的代码示例，降低在不同项目/技术栈间切换的理解成本。
多核并行，轻松驾驭：提出“默认多核”的抽象（如 LaneIdx/LaneCount/LaneSync），让代码可在单核/多核间切换，减少并行化心智负担与开销。
全类型自动化精益证明：将 Lean 中的 ZMod 自动高效映射到 BitVector 供 SMT 求解，减少 6800+ 行证明代码，提示构建通用类型翻译框架的价值。

鸿蒙工程与 AI 辅助开发在进步，iOS 新视觉效果引发可用性讨论

鸿蒙 1024｜在一起，就可以——在华为实习的七个月：作者参与 DevEco Studio 与 CodeGenie，介绍 ArkTS 多端开发与 AI 助手提升；也谈到生态挑战与长期潜力。
iOS 26联系人崩了？教你一招轻松修复：新“液态玻璃”设计影响可读性，文中给出三种临时修复方案，推荐关闭“降低透明度”。

漏洞激励升级与跨境灰色劳务风险上升，消费平台定价需警惕

苹果悬赏200万美元，重奖最危险漏洞：将最高漏洞赏金提高至 200 万美元，链式高危漏洞最高可至 500 万美元，并扩展奖励类别、捐赠设备以保护高风险用户。
朝鲜黑客转行做建筑设计：朝鲜远程从业者冒充结构工程师/建筑师参与美国项目，制作 2D/3D 图纸并伪造印章，骗取收入，涉足工业设计领域。
亚马逊会员日价格大揭秘：我们都被套路了：揭示 Prime Day 的价格波动与“伪折扣”问题，提醒消费者对比历史价、谨防营销噱头。

科技符号与社会议题同框：从苹果“狗牛”到民主转型与体育迷思