Microsoft Xbox、商业销售部门裁员近5,000名员工
Microsoft周一裁减了约4,800个职位，占全球员工总数的2.1%，这是一系列裁员中的最新一次，引发了人们对人工智能将取代公司员工的担忧。 据与Microsoft员工分享的备忘录，裁员将对Xbox和商业销售造成最严重的打击，Xbox今天失去了1,600名员工。 以下是执行副总裁兼首席人力官A...
AI资讯中心（每日实时更新）
当前月份 ： 2026.07
Reddit正在使用法学硕士来解决法学硕士很大程度上造成的问题
随着强大的大型语言模型 (LLM) 变得可以轻松访问，不良行为者比以往任何时候都更容易在互联网上散布垃圾邮件。如果您过去几年在互联网上花费了大约十分钟，您就会知道这意味着垃圾邮件和机器人内容已经成为比现在更严重的问题。 Reddit表示，它与法学硕士一起开发了工具来减少垃圾邮件，其中大部分垃圾邮件...
加拿大间谍机构称去年对毒贩、极端分子和勒索软件团伙进行了黑客攻击
加拿大通信安全机构表示，去年进行了几次国家授权的黑客攻击，以扰乱毒贩、暴力极端分子和勒索软件团伙的活动，这让人们对顶级间谍组织的优先事项有了罕见的了解。 The disclosures in theCanadian intelligence agency’s annual reportunders...
如何保留和更改您的WhatsApp用户名
Meta旗下的聊天应用WhatsApp于6月初开始为其30亿用户推出用户名预留功能。用户名功能尚未激活，但您可以索取您的用户名，并在今年该功能可用时开始使用它。 通过用户名，人们将能够分享他们的WhatsApp联系方式，而无需透露他们的电话号码。对于希望其他人通过WhatsApp联系自己，但又不想...
Station F逐渐成为欧洲最热门人工智能初创公司的发射台
Station F是法国亿万富翁泽维尔·尼尔 (Xavier Niel) 创立的巴黎创业中心，正在准备推出新版F/ai加速器计划，以加强其作为有前途的人工智能初创公司垫脚石的地位。 F/ai于今年1月推出，计划于今年9月初创公司第二批项目，旨在帮助少数专注于人工智能的初创公司在几周内从早期产品转向...
智能眼镜制造商Even Realities估值达到10亿美元，美团和腾讯领投1.5亿美元融资
MetaandSnap上个月推出了新款智能眼镜，这是业界竞相将摄像头和人工智能助手戴在用户脸上的最新迹象。随着快速增长的市场升温，像Even Realities这样的新贵正在向巨头发起冲击。 Even Realities是一家成立三年、总部位于深圳的初创公司，在由美团和之前的投资者腾讯领投的B轮预...
15 岁少年利用AI实施勒索攻击，致知名平台全站停服
近日，日本警视厅破获了一起性质恶劣的网络攻击案件，一名居住于埼玉县所泽市的15岁高中一年级学生因涉嫌网络犯罪被捕。这起事件引起了广泛关注，不仅因为嫌疑人年纪尚轻，更在于其利用生成式AI工具协助实施了整套攻击流程。调查显示，该少年于2025年11月利用他人会员账号，成功侵入了万代南梦宫旗下的动画串流平...
降低数学科研门槛：Mistral AI 发布开源模型 Leanstral 1.5
近日， Mistral AI 正式发布了专为数学形式化证明语言 Lean4设计的开源模型 —— Leanstral1.5。该模型采用 Apache-2.0许可协议，以119B 的参数总量及6B 的激活参数，在兼顾高性能的同时大幅优化了使用成本。作为一款专注于数学推理的智能工具，Leanstral1....
Mistral AI开源数学证明利器：119B参数只激活6B，解题成本仅为竞品百分之一
欧洲人工智能企业Mistral AI近日正式推出面向数学形式化证明的专用模型Leanstral 1.5。该模型专为Lean4 程序语言打造，总参数规模达119B，但实际推理时仅激活6B参数，以极低的计算开销实现了惊人的证明能力，并以Apache-2. 0 许可完全开源。在核心基准测试上，Leanst...
这家人形机器人公司即将上市，但其CEO并没有承诺很快就会在你家中出现一个机器人
人形机器人市场目前资金充裕。上周，总部位于深圳的轮式人形机器人初创公司AI2 Robotics筹集了约7.35亿美元，估值近30亿美元。今年早些时候，总部位于奥斯汀的制造和物流类人机器人制造商Apptronik完成了一轮9.35亿美元的融资，该公司估值超过55亿美元。去年秋天，总部位于圣何塞的开发...
算力利用率破65%:AIGCode如何用“L3级”编程模型突围?
近期，AI编程领域发生了一场微妙的格局变化。随着行业内对“AI应用终局”的讨论愈发激烈，当许多厂商仍深陷L2级代码补全的“红海”苦战时，成立两年的技术团队AIGCode，正试图通过一套全栈技术方案实现代际跃迁。AIGCode的核心判断在于:大模型的短板往往不在微调，而在于基座本身。其核心产品Auto...
腾讯混元Hy3发布：Agent能力和产品体验跃升
7 月 6 日，腾讯混元Hy3 正式发布。相比preview版本，它展现出显著强于同尺寸模型且比肩（参数规模2— 5 倍的）旗舰模型的智能水平，定价进一步降低，总体稳定性和性价比大幅提升。Hy3 已在WorkBuddy/CodeBuddy、元宝、Marvis、ima等多个业务接入，API已在腾讯云T...
谷歌跳票之后终定档：Gemini 3.5 Pro七月硬刚DeepSeek V4，全新底座不再"挤牙膏"
今年 5 月的I/O大会上，谷歌高调宣布旗舰大模型Gemini 3.5 Pro将在 6 月发布，结果却爽约跳票。跳票期间，多位核心AI研究员相继离职投奔竞争对手，团队士气一度跌至冰点。如今最新消息终于给出了准信——Gemini 3.5 Pro将于 7 月 17 日正式亮相。巧合的是， 7 月中旬恰好...
通义千问重磅升级：实时语音识别模型 Fun-ASR-Realtime 正式发布
语音交互正迎来新的技术跨越。近日，通义千问大模型正式宣布升级其核心音频能力，推出了全新的实时语音识别模型 Fun-ASR-Realtime。该模型在性能指标上实现了显著突破，其首字识别延迟被精准控制在百毫秒级别，确保了用户在交互时能够感受到“即说即反馈”的流畅体验。在准确度方面，该模型表现出色，其识...
8 小时追平、 2 天反超：面壁智能 ForgeTrain 如何用 AI“锻造”下一代训练框架？
当大模型的迭代速度以周计，如何打破算力瓶颈与工程壁垒，成为AI研发的终极命题。2026年6月27日，面壁智能联合OpenBMB开源社区与AGI BAR举办了一场名为“AI4AI发酵夜”的深度交流。活动中，面壁智能AI Infra技术负责人李宇轩详细解析了其自研的生产级预训练框架——ForgeTrai...
全球首例AI智能体勒索攻击浮出水面：无需人类干预的自动化“作案”链条
人工智能的自主能力再次引发安全界的高度关注。安全厂商 Sysdig 日前披露了一起代号为“JADEPUFFER”的勒索软件攻击事件，这也是全球首例被记录到的、全流程由 AI 智能体（Agent）自主完成的勒索攻击案例。在此次事件中，攻击者并未依赖任何新型漏洞，而是展现出一种令人警惕的“自主决策”能力...
哈佛研究揭示残酷真相：AI原生公司不要应届生，团队缩四分之一却更爱"老法师"
哈佛商学院与非营利性商学院欧洲工商管理学院（INSEAD）的最新研究论文指出，AI原生初创企业正在打造规模更小、层级更扁平的团队，且显著减少了对初级员工的招聘。这意味着，AI浪潮下最先被"优化"的，恰恰是那些刚刚踏入职场的新人。AI原生公司：人少四分之一，工程师多13%这项研究考察了 2020 年至...
手机变身“数字玩伴”：JoyAI 上线 UGC 数字人功能
近日，京东旗下 JoyAI App 正式上线了 UGC 数字人功能，标志着普通用户也能实现“零门槛”定制专属虚拟数字分身，为数字陪伴市场注入了新的活力。此次功能更新的核心在于“便捷性”与“个性化”。用户无需复杂的建模过程，只需上传一张个人照片，系统即可通过技术手段自动生成数字分身。在形象选择上，用户...
告别高额Token账单：pxpipe如何用“图像”重塑Claude Code开发成本
在AI编程辅助工具日益普及的当下，高昂的API调用成本始终是开发者心头的痛点。为了解决这一难题，一款名为pxpipe的本地代理工具引起了技术社区的关注。它的核心逻辑颇具巧思:通过将庞大的上下文信息转化为图像，绕过部分昂贵的文本Token计费，从而大幅削减 Claude Code 的使用开销。pxpi...
巨资奔赴纳斯达克：SK海力士拟筹资 280 亿美元，剑指史上第二大IPO
在人工智能产业爆发式增长的背景下，全球存储芯片巨头SK海力士即将迎来其资本市场的“高光时刻”。根据监管申报文件披露，该公司计划于本周正式启动在美国纳斯达克的上市进程，筹资规模预计高达 280 亿美元，有望创下全球IPO史上第二高的募资纪录。此次上市将通过发行存托凭证（ADR）的方式进行，即每 10 ...