英伟达
「DeepSeek二代」来袭！数学暴击o3，英伟达开源LLM登顶
英伟达发布OpenReasoning-Nemotron模型，基于Qwen2.5架构和DeepSeek-R1-0528生成数据，该模型在多个基准测试中表现优异，特别是在数学、科学和代码任务上。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
新智元报道
编辑：桃子 好困
全球最强的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构联手发布第二版模型。
苹果向英伟达生态妥协了！MLX框架主动适配CUDA
苹果为MLX框架增加对CUDA的支持，以利用英伟达GPU训练模型。此举标志着苹果正式向英伟达生态妥协，尽管此前因禁用部分MacBook的英伟达显卡而与英伟达产生过矛盾。
皮衣换唐装，首次中文演讲，老黄亮相链博会展望物理AI，人形机器人各种火爆出圈儿
英伟达CEO黄仁勋首次用中文在中国供应链博览会开幕，并盛赞中国供应链和创新。英伟达展示了国产机器人产品，并强调了AI对物理世界的理解和应用。展会还展示了新能源和低空经济产业链的产品，体现了中国在全球科技浪潮中的重要地位。
黄仁勋：每天都在用AI，提示工程可以提高认知水平
英伟达CEO黄仁勋在CNN访谈中表示，人工智能将重塑几乎所有工作岗位而非取代它们，并强调有效使用AI需要高级提示工程技能。他提到H20获准销往中国市场及新显卡RTX Pro发布计划。