美国投资者很快将有机会投资另一家乘着人工智能热潮的存储器制造商SK海力士
韩国存储芯片制造商SK海力士 (SK Hynix) 周一表示，该公司计划在美国IPO中出售近1780万股股票，该公司是三星和美国美光科技的竞争对手。据彭博社报道，据SK海力士上周五在首尔的收盘价，如果其股票卖得好（有迹象表明会如此），该公司可能筹集约280亿美元。 SK海力士将提供美国存托凭证（A...
AI资讯中心（每日实时更新）
VercelCEO吉列尔莫·劳奇 (Guillermo Rauch) 谈模特与经纪人分离的斗争
Vercel以其云基础设施而闻名，该基础设施允许开发人员在不管理服务器的情况下部署代理，它已悄然成为人工智能软件领域最核心的公司之一。该公司目前每天有600万次部署，其中一半是由编码代理触发的，每天有超过1万亿个代币流过该公司的AI网关。 上周在该公司的ShipNYC会议结束后，我们采访了Verc...
现在，您可以在最新的iOS 27 Beta中自定义Siri的节奏和表现力
在最新的iOS 27开发者测试版中，Apple让测试人员可以提前了解其人工智能Siri即将进行的改进之一：能够调整人工智能助手说话的速度和表现力。在今天发布的iOS 27 beta 3中，Apple启用了“Pace”和“Expressivity”的语音控制，这些控件之前在第一个开发者Beta版本中...
最新清单：2026年主要科技公司裁员，雇主提到人工智能
Microsoft周一表示，该公司已经裁减了约4,800名员工，占其全球员工总数的2.1%，这进一步加剧了科技界与人工智能相关的一系列裁员。该公司表示，被削减的职位“不会被人工智能取代”，但承认“人工智能正在改变工作的完成方式”，并使许多日常任务实现自动化。 对于科技行业的许多人来说，裁员仍在继续...
Amazon竞争对手Bookshop.org表示Kobo电子阅读器支持将在今年推出
如果您正在寻找一款可以从当地独立书店购买昂贵畅销书的电子阅读器，那么您的研究将不可避免地向您推荐乐天的Kobo电子阅读器。但事实证明，这种声誉很大程度上是基于购买Kobo书籍的过时方法，包括从书店网站注册Kobo帐户。 虽然全国范围内仍有少数独立书店通过此网站方式支持Kobo，但大多数此类支持几年...
如果你使用Google，你正在训练它的人工智能。以下是如何选择退出。
将此视为迟来的公益广告：最近对Google隐私设置的更改允许该公司存储更多数据，包括“图像、文件以及音频和视频记录”等媒体，以改进其人工智能模型。换句话说，如果您将任何媒体上传到Google的搜索服务，除非您选择退出，否则它将被用来训练人工智能。 这一变化是通过对Google的搜索服务隐私设置进行...
Apple在中断四年后恢复了印度Apple帐户购物的卡付款
在撤回该选项四年多后，Apple已开始恢复印度Apple账户购买的卡支付，这是这家iPhone制造商正在调整其服务以适应重塑印度数字支付格局的监管变化的最新迹象。 这一变化分阶段推出，允许印度用户将符合条件的Visa和Mastercard信用卡和借记卡添加到其Apple帐户中，以支付iCloud+...
AI日报：豆包、千问下线AI拟人化功能；腾讯混元Hy3发布；Gemini3.5 Pro7月17日发布
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。1、通义千问重磅升级：实时语音识别模型Fun-ASR-Realtime正式发布通义千问大模型升级其核心音频能力，推出全新的实时语音识别模型Fun-AS...
Microsoft Xbox、商业销售部门裁员近5,000名员工
Microsoft周一裁减了约4,800个职位，占全球员工总数的2.1%，这是一系列裁员中的最新一次，引发了人们对人工智能将取代公司员工的担忧。 据与Microsoft员工分享的备忘录，裁员将对Xbox和商业销售造成最严重的打击，Xbox今天失去了1,600名员工。 以下是执行副总裁兼首席人力官A...
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...
