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折 支持OpenAI, Claude, Gemini,Grok, Deepseek, 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折 支持OpenAI, Claude, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
英伟达的新工具可根据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
Anthropic 周三发布博客文章称，该公司“强烈支持”美国商务部的“人工智能扩散框架”，该临时规则将于 5 月 15 日实施。该框架由即将卸任的总统乔·拜登于今年1月提出，旨在加强人工智能芯片出口管制，以保障国家安全并确保美国在人工智能领域的主导地位。该框架将世界各国划分为三个等级，每个等级都有各自的指导方针和限制。第三级是限制最严格的级别，其中包括俄罗斯和中国等已经受到现有出口管制影响的国家，这些国家将面临额外的限制。墨西哥和葡萄牙等第二级国家将首次受到出口限制，并对其芯片购买量设定上限。日本和韩国等第一级国家将继续不受出口限制。当这些限制措施于一月份被提出时，半导体巨头英伟达发表声明称这些措施“史无前例且具有误导性”，并暗示这些措施将“阻碍”全球创新。显然，像 Anthropic 这样的美国人工智能公司并不认同这一观点。该实验室在其博客文章中，对这些限制措施表示了广泛的支持。不过，Anthropic 确实建议降低二级国家无需审查即可购买的芯片数量，而是鼓励这些国家通过政府间协议购买更多芯片，以避免走私并加强美国的控制。该公司还认为美国政府应该增加资金以确保这些出口管制得到适当执行。Anthropic 的这一声明并不令人意外。Anthropic 首席执行官达里奥·阿莫迪 (Dario Amodei) 一直是美国人工智能领域支持出口限制的领军人物之一。今年 1 月，阿莫迪在《华尔街日报》上发表了一篇专栏文章，探讨美国为何需要加强芯片出口管制。 ...
PC版：https://www.cnbeta.com.tw/articles/soft/1496558.htm
手机版：https://m.cnbeta.com.tw/view/1496558.htm
cnBeta.COM
Anthropic 建议对美国拟议的AI芯片出口管制政策进行调整 - AI 人工智能 - cnBeta.COM
Anthropic同意美国政府的观点，即对国产人工智能芯片实施严格的出口管制将有助于美国在与中国的人工智能竞赛中保持竞争力。但该公司建议对拟议的限制措施进行一些调整。
via cnBeta.COM中文业界资讯站 - Telegram Channel
分析称，若协议达成，Gemini或成为苹果设备（如iPhone）的默认AI服务提供商，类似Google目前作为Safari默认搜索引擎的地位。此举将显著扩大Gemini的用户基数，直接挑战OpenAI（ChatGPT）与微软的竞争优势。皮查伊的证词发生于美国司法部诉Google垄断案庭审期间。美国监管部门可能审查该合作是否构成“排他性协议”，进一步强化Google在AI生态的主导地位。苹果在生成式AI领域进展滞后，需借助外部技术。Google每年向Apple Pay180-200亿美元维持默认搜索引擎地位，AI合作或涉及类似巨额交易。 ...
PC版：https://www.cnbeta.com.tw/articles/soft/1496552.htm
手机版：https://m.cnbeta.com.tw/view/1496552.htm
cnBeta.COM
谷歌寻求与苹果达成Gemini AI合作协议 或于年中敲定 - Google 谷歌 - cnBeta.COM
Google CEO桑达尔·皮查伊（SundarPichai）周三在反垄断庭审中透露，Google希望在今年年中前与苹果达成协议，将旗下Gemini人工智能技术整合到苹果新一代iPhone中。
via cnBeta.COM中文业界资讯站 - 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
NVIDIA 的新工具可以将 3D 场景转换为 AI 图像
用户可以在 Blender 中使用建筑物、植物、动物和车辆等 3D 对象绘制场景，然后以此为参考创建 2D 图像。其理念是，与单纯使用文本描述相比，手动调整观看位置或某些对象的放置位置，可以在生成 2D 图像时更好地控制细节。例如，如果你心中有一个非常具体的城市形象——建筑物的形状和高度、树木或汽车的数量，甚至你观看的角度——接下来就可以使用 NVIDIA 的工作流程在 Blender 中手动创建一个粗略的版本。然后，FLUX.1 图像生成器会以此为基础创建图像，这比反复调整基于文本的描述，直到得到与你想要的效果大致相似的图像要轻松得多。Blender 中绘制的 3D 对象甚至不需要非常详细，因为该工具只是将它们用作布局指南。NVIDIA 将其蓝图描述为“预定义、可定制的 AI 工作流程”，旨在帮助开发人员构建生成式 AI 应用程序。NVIDIA 表示，其 3D 引导生成式 AI 蓝图提供了分步文档、示例资源和预配置环境，以指导用户使用该工具。该工作流程并非独一无二——Adobe 在 10 月份的 MAX 活动上曾预告过一款类似的工具，名为“Project Concept”，它也允许用户绘制可用于指导图像生成的 3D 场景。然而，Adobe 的版本仍处于实验阶段，可能不会向公众发布。 ...
PC版：https://www.cnbeta.com.tw/articles/soft/1496536.htm
手机版：https://m.cnbeta.com.tw/view/1496536.htm
via cnBeta.COM中文业界资讯站 - Telegram Channel
用户可以在 Blender 中使用建筑物、植物、动物和车辆等 3D 对象绘制场景，然后以此为参考创建 2D 图像。其理念是，与单纯使用文本描述相比，手动调整观看位置或某些对象的放置位置，可以在生成 2D 图像时更好地控制细节。例如，如果你心中有一个非常具体的城市形象——建筑物的形状和高度、树木或汽车的数量，甚至你观看的角度——接下来就可以使用 NVIDIA 的工作流程在 Blender 中手动创建一个粗略的版本。然后，FLUX.1 图像生成器会以此为基础创建图像，这比反复调整基于文本的描述，直到得到与你想要的效果大致相似的图像要轻松得多。Blender 中绘制的 3D 对象甚至不需要非常详细，因为该工具只是将它们用作布局指南。NVIDIA 将其蓝图描述为“预定义、可定制的 AI 工作流程”，旨在帮助开发人员构建生成式 AI 应用程序。NVIDIA 表示，其 3D 引导生成式 AI 蓝图提供了分步文档、示例资源和预配置环境，以指导用户使用该工具。该工作流程并非独一无二——Adobe 在 10 月份的 MAX 活动上曾预告过一款类似的工具，名为“Project Concept”，它也允许用户绘制可用于指导图像生成的 3D 场景。然而，Adobe 的版本仍处于实验阶段，可能不会向公众发布。 ...
PC版：https://www.cnbeta.com.tw/articles/soft/1496536.htm
手机版：https://m.cnbeta.com.tw/view/1496536.htm
cnBeta.COM
NVIDIA 的新工具可以将 3D 场景转换为 AI 图像 - nVIDIA - cnBeta.COM
NVIDIA推出了一款新工具，允许开发人员通过先创建3D图像，再根据图像来生成AI图像。这款名为NVIDIAAIBlueprint的3D引导生成AI工具，现已可供配备NVIDIARTX4080或更高版本GPU的计算机下载使用，其工作原理是将Blender的3D建模软件与BlackForestLab的FLUX.1图像生成器连接起来。
via cnBeta.COM中文业界资讯站 - Telegram Channel
微软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
在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。有网友分析，该模型被视为 Prover-V1.5的升级版，专注于形式化定理证明，专门用于攻克数学难题，擅长自动证明定理和复杂计算，类似于 AlphaGo 在围棋中的自我对弈方式。接下来它的性能测试表现会如何，值得期待。 ...
PC版：https://www.cnbeta.com.tw/articles/soft/1496514.htm
手机版：https://m.cnbeta.com.tw/view/1496514.htm
cnBeta.COM
DeepSeek上新 Prover-V2-671B新开源模型发布 - AI 人工智能 - cnBeta.COM
今日下午，DeepSeek在AI开源社区HuggingFace发布了一个名为DeepSeek-Prover-V2-671B的新模型。据介绍，DeepSeek-Prover-V2-671B其参数量达到6710亿，使用了更高效的safetensors文件格式，并支持BF16、FP8、F32等多种计算精度，方便模型更快、更省资源地训练和部署。
via cnBeta.COM中文业界资讯站 - Telegram Channel
