https://t.me/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🆓免费AI聊天 https://free.netfly.top
✨BEST AI中转 https://api.oaibest.com 2.8-4.2折 支持Deepseek、OpenAI（o3/GPTs/Sora/实时语音）、Claude、Gemini、Midjourney、文件上传
Buy ads: https://telega.io/c/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🆓免费AI聊天 https://free.netfly.top
✨BEST AI中转 https://api.oaibest.com 2.8-4.2折 支持Deepseek、OpenAI（o3/GPTs/Sora/实时语音）、Claude、Gemini、Midjourney、文件上传
Buy ads: https://telega.io/c/AI_News_CN
微软公布了超出预期的季度财报，受益于人工智能相关服务的强劲需求，其云部门销售额实现显著增长。截至3月底的季度，微软收入同比增长13%至701亿美元，净利润增长18%至258亿美元，均超过了S&P Visible Alpha调查的平均预期。Azure云部门收入同比增长20%至424亿美元。微软股价在纽约盘后交易中上涨6%，市值增加约1760亿美元。微软本季度资本支出为214亿美元，高于去年同期的140亿美元，并计划在本财年投资约800亿美元建设新的数据中心基础设施。此外，微软总裁Brad Smith承诺每年在欧洲数据中心投入“数百亿美元”。尽管如此，微软对OpenAI的130亿美元投资及其合作关系的变化，以及OpenAI宣布与Oracle和软银合作在美国建设至少1000亿美元的AI基础设施项目，引发了对其发展步伐的质疑。微软近期否认了有关人工智能需求放缓的报道，并表示正在调整早期阶段的项目。
(FT)
via 茶馆 - Telegram Channel
谷歌或与苹果达成 Gemini AI 合作协议
谷歌即将与苹果达成协议，将Gemini集成到iPhone中。在周三的搜索垄断案审判中，谷歌首席执行官皮查伊确认，公司预计将在今年年中与苹果达成Gemini集成协议，并暗示这项功能将在2025年底前推出。在今天被美国司法部律师问及这些计划时，皮查伊回答说 “正确”。他还表示，他曾与苹果首席执行官库克会面，讨论人工智能发展事宜。皮查伊说：“他(库克)试图了解我们如何发展人工智能技术、我们的路线图，作为其中的一部分，我们也谈到了 Gemini 应用分发。” 他补充说，库克告诉他，今年晚些时候会有更多第三方 AI 模型在 Apple 智能上推出。
—— 彭博社、The Verge
via 风向旗参考快讯 - Telegram Channel
谷歌即将与苹果达成协议，将Gemini集成到iPhone中。在周三的搜索垄断案审判中，谷歌首席执行官皮查伊确认，公司预计将在今年年中与苹果达成Gemini集成协议，并暗示这项功能将在2025年底前推出。在今天被美国司法部律师问及这些计划时，皮查伊回答说 “正确”。他还表示，他曾与苹果首席执行官库克会面，讨论人工智能发展事宜。皮查伊说：“他(库克)试图了解我们如何发展人工智能技术、我们的路线图，作为其中的一部分，我们也谈到了 Gemini 应用分发。” 他补充说，库克告诉他，今年晚些时候会有更多第三方 AI 模型在 Apple 智能上推出。
—— 彭博社、The Verge
via 风向旗参考快讯 - Telegram Channel
Meta收紧雷朋眼镜隐私政策以增强AI训练
Meta 正在对其 Ray-Ban Meta 智能眼镜的隐私政策进行了几项重要调整。在29日向用户发送的电子邮件中，该公司概述了两项关键变化。首先，Meta AI将更频繁地通过智能眼镜“观看”世界。邮件写到：“除非您关闭‘Hey Meta’功能，否则 Meta AI 的摄像头使用功能始终处于启用状态。”其次，Meta 不再允许用户选择不将语音录音存储在云端。该公司表示，虽然无法再禁用语音录音存储，但您可以在设置中随时删除录音。Meta在语音隐私说明中表示，语音转录和存储的音频录音通常会保留长达一年，以帮助改进Meta的产品。这些变化明确：Meta希望通过持续为AI模型提供大量数据以训练并提升其性能。
—— Theverge
via 风向旗参考快讯 - Telegram Channel
Meta 正在对其 Ray-Ban Meta 智能眼镜的隐私政策进行了几项重要调整。在29日向用户发送的电子邮件中，该公司概述了两项关键变化。首先，Meta AI将更频繁地通过智能眼镜“观看”世界。邮件写到：“除非您关闭‘Hey Meta’功能，否则 Meta AI 的摄像头使用功能始终处于启用状态。”其次，Meta 不再允许用户选择不将语音录音存储在云端。该公司表示，虽然无法再禁用语音录音存储，但您可以在设置中随时删除录音。Meta在语音隐私说明中表示，语音转录和存储的音频录音通常会保留长达一年，以帮助改进Meta的产品。这些变化明确：Meta希望通过持续为AI模型提供大量数据以训练并提升其性能。
—— Theverge
via 风向旗参考快讯 - Telegram Channel
维基百科将使用AI但不会取代人类志愿者
维基百科周三公布了其未来三年的新人工智能战略。维基百科表示将利用人工智能构建 “消除技术障碍” 的新功能，为编辑人员、版主和巡查员提供工具，使他们能够完成所需的工作，而无需担心如何“从技术层面实现这些工作”。这包括创建由人工智能辅助的工作流程，以实现繁琐任务的自动化。AI将用于提高维基百科上信息的可发现性，让编辑人员有更多时间进行人为的考量，而这是在创建、修改和更新维基百科条目时达成共识所必需的。AI还将通过自动化翻译来协助编辑人员并在新志愿者的入职流程中提供帮助。
—— Techcrunch、维基百科
via 风向旗参考快讯 - Telegram Channel
维基百科周三公布了其未来三年的新人工智能战略。维基百科表示将利用人工智能构建 “消除技术障碍” 的新功能，为编辑人员、版主和巡查员提供工具，使他们能够完成所需的工作，而无需担心如何“从技术层面实现这些工作”。这包括创建由人工智能辅助的工作流程，以实现繁琐任务的自动化。AI将用于提高维基百科上信息的可发现性，让编辑人员有更多时间进行人为的考量，而这是在创建、修改和更新维基百科条目时达成共识所必需的。AI还将通过自动化翻译来协助编辑人员并在新志愿者的入职流程中提供帮助。
—— Techcrunch、维基百科
via 风向旗参考快讯 - Telegram Channel
英伟达的新工具可根据3D场景创建AI图像
英伟达推出了一款新工具，允许开发者首先在3D中创建图像来生成人工智能图像。这款新工具名为Nvidia AI Blueprint for 3D-guided generative AI，今日起即可下载，适用于配备RTX 4080显卡或更高型号的计算机，通过将 Blender 的 3D 建模软件与 Black Forest Lab 的FLUX.1图像生成器连接起来工作。用户可以使用Blender中的建筑物、植物、动物和车辆等3D对象绘制场景，然后将其用作创建2D图像的参考。用户可以手动调整观看位置或某些对象应放置的位置，与仅使用文本描述相比，这种方法在生成2D图像时可以提供更多细节控制。英伟达表示，其新工具提供了逐步文档、示例资源和预配置的环境。
—— Theverge
via 风向旗参考快讯 - Telegram Channel
英伟达推出了一款新工具，允许开发者首先在3D中创建图像来生成人工智能图像。这款新工具名为Nvidia AI Blueprint for 3D-guided generative AI，今日起即可下载，适用于配备RTX 4080显卡或更高型号的计算机，通过将 Blender 的 3D 建模软件与 Black Forest Lab 的FLUX.1图像生成器连接起来工作。用户可以使用Blender中的建筑物、植物、动物和车辆等3D对象绘制场景，然后将其用作创建2D图像的参考。用户可以手动调整观看位置或某些对象应放置的位置，与仅使用文本描述相比，这种方法在生成2D图像时可以提供更多细节控制。英伟达表示，其新工具提供了逐步文档、示例资源和预配置的环境。
—— Theverge
via 风向旗参考快讯 - Telegram Channel
小米开源首个推理大模型Xiaomi MiMo
今天，小米公司正式宣布开源首个为推理而生的大模型‘Xiaomi MiMo’，联动预训练到后训练，全面提升推理能力。据介绍，该模型以7B参数规模，在数学推理（AIME 24-25）和代码竞赛（LiveCodeBench v5）等公开测评中表现优异，超越了OpenAI公司的闭源模型o1-mini及阿里Qwen2.5-32B等更大规模的开源模型。值得注意的是，MiMo-7B全系列模型均已开源。MiMo来自小米全新成立不久的“小米大模型Core团队”的初步尝试。
—— 小米公司、Hugging Face
via 风向旗参考快讯 - Telegram Channel
今天，小米公司正式宣布开源首个为推理而生的大模型‘Xiaomi MiMo’，联动预训练到后训练，全面提升推理能力。据介绍，该模型以7B参数规模，在数学推理（AIME 24-25）和代码竞赛（LiveCodeBench v5）等公开测评中表现优异，超越了OpenAI公司的闭源模型o1-mini及阿里Qwen2.5-32B等更大规模的开源模型。值得注意的是，MiMo-7B全系列模型均已开源。MiMo来自小米全新成立不久的“小米大模型Core团队”的初步尝试。
—— 小米公司、Hugging Face
via 风向旗参考快讯 - Telegram Channel
谷歌CEO桑达尔·皮查伊在法庭上表示，希望谷歌的AI服务Gemini今年能成为iPhone的内置选项。尽管苹果的Apple Intelligence主要使用自有模型，但已与OpenAI的ChatGPT合作，将其集成到Siri和写作工具中。
(Bloomberg Politics)
via 茶馆 - Telegram Channel
(Bloomberg Politics)
via 茶馆 - Telegram Channel
英国合作社集团（Co-op Group）周三表示，遭遇黑客入侵企图，被迫关闭部分后台和呼叫中心业务。此前，玛莎百货（Marks & Spencer）也遭受了重大网络攻击，导致其暂停通过网站和应用程序接受服装和家居订单已达六天。合作社集团表示，旗下2300多家食品店、电商业务和殡葬服务均正常运营。目前，该集团正与国家网络安全中心合作，以减少服务中断。
(路透社)
via 茶馆 - Telegram Channel
深度求索发布Prover-V2模型 参数达6710亿
4月30日下午消息，DeepSeek今日于人工智能开源社区Hugging Face上发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。新模型使用了更高效的safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。在模型架构上，这款模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。
—— 新浪科技、Hugging Face
via 风向旗参考快讯 - Telegram Channel
4月30日下午消息，DeepSeek今日于人工智能开源社区Hugging Face上发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。新模型使用了更高效的safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。在模型架构上，这款模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。
—— 新浪科技、Hugging Face
via 风向旗参考快讯 - Telegram Channel
纽约市希望地铁摄像头能预测“麻烦”发生
美国纽约大都会运输署（MTA）表示，正在探索使用人工智能系统对该市地铁站台上的犯罪和危险行为进行“预测性预防”。MTA 首席安全官迈克尔·肯珀表示，该机构正在研究并试点使用人工智能等技术，以感知地铁站台上可能出现的麻烦或不当行为。他在本周一的 MTA 安全委员会会议上解释说：“如果有人行为异常、失去理智，这可能会触发警报，从而促使安保人员或警方采取行动。”他强调，警方可能会 “在事情发生前” 就做出反应。肯珀补充道：“人工智能是未来。”他提到，MTA目前正在与科技公司合作，研究什么样的技术可以在地铁系统中发挥作用。
—— Theverge
via 风向旗参考快讯 - Telegram Channel
美国纽约大都会运输署（MTA）表示，正在探索使用人工智能系统对该市地铁站台上的犯罪和危险行为进行“预测性预防”。MTA 首席安全官迈克尔·肯珀表示，该机构正在研究并试点使用人工智能等技术，以感知地铁站台上可能出现的麻烦或不当行为。他在本周一的 MTA 安全委员会会议上解释说：“如果有人行为异常、失去理智，这可能会触发警报，从而促使安保人员或警方采取行动。”他强调，警方可能会 “在事情发生前” 就做出反应。肯珀补充道：“人工智能是未来。”他提到，MTA目前正在与科技公司合作，研究什么样的技术可以在地铁系统中发挥作用。
—— Theverge
via 风向旗参考快讯 - Telegram Channel
Elevated errors for Claude.ai free users using 3.7 Sonnet
Apr 30, 07:56 PDT
Monitoring - Since 12:30 UTC users of the Claude.ai offering have been experiencing elevated errors using the 3.7 Sonnet model. Users of the Pro and Max plans have been unaffected. We've identified and mitigated the root cause and are monitoring the current state.
via Anthropic Status - Incident History
Apr 30, 07:56 PDT
Monitoring - Since 12:30 UTC users of the Claude.ai offering have been experiencing elevated errors using the 3.7 Sonnet model. Users of the Pro and Max plans have been unaffected. We've identified and mitigated the root cause and are monitoring the current state.
via Anthropic Status - Incident History
微软30%代码由AI生成，Meta计划明年半数AI模型由AI开发
微软CEO纳德拉在Meta首届LlamaCon大会上透露，公司30%的代码由AI生成，且比例持续上升。
Meta CEO扎克伯格称，其Llama模型家族将转向AI自主开发，目标明年半数AI模型由AI构建。
谷歌、Shopify、Duolingo等企业亦加速AI替代人工进程，谷歌25%新代码由AI完成，Shopify要求增岗前需证明AI无法胜任。
OpenAI正洽购“氛围编程”初创Windsurf，推动AI生成完整程序。
行业趋势显示，AI正重塑软件开发模式，提升效率的同时引发岗位替代担忧。
CNBC
📮投稿 ☘️频道 🌸聊天
via 科技圈🎗在花频道📮 - Telegram Channel
微软CEO纳德拉在Meta首届LlamaCon大会上透露，公司30%的代码由AI生成，且比例持续上升。
Meta CEO扎克伯格称，其Llama模型家族将转向AI自主开发，目标明年半数AI模型由AI构建。
谷歌、Shopify、Duolingo等企业亦加速AI替代人工进程，谷歌25%新代码由AI完成，Shopify要求增岗前需证明AI无法胜任。
OpenAI正洽购“氛围编程”初创Windsurf，推动AI生成完整程序。
行业趋势显示，AI正重塑软件开发模式，提升效率的同时引发岗位替代担忧。
CNBC
📮投稿 ☘️频道 🌸聊天
via 科技圈🎗在花频道📮 - Telegram Channel
特斯拉成唯一受益者：美国新关税政策仅豁免85%国产含量车型
美国商务部长霍华德·卢特尼克宣布，国产含量达到85%及以上的汽车将完全免除新实施的25%进口关税。根据美国大学科戈德商学院2024年“美国制造指数”，目前仅有特斯拉的Model 3 Performance（87.5%）和Model Y系列（85%）满足该标准，成为唯一享受全面关税豁免的品牌。其他车型如福特Mustang GT和本田Passport虽接近该门槛，但仍需承担关税。此举被视为对特斯拉在美国产业布局的重大利好。
此外，特朗普政府还推出为期两年的关税抵扣计划，首年可按车辆零售价的3.75%抵扣，次年降至2.5%，以缓解其他车企的成本压力。但该政策不适用于中国制造的零部件。
Carscoops | 路透社
📮投稿 ☘️频道 🌸聊天
via 科技圈🎗在花频道📮 - Telegram Channel
美国商务部长霍华德·卢特尼克宣布，国产含量达到85%及以上的汽车将完全免除新实施的25%进口关税。根据美国大学科戈德商学院2024年“美国制造指数”，目前仅有特斯拉的Model 3 Performance（87.5%）和Model Y系列（85%）满足该标准，成为唯一享受全面关税豁免的品牌。其他车型如福特Mustang GT和本田Passport虽接近该门槛，但仍需承担关税。此举被视为对特斯拉在美国产业布局的重大利好。
此外，特朗普政府还推出为期两年的关税抵扣计划，首年可按车辆零售价的3.75%抵扣，次年降至2.5%，以缓解其他车企的成本压力。但该政策不适用于中国制造的零部件。
Carscoops | 路透社
📮投稿 ☘️频道 🌸聊天
via 科技圈🎗在花频道📮 - Telegram Channel
4月30日，小米公司于“Xiaomi MiMo”公众号正式宣布开源其首个专注于推理能力的大模型「Xiaomi MiMo」。小米官方表示，该模型以7B（70亿）参数规模，在数学推理（AIME 24-25）和代码竞赛（LiveCodeBench v5）等公开测评中表现优异，超越OpenAI的闭源模型o1-mini及阿里Qwen2.5-32B等更大规模的开源模型。目前小米已在HuggingFace平台开源MiMo-7B全系列4个模型，并发布详细技术报告。
凤凰网 | HuggingFace | GitHub
大家要求强烈，所以补发小米的AI消息。（此前被审核拒了）
📮投稿 ☘️频道 🌸聊天
via 科技圈🎗在花频道📮 - Telegram Channel
Deepseek今日开源新模型 或专注于数学定理证明
Deepseek今日下午在Hugging Face开源了新模型：DeepSeek-Prover-V2-671B。这可能是一个专注于数学定理证明的开源模型，旨在推动数学运算和形式化证明的自动化。根据近期信息和X上讨论该模型基于 DeepSeek 的先前工作（如 DeepSeek-Prover-V1.5 和 DeepSeek-V3），在 Lean 4 证明助手框架内优化了数学推理和定理证明能力。目前暂无官方介绍文档。
掘金 | Hugging Face
📮投稿 ☘️频道 🌸聊天
via 科技圈🎗在花频道📮 - Telegram Channel
Deepseek今日下午在Hugging Face开源了新模型：DeepSeek-Prover-V2-671B。这可能是一个专注于数学定理证明的开源模型，旨在推动数学运算和形式化证明的自动化。根据近期信息和X上讨论该模型基于 DeepSeek 的先前工作（如 DeepSeek-Prover-V1.5 和 DeepSeek-V3），在 Lean 4 证明助手框架内优化了数学推理和定理证明能力。目前暂无官方介绍文档。
掘金 | Hugging Face
📮投稿 ☘️频道 🌸聊天
via 科技圈🎗在花频道📮 - Telegram Channel
