2026-07-11 新闻早报

这篇新闻报道了 GPT-5.6 Sol Ultra 在验证 Cycle Double Cover 定理方面取得的成果。Cycle Double Cover 定理是一个在数学领域的重要猜想，其证明将为相关领域的理论研究带来深远影响。该报告提供了相关的文档（pdf格式），详细描述了实验过程和结果，并对验证结果进行了分析和讨论。 📎 原文：GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] | 来源：Hacker News

倡导者呼吁美国国土安全部公开展示在休斯顿发生的导致墨西哥移民 Lorenzo Salgado Araujo 死亡的枪击事件的监控录像。该视频显示，ICE 执法人员在一次交通检查中开枪打死该名男子。但国土安全部声称，参与此次枪击的执法人员没有佩戴体感摄像机，原因是… 📎 原文：ICE is threatening to deport witnesses of its latest shooting | 来源：The Verge

ING Groep，作为主要的商品交易金融机构之一，正在收到大量来自客户的需求，以支持委内瑞拉的自然资源交易，尤其是在该国在多年美国制裁后重新调整出口业务的情况下。ING Americas 部门的新任负责人表示，公司正积极应对这一趋势，并为客户提供相应的金融解决方案。 📎 原文：ING Weighs Venezuela Commodity Deals as Client Requests Rise | 来源：Bloomberg Markets

卡扎克斯坦亿万富翁Timur Turlov旗下的Freedom Holding Corp. 通过股权出售成功筹集了3亿美元，用于支持其持续的国际扩张计划。此次融资将为公司未来的发展提供重要的资金保障，并加速其在全球市场的布局和业务拓展。 📎 原文：Kazakh Tycoon Turlov’s Freedom Raises $300 Million for Expansion | 来源：Bloomberg Markets

服装零售商 Tailored Brands Inc. 正式向美国证券交易委员会(SEC)提交了首次公开募股(IPO)申请，标志着该公司重返公开市场的重要一步。此次IPO预计将为Tailored Brands筹集资金，用于改善运营、拓展业务和偿还债务。公司此前曾经历过财务困境，并进行了资产出售等举措。 📎 原文：Men’s Wearhouse Owner Tailored Brands Files Publicly for US IPO | 来源：Bloomberg Markets

面对巨大反弹，Meta 将关闭此前一周宣布的功能，该功能允许用户仅通过标记公开的 Instagram 账号内容，即可生成基于这些内容的 AI 图像。 此功能原设计允许任何公开的 Instagram 账号的内容被用于 AI 生成，而无需获得账号所有者的授权。 [此处省略原文] 📎 原文：Meta turns off the Instagram feature that let users make AI deepfakes of public accounts | 来源：The Verge

“我们的目标是提供一个有用的创意工具，并让人们能够控制其公开内容是否可以以这种方式被引用，”该公司在一篇博客文章中表示。“我们收到了关于此功能的反馈，表明该功能未能达到预期效果，因此它已不再可用。” 📎 原文：Meta removes controversial AI feature on Instagram after backlash | 来源：TechCrunch

据《华尔街日报》报道，MGM Resorts International 正在与 Barry Diller 的 People Inc. 进行交易谈判。娱乐巨头 Diller 提议收购该公司不拥有部分股份，从而达成合作。 这可能标志着 MGM Resorts 在寻求多元化或战略合作伙伴关系方面迈出的重要一步。 具体的交易细节和潜在影响尚待进一步确认。 📎 原文：MGM Resorts Engaged in Deal Talks With Diller, WSJ Says | 来源：Bloomberg Markets

本文探讨了在 MiMo v2.5 中进行推理优化的策略，重点在于提升混合 Sparse Weight Activation (SWA) 的效率。通过对现有技术的分析和实验验证，文章提出了多种优化方法，包括但不限于模型结构调整、量化技术应用以及硬件加速等。这些方法旨在最大限度地减少计算资源消耗，同时保持或提高模型的准确性，从而实现更高效的推理过程。文章还探讨了不同场景下优化的适用性和局限性，为读者提供参考和指导。 📎 原文：Inference Optimization for MiMo v2.5: Pushing Hybrid SWA Efficiency to the Limit | 来源：Hacker News

Moss (YC F25) 正在招募人才。 📎 原文：Moss (YC F25) Is Hiring | 来源：Hacker News