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
谷歌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
Meta 表示 Llama AI 模型下载量突破12亿
三月中旬，Meta公司表示其“开放”人工智能模型系列Llama的下载量已达到10亿次，高于2024年12月初的6.5亿次下载量。Meta在本周二举行的首届 LlamaCon 开发者大会上透露，下载量已达到12亿次。Meta公司首席产品官克里斯·考克斯在主题演讲中表示：“目前有数千名开发者参与其中，他们贡献了数万个衍生模型，这些模型每月被下载数十万次。”与此同时，考克斯还透露，由Llama模型驱动的 Meta AI 助手，其用户数量也已接近10亿。Meta的Llama生态系统确实正在快速发展，但这家科技巨头仍面临着来自人工智能领域众多强大参与者的竞争。
—— Techcrunch
via 风向旗参考快讯 - Telegram Channel
三月中旬，Meta公司表示其“开放”人工智能模型系列Llama的下载量已达到10亿次，高于2024年12月初的6.5亿次下载量。Meta在本周二举行的首届 LlamaCon 开发者大会上透露，下载量已达到12亿次。Meta公司首席产品官克里斯·考克斯在主题演讲中表示：“目前有数千名开发者参与其中，他们贡献了数万个衍生模型，这些模型每月被下载数十万次。”与此同时，考克斯还透露，由Llama模型驱动的 Meta AI 助手，其用户数量也已接近10亿。Meta的Llama生态系统确实正在快速发展，但这家科技巨头仍面临着来自人工智能领域众多强大参与者的竞争。
—— Techcrunch
via 风向旗参考快讯 - Telegram Channel
中国网信办开展整治AI技术滥用专项行动
近日，中国中央网信办印发通知，在全国范围内部署开展为期三个月的清朗·整治 AI 技术滥用专项行动。第一阶段重点整治六类突出问题：一是违规AI产品。二是传授、售卖违规AI产品教程和商品。三是训练语料管理不严。四是安全管理措施薄弱。五是未落实内容标识要求。六是重点领域安全风险。第二阶段重点整治七类突出问题：一是利用AI制作发布谣言。二是利用AI制作发布不实信息。三是利用AI制作发布色情低俗内容。四是利用AI假冒他人实施侵权违法行为。五是利用AI从事网络水军活动。六是 AI产品服务和应用程序违规。七是侵害未成年人权益。
—— 网信办
via 风向旗参考快讯 - Telegram Channel
近日，中国中央网信办印发通知，在全国范围内部署开展为期三个月的清朗·整治 AI 技术滥用专项行动。第一阶段重点整治六类突出问题：一是违规AI产品。二是传授、售卖违规AI产品教程和商品。三是训练语料管理不严。四是安全管理措施薄弱。五是未落实内容标识要求。六是重点领域安全风险。第二阶段重点整治七类突出问题：一是利用AI制作发布谣言。二是利用AI制作发布不实信息。三是利用AI制作发布色情低俗内容。四是利用AI假冒他人实施侵权违法行为。五是利用AI从事网络水军活动。六是 AI产品服务和应用程序违规。七是侵害未成年人权益。
—— 网信办
via 风向旗参考快讯 - Telegram Channel
NotebookLM 音频概览新增更多语言支持
谷歌周二宣布，其基于人工智能的笔记和研究助手 NotebookLM 的音频概览功能将新增76种语言支持。音频概览于去年推出，旨在让用户能够根据他们与 NotebookLM 分享的文档生成由AI虚拟主持人主持的播客。该功能理念是为用户提供另一种方式，以便他们消化和理解上传到应用中的文档信息。随着这一扩展，更多人可以使用他们偏好的语言使用音频概览。到目前为止，音频概览都是以用户帐户的首选语言生成的。现在，该公司推出了一个新的 “输出语言” 选项，允许用户选择以哪种语言生成音频概览。新支持的语言包括中文（简体）和中文（繁体）。
—— Techcrunch
via 风向旗参考快讯 - Telegram Channel
谷歌周二宣布，其基于人工智能的笔记和研究助手 NotebookLM 的音频概览功能将新增76种语言支持。音频概览于去年推出，旨在让用户能够根据他们与 NotebookLM 分享的文档生成由AI虚拟主持人主持的播客。该功能理念是为用户提供另一种方式，以便他们消化和理解上传到应用中的文档信息。随着这一扩展，更多人可以使用他们偏好的语言使用音频概览。到目前为止，音频概览都是以用户帐户的首选语言生成的。现在，该公司推出了一个新的 “输出语言” 选项，允许用户选择以哪种语言生成音频概览。新支持的语言包括中文（简体）和中文（繁体）。
—— Techcrunch
via 风向旗参考快讯 - Telegram Channel
华为先进人工智能芯片集群开始发货
华为先进AI芯片 “集群” 已开始向中国客户发货。因为美国的出口管制，中国客户无法买到英伟达产品，正在向华为下更多订单。华为已售出逾十套CloudMatrix 384系统，这是将大量芯片链接在一起组成的集群。首批收到货的包括一些服务于中国科技公司的数据中心。据华为推介信息，华为告诉中国本土客户，其CloudMatrix产品在算力和存储方面的表现都显著好于英伟达的NVL72，后者是美国科技巨头使用的热门AI集群，包含72枚英伟达GB200芯片。CloudMatrix 384使用华为昇腾910C芯片，这种芯片本身的表现不如英伟达的GB200处理器。但华为使用了更大数量的该芯片来提升集群的整体表现。
—— 英国金融时报（全文截图）
via 风向旗参考快讯 - Telegram Channel
华为先进AI芯片 “集群” 已开始向中国客户发货。因为美国的出口管制，中国客户无法买到英伟达产品，正在向华为下更多订单。华为已售出逾十套CloudMatrix 384系统，这是将大量芯片链接在一起组成的集群。首批收到货的包括一些服务于中国科技公司的数据中心。据华为推介信息，华为告诉中国本土客户，其CloudMatrix产品在算力和存储方面的表现都显著好于英伟达的NVL72，后者是美国科技巨头使用的热门AI集群，包含72枚英伟达GB200芯片。CloudMatrix 384使用华为昇腾910C芯片，这种芯片本身的表现不如英伟达的GB200处理器。但华为使用了更大数量的该芯片来提升集群的整体表现。
—— 英国金融时报（全文截图）
via 风向旗参考快讯 - Telegram Channel
Meta AI 正式推出 iPhone 专属应用，用户可通过 App Store 下载，直接体验 Llama AI 助手。此前，Meta AI 仅能在 WhatsApp、Facebook 和 Instagram 上使用。
该应用是 Meta 打造“更个性化 AI 体验”的第一步。用户需使用 Meta 账户登录，目前个性化回复功能仅限于美国和加拿大地区。Meta 改进了 Llama 4 语音模型，使交互更自然，并内置实验性全双工语音演示，但该技术尚在开发中，仅限美国、加拿大、澳大利亚和新西兰用户使用。
Download：Meta AI for iOS
Cultofmac
📮投稿 ☘️频道 🌸聊天
via 科技圈🎗在花频道📮 - Telegram Channel
🚀快手All in AI：可灵升为一级部门，剑指全球领先
快手正式成立可灵AI事业部，由高级副总裁盖坤负责，直接向CEO程一笑汇报，成为与主站等并列的一级部门。可灵AI是快手自研的视频生成大模型，其“图生视频”功能被CEO程一笑称为全球第一。商业化以来至今年2月，可灵AI累计营收已超1亿元，今年前三月营收超去年下半年总和。快手希望通过此次组织升级，提升可灵AI在公司大模型战略中的地位，保持其在视觉大模型领域的竞争优势，目标是做到AI视觉生产领域“全球领先”，并计划用AI复现《三体》场景。快手在2023年初启动AI战略，并All in视频模型，可灵1.6pro在AI基准测试中已登顶图生视频赛道榜首。快手于4月15日发布可灵2.0，在内部胜负率评测中，文生视频能力对比谷歌Veo2胜负比为205%，对比Sora达367%。尽管如此，快手内部对可灵成为超级入口并不急于求成，而是将重点放在研发上，保持技术领先。
(晚点 - 晚点独家)
via 茶馆 - Telegram Channel
快手正式成立可灵AI事业部，由高级副总裁盖坤负责，直接向CEO程一笑汇报，成为与主站等并列的一级部门。可灵AI是快手自研的视频生成大模型，其“图生视频”功能被CEO程一笑称为全球第一。商业化以来至今年2月，可灵AI累计营收已超1亿元，今年前三月营收超去年下半年总和。快手希望通过此次组织升级，提升可灵AI在公司大模型战略中的地位，保持其在视觉大模型领域的竞争优势，目标是做到AI视觉生产领域“全球领先”，并计划用AI复现《三体》场景。快手在2023年初启动AI战略，并All in视频模型，可灵1.6pro在AI基准测试中已登顶图生视频赛道榜首。快手于4月15日发布可灵2.0，在内部胜负率评测中，文生视频能力对比谷歌Veo2胜负比为205%，对比Sora达367%。尽管如此，快手内部对可灵成为超级入口并不急于求成，而是将重点放在研发上，保持技术领先。
(晚点 - 晚点独家)
via 茶馆 - Telegram Channel
