早上好，今天值得看的 AI 和科技动态都在这了，一共挑了 16 条，点标题可以看原文。
🤖 AI 新闻
- Ramp前工程师推出内容创作平台Melius获2000万美元融资 [TechCrunch AI]
📝 该公司放弃最初帮助营销人员管理广告支出的产品，转而专注于构建生成创意资产和广告活动的工具。
原文：Ex-Ramp engineers raise $20M for platform Melius after scrapping their first product - AI决策模型或将重塑内容审核方式 [TechCrunch AI]
📝 Musubi发布了专为实时审核设计的轻量级决策模型PolicyLM-1.7B，采用开放权重形式。该模型有望提升内容审核的效率与实时性。
原文：How AI decision models could change content moderation - AI计算公司Lambda拟融资40亿美元 计划2027年IPO [TechCrunch AI]
📝 由Nvidia投资的Lambda以145亿美元估值融资，Coatue和Blackstone领投。公司计划于2027年上市，将进一步扩大AI算力基础设施布局。
原文：AI computing startup Lambda to raise $4B ahead of planned IPO
💻 科技新闻
- OpenAI发布前沿模型数学突破成果 [The Verge]
📝 OpenAI发布722篇数学手稿，由未发布的前沿模型解决多项长期数学难题，涵盖372个结果家族。这些成果令数学界既惊叹又感到不安。
原文：OpenAI drops another batch of mathematical breakthroughs - Xbox获GTA 6独家云串流权 [The Verge]
📝 微软Xbox已拿下《GTA 6》独家云串流权，首发期间将是唯一支持云游戏的平台。PC玩家可借助Xbox云服务在电脑、电视等设备上提前游玩。
原文：Xbox has secured exclusive GTA 6 streaming rights - 微软考虑将三维弹球带回Win11 [IT之家]
📝 微软Windows负责人表示，XP经典游戏《三维弹球》已被列入改进清单。此举回应了用户在社交平台提出的让经典游戏回归Win11的呼声。
原文：微软回应称考虑将 WinXP 经典游戏《三维弹球》带回 Win11 - 华为Mate90首发拼好网等功能 [IT之家]
📝 余承东详解华为Mate90系列首发的多设备互助通信功能，高铁视频通话卡顿减少90%。同时，中国空间站下半年将迎首批外籍航天员，鸿蒙系统加速出海。
原文：IT早报 1007：余承东详解华为 Mate 90“拼好网”功能；杨利伟称中国空间站下半年迎来首批外籍航天员；余承东官宣鸿蒙出海；2026 年诺贝尔物理学奖揭晓… - Xbox获GTA6独家云串流权 [IT之家]
📝 微软Xbox已拿下《GTA 6》独家云串流权，首发期间PC玩家可通过云服务游玩。Xbox云串流服务支持电脑、智能电视及移动设备。
原文：消息称微软 XBOX 拿下《GTA 6》独家云串流权，PC 玩家首发即可云端游玩 - OpenAI开源700篇数学证明预印本 [Hacker News]
📝 OpenAI在GitHub发布722篇数学手稿，包含大量数学证明与反例，均由未发布的前沿模型生成。这些成果为数学研究提供了新的计算辅助资源。
原文：OpenAI just dropped 700 preprints of mathematical proofs and counterexamples - OpenAI分享AI数学研究进展 [Hacker News]
📝 OpenAI发布文章介绍大语言模型在数学推理、定理证明等领域取得的进展，旨在推动AI数学能力的开放共享与透明发展。
原文：Sharing AI Progress in Mathematics - LLMs或缓解了我的重复性劳损 [Hacker News]
📝 作者分享借助大语言模型辅助编程后，因减少手动敲代码时间而显著缓解了重复性劳损（RSI）症状，展现了AI工具对开发者健康的潜在益处。
原文：LLMs may have helped my RSI - 求推荐基于文本和参考音频生成声音的AI模型 [Hacker News]
📝 网友在社区发帖询问是否存在能够结合文本描述与参考音频生成声音效果的AI模型，讨论当前音频生成技术的可用方案。
原文：Ask HN: Are there AI models for generating sounds based on a text and reference? - Python 3.15性能有多快？ [Hacker News]
📝 博主通过基准测试对比Python 3.15与前代版本的执行速度，展示新版本的性能提升，为开发者评估是否升级提供参考。
原文：How Fast is Python 3.15? - Mistral发布Large 4大模型 [Hacker News]
📝 Mistral AI推出新一代Mistral Large 4模型，在推理、多语言及代码能力上持续进阶，进一步强化其在开源与商业大模型市场的竞争力。
原文：Mistral Large 4 - 2026年诺贝尔物理学奖授予Francis Halzen [Hacker News]
📝 诺贝尔奖委员会将2026年物理学奖授予Francis Halzen，表彰其在中微子天文学领域的开创性工作，尤其是领导建设南极冰立方中微子观测站。
原文：Nobel Prize in Physics 2026: Francis Halzen - Paramount Skydance完成与华纳兄弟探索公司1110亿美元合并 [Hacker News]
📝 Paramount Global与Skydance Media的合并已正式完成，随后立即以1110亿美元的价格与Warner Bros. Discovery合并，形成全球最大媒体集团之一。该交易将整合两家公司的流媒体平台和内容库，但面临反垄断审查和员工裁员压力。合并后公司将依托丰富的IP资源在流媒体市场展开竞争。
原文：Paramount Skydance has completed its $111B merger with Warner Bros. Discovery
—— 今日份就到这里，明天见。
