5月6日讯 当地时间周一(5月5日)，OpenAI宣布，它将继续由其非营利性母公司控制，同时将推进营利性部门结构调整的计划，以便在AI竞赛中筹集更多资金、保持领先地位。“在听取了民间领袖的意见，并与加州和特拉华州总检察长办公室进行讨论后，我们决定由非营利机构继续掌控公司，”OpenAI董事会主席布雷特·泰勒(Bret Taylor)周一在官方声明中表示。“我们期待与他们、微软以及新任命的非营利机构委员持续沟通，推进该计划的具体细节。”

英伟达正设计新特供版AI芯片

据台湾《工商时报》网站报道，在针对中国市场的H20芯片遭美国政府禁售后，美国芯片大厂英伟达正加紧开发另一款符合美国出口规定的AI芯片，以继续保住其在中国的市场份额。报道称，据美媒报道，英伟达已向中国三家企业通报，正调整AI芯片设计，寻求在不触犯美国出口管制的前提下，继续向中国供应产品。报道指出，英伟达首席执行官黄仁勋是在4月中旬访问北京期间，向客户透露上述计划的。报道还说，新款芯片的样品预计最快将在6月交付测试，该公司也同步研发其最新一代AI芯片Blackwell的“中国专属版本”。就在黄仁勋访问北京前不久，英伟达4月16日在一份事务数据中透露，已接获美国政府通知，未来将“无限期”禁止向中国等特定国家出口H20芯片，英伟达为此预估将面临55亿美元的潜在损失。

库克：苹果公司今年将在美国采购190亿芯片

当地时间5月1日，苹果公司CEO库克表示，苹果今年将在美国采购190亿芯片，并将扩大在密歇根州、得克萨斯州、加利福尼亚州等地的团队和设施，还将在得克萨斯州开设先进的服务器制造工厂。

工业和信息化部：加强通用大模型和行业大模型研发布局

近日从工业和信息化部获悉，下一步将加强通用大模型和行业大模型研发布局，加快建设工业领域高质量数据集。工业和信息化部总工程师谢少锋说，我国已形成了覆盖基础层、框架层、模型层、应用层的完整的人工智能产业体系，人工智能大模型在电子、原材料、消费品等行业加快落地，在研发设计、中试验证、生产制造、运营管理等环节得到应用。他说，制造业是人工智能技术产品落地应用的重要领域。下一步将全力推进人工智能赋能新型工业化，一手抓供给，一手抓应用，推动制造业的全流程、重点行业、重点产品的智能升级。同时，加快培育一批行业龙头企业和专精特新中小企业，建设人工智能开源社区，加快关键急需标准的研制。

广东：推动政府等公共服务机构率先接入人工智能大模型

广东省人民政府办公厅印发《广东省进一步激发市场主体活力加快建设现代化产业体系的若干措施》，其中提出，大力开发应用场景。打造场景创新生态，以场景为牵引、应用为导向，定期发布前沿赛道产业应用场景机会清单，实施应用场景招商。推动政府等公共服务机构率先接入人工智能大模型，在自动驾驶、低空经济等领域设立城市级实景测试场，每年建成20个以上区域特色场景、100个以上具有推广价值和带动作用的示范场景，加快形成大规模商业应用。

苹果将与Anthropic合作开发AI平台编写软件

据报道，苹果正与初创公司Anthropic合作开发一个新的“氛围编码”(vibe-coding)软件平台，该平台将使用人工智能代表程序员编写、编辑和测试代码。据知情人士透露，该系统是苹果编程软件Xcode的新版本，将整合Anthropic的Claude Sonnet模型。苹果将在内部推出该软件，尚未决定是否公开发布。这项工作展示了苹果如何利用人工智能改进其内部工作流程，旨在加快和实现产品开发现代化。

DeepSeek开源Prover-V2强推理模型

DeepSeek开源DeepSeek-Prover-V2模型。Prover-V2 在定理证明赛道上实现了业内最佳性能，在 MiniF2F 测试中达到了 88.9% 的通过率，在 AIME 24、25 上也有不错的分数。在 4 月 30 日晚，机器学习协作平台 HuggingFace 上就更新了 DeepSeek-Prover-V2 的一些技术细节。这次 DeepSeek 团队发布了两个版本的 DeepSeek-Prover-V2 模型，参数规模分别为 7B 和 671B。其中，DeepSeek-Prover-V2-671B 是在 DeepSeek-V3-Base 基础上训练而成，而 DeepSeek-Prover-V2-7B 则基于 DeepSeek-Prover-V1.5-Base 构建，并支持最长 32K tokens 的上下文长度扩展。要一句话总结 DeepSeek-Prover-V2 到底是什么?它是一款专为「数学 AI 编程语言」Lean 4 打造的开源大语言模型，专注于形式化定理证明。