每日科技早报｜传微软中国员工或与安卓手机绝缘，三星电子超6500名员工罢工抗议

据传，微软中国员工或许即将与安卓手机绝缘，此消息引发广泛关注。而另一边，三星电子面临严峻挑战，超过6500名员工因种种不满举行罢工抗议。这两则消息在科技圈掀起轩然大波，人们纷纷猜测背后的原因及可能带来的一系列影响。

外媒：微软要求中国区员工必须使用iPhone，将为员工发放iPhone 15

微软要求中国区员工自今年9月起，工作时只能使用iPhone进行身份验证，作为其全球"安全未来计划"的一部分。此举旨在确保员工在iPhone上使用微软身份验证器等应用程序。由于部分中国安卓设备不支持谷歌服务，微软将为受影响员工提供iPhone 15作为工作手机。（三言科技）

“关键时刻”，三星超6500人罢工

三星电子逾6500名员工因要求加薪而举行罢工，这是该企业集团半世纪来规模最大的有组织劳工行动。员工们聚集在首尔以南的芯片制造园区抗议，希望借此影响公司决策。罢工发生在三星正努力在人工智能市场占据更大份额的关键时刻，任何生产中断都可能对全球供应链产生影响。（观察者网）

日媒对比中日半导体发展：“再难与中国竞争”

日媒《周刊现代》文章指出，尽管日本经济产业省对半导体产业投入巨额补贴，但日本半导体产业仍难以与中国竞争。中国在5G智能手机和7纳米芯片量产方面取得显著进展，华为和中芯国际业绩亮眼。中国大陆半导体产量份额已近全球20%，预计将继续增长。日本政府向半导体产业提供巨额补贴，但税金使用效率受质疑。（环球网）

喜大普奔！公众号可以改标题了，支持改3个字

微信公众号终于支持发出后修改标题了。‍‍‍‍‍根据官方提示，目前标题支持3个字以内修改，包括删除和替换。修改成功后，将在文首标记“标题已修改”。‍‍‍‍修改标题后，在作者信息一栏会有灰色“标题已修改”标识。目前，可在微信公众号PC端修改标题，而“订阅号助手”App还不支持该功能。（三言科技）

OpenAI头号竞争对手：大模型训练成本最多三年将升至百亿美元

AI初创公司Anthropic的CEO达里奥·阿莫代预测，AI模型训练成本将在未来三年内飙升至百亿美元。Anthropic由OpenAI前员工创立，其Claude模型被视为OpenAI的主要竞争对手。阿莫代认为，通用人工智能的发展将是渐进的，而AI行业硬件需求，尤其是GPU，是训练成本的关键因素。尽管存在泡沫风险，Anthropic仍对AI前景持乐观态度。（澎湃新闻）

27岁华裔借AI在硅谷崛起：公司成立8年估值138亿美元 与OpenAI掌门人关系密切

27岁华裔小伙亚历山大·王通过八年努力，将人工智能数据服务公司Scale AI估值提升至138亿美元。25岁时，他被评为"世界上最年轻的白手起家的亿万美元富翁"。他在硅谷建立了强大的人脉，与OpenAI CEO奥特曼等人关系密切。Scale AI目前正推进IPO，计划打造强大销售团队，改善治理结构。（腾讯科技）

单卡A100实现百万token推理，速度快10倍，这是微软官方的大模型推理加速

微软和萨里大学的研究者开发了一种名为MInference的稀疏计算方法，可加速长序列处理预填充，使单卡A100机器上的大语言模型推理速度提高10倍，处理能力达到1M token级别。该方法无需修改预训练设置或额外微调，通过动态稀疏注意力机制减少预填充阶段延迟，保持了模型准确性，并在多个下游任务和模型上验证了效果。（机器之心）

哈佛DeepMind在世界模拟器驯养「赛博老鼠」，开辟虚拟神经科学

哈佛大学与DeepMind合作开发了AI驱动的虚拟大鼠，模拟真实啮齿动物的动作和行为。创立虚拟神经科学领域，通过高分辨率的实际数据训练的人工神经网络控制虚拟大鼠，预测真实大鼠的神经活动。该研究将帮助理解大脑产生复杂行为的机制，提供了一个透明、便捷的平台，也可用于改进机器人控制系统。（新智元）

红杉美国合伙人：AI 不会取代软件，而是带来新的商业模式和机会

AI技术正处于转折点，将创造新商业模式和机会，特别是在服务行业，如法律和会计等领域，这些行业的文本处理工作流程非常适合AI技术应用。稳定的基础AI模型对整个AI生态系统发展至关重要，这种稳定性支持企业更有效地预测和构建应用程序，推动工程化优化和认知架构设计。尽管AI将带来新的服务模式，人际关系和实际执行任务将继续依赖人工，不会被AI完全取代。（有新Newin）

全球首座玻璃基板工厂即将量产 潜在客户或为科技巨头

全球首座半导体封装玻璃基板工厂Absolics即将在美国佐治亚州量产，预计下半年完成客户验证。玻璃基板因优越的热稳定性和机械稳定性，有望替代硅基板，特别是在AI等数据密集型应用中。英特尔、三星电机、苹果等科技巨头也在积极布局玻璃基板技术。行业预测显示，未来几年内玻璃基板的渗透率将显著提升。（财联社）

VC开抢字节前员工

字节跳动等大厂技术高管纷纷离职投身AI创业，成为风投争抢的热门群体。如杨红霞、王长虎等前字节高管，离职创业后迅速获得高额投资，项目估值达数亿美元。这一现象反映了AI领域的创业热潮，以及投资人对大厂背景创业者的青睐。同时，清华、上海交大等高校背景的创业者也成为AI创业的重要力量。（投资界）

完美世界被曝裁员，市值较高点跌超500亿，池宇峰已套现超30亿

完美世界近期被曝大规模裁员，员工数连续三年下降。市值从最高点蒸发超500亿，实际控制人池宇峰已套现超30亿。游戏业务面临新老产品青黄不接的困境，新产品推出不足，老产品流水下滑。（雷达Finance）

光刻机巨头ASML前CEO：美对华芯片战并非基于事实，而是意识形态

阿斯麦前CEO温彼得认为美国对华芯片战基于意识形态而非事实，将持续数十年。他指出，阿斯麦在中国的业务受美国出口管制影响，但中国仍是其主要市场。专家预测，高端DUV光刻机对华禁运可能持续，中国或将加强自主研发。（观察者网）

马斯克薪酬案再起波澜：股东反对72亿美元天价律师费

特斯拉股东反对支付超过70亿美元的律师费用，认为这一要求“极其离谱”。这起法律纠纷源于2018年股东对马斯克560亿美元薪酬方案的诉讼，投资者理查德・托内塔胜诉后，其律师团队提出高额律师费。特斯拉股东和加州公共雇员退休系统等已提交反对意见。特斯拉辩称，由于股东已批准该薪酬方案，托内塔的胜诉已无实际意义，应减少律师费。（IT之家）

产业链人士：iPhone 16系列上调今年备货目标至9000万部左右

产业链人士透露，苹果公司将iPhone 16系列的备货目标提高至约9000万部，显示出苹果对新款iPhone的市场需求持乐观态度。此举可能基于市场预期和产品创新，以满足消费者对新一代iPhone的期待。（财联社）

Microsoft 365部分应用遭遇访问故障，微软官方声明正积极修复中

7月19日消息，微软服务健康监控系统显示，当前遭遇访问障碍，影响到Microsoft 365应用及服务的正常使用，微软方面已确认此问题并正在积极排查修复。

附受到影响的服务如下：

SharePoint Online：可能无法访问

OneDrive for Business：可能无法访问

Microsoft Teams：可能无法使用团队功能包括聊天、消息和会议管理

Microsoft Intune：设备签到、同步和设备注册可能会遇到故障

PowerBI：服务处于只读模式

Microsoft Fabric：服务处于只读模式

Microsoft Defender：可能会间歇性地无法访问 Microsoft Defender 门户

Microsoft Defender for Endpoint：API 请求失败，打开警报时出现错误页面

Viva Engage：可能无法访问

Microsoft 365 管理中心：管理员可能间歇性地无法访问，且任何操作可能会延迟

微软称，内部遥测与客户信号表明服务可用性正在逐渐恢复正常。经过流量重定向后，发现了一个可能导致问题的潜在原因。团队目前正在验证这些发现以确保尽快解决问题。

微软《地平线》工作室迎来新副创意总监，前EA资深开发者Shaun Pejic加盟

近日，前EA员工Shaun Pejic的领英页面显示已正式加入微软游戏《地平线》系列核心开发团队之一，即Playground Games工作室。

《极限竞速：地平线》并非由系列原开发商Turn 10开发，但是游戏实际表现非常拔群，游戏使用专门为新作越野环境优化的《极限竞速4》物理引擎，《极限竞速：地平线》包含多达65种不同的游戏地形，泥地，沙砾，草地，沥青等等。车损效果减少，游戏设定为开放世界，并有动态管理的日夜循环。游戏的环境设定在美国科罗拉多州。风景秀丽，细节丰富。游戏过程中我们可以看到路边的加油站，画廊等。游戏中赛事多样，甚至包含与飞机竞速的比赛

微软开放新权限：开发者现已能微调Phi-3系列AI模型，从mini到medium精度升级

7月26日消息，微软官方博客于此前日公布了一则重要更新，宣布Azure云服务平台现已支持开发者对Phi-3-mini与Phi-3-medium两款AI模型进行微调。此项功能旨在助力开发者根据特定应用场景优化模型性能，进一步拓宽了AI技术在云端的定制化潜力。

例如，开发者可以微调 Phi-3-medium 模型，用于辅导学生；或者可以根据特定的语气或响应风格构建聊天应用程序。

Phi-3-mini 模型于今年 4 月发布，共有 38 亿参数，上下文长度有 4K 和 128K 两个版本；Phi-3-medium 模型共有 140 亿参数，上下文长度同样有 4K 和 128K 两个版本。

Phi-3-mini 模型在 6 月更新之后，跑分性能进一步提升，附上性能对比如下：

微软公司今天还宣布正式上线 Models-as-a-Service（serverless endpoint）服务，开发者无需担心底层基础设施，可以通过 serverless endpoint 方式构建 Phi-3-small 模型，快速开发人工智能应用程序，后续将扩充推出 Phi-3-vision 模型。