AI行业动态 - 微盟发布中国SaaS行业首个面向零售行业的专属AI Skill "Weimob Admin Skills" 并接入OpenClaw生态 可适配包括QClaw在内的各大厂商"本地版龙虾" [5] - Anthropic宣布Claude Mythos Preview模型 该模型擅长识别软件漏洞和安全缺陷 微软、亚马逊、苹果、CrowdStrike、Palo Alto Networks等约40家公司将作为"新网络安全倡议"的一部分对其进行使用和测试 [6] - 北京大学AI4Math团队用自主构建的自动化AI框架解决了交换代数中的安德森猜想这一开放问题 并在Lean中完成了约19000行的形式化验证 这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证 [7][8] 公司业绩与产品 - 三星电子一季度销售133.00万亿韩元 远超分析师预期的116.81万亿韩元 一季度运营利润57.20万亿韩元 远超分析师预期的39.28万亿韩元 利润录得超预期的八倍增长 主要受AI和数据中心存储芯片强劲需求推动 [9] - 据知情人士透露 苹果公司首款可折叠手机计划在9月iPhone发布期间推出 与iPhone 18 Pro和18 Pro Max同步发布 初期供应可能因显示屏和材料复杂性而受限 [11] 公司治理与法律 - 埃隆·马斯克提起诉讼 寻求解除OpenAI首席执行官Sam Altman及总裁Greg Brockman的职务 并主张撤销OpenAI向营利性公司的转型 恢复其非营利性研究组织地位 马斯克希望进行陪审团审判 [12]