天脉资讯
财经视野 科技数码 探索发现 教育学习 娱乐红人 时尚秘籍 文化艺术 游戏天地 星座解读 宠物小乖 营养美食 大燕公益 商业快讯

小米、苹果、Meta齐登场:AI新突破、安全漏洞与CEO回应

2025-05-01来源:天脉网编辑:瑞雪

近日,科技界和娱乐界迎来了一系列重要动态。首先,在人工智能领域,DeepSeek公司在全球最大AI开源社区Hugging Face发布了名为DeepSeek-Prover-V2的新模型。该模型包含两个版本,DeepSeek-Prover-V2-7B和DeepSeek-Prover-V2-671B,分别支持最长32K的上下文输入和强大的推理性能。DeepSeek-Prover-V2采用了“递归+强化学习”的训练方式,旨在通过复杂的定理拆解和自动学习最优解来提升模型能力。

在游戏行业,知名游戏开发商游戏科学荣获2025年度中国青年五四奖章集体,以表彰其在推进中国式现代化中的杰出贡献。游戏科学的代表作《黑神话:悟空》自发布以来,赢得了多项国际游戏大奖,包括TGA 2024年度最佳动作游戏奖和Steam年度最佳游戏奖。

小米公司也宣布开源了其首个推理大模型Xiaomi MiMo。该模型在数学和代码领域表现优异,超越了OpenAI的o1-mini和阿里Qwen等模型。MiMo的推理能力提升得益于其在预训练和后训练阶段的多项创新,包括挖掘富推理语料和建立高效的强化学习系统。

meta CEO马克·扎克伯格首次回应了Llama 4大模型在基准测试中的争议。他表示,meta更注重用户体验而非基准测试成绩,因此未对Llama 4进行过度优化。微软CEO萨蒂亚·纳德拉透露,微软的代码库中约有20%-30%的代码由AI生成,部分项目甚至完全由AI编写。

在科技硬件方面,索尼被传计划拆分其半导体业务并上市,这一消息导致索尼股价大涨。同时,豆包电脑版和网页版的图像生成功能进行了升级,推出了“超能创意1.0”模式,一次最多可生成20张差异化图像。快手公司也提高了可灵AI的优先级,成立了可灵AI事业部,并计划将其发展为一级业务部门。

在智能设备领域,苹果AirPlay功能被曝出存在安全漏洞,可能影响数百万台苹果设备及配件。腾讯智慧出行副总裁钟学丹表示,AI将成为汽车行业的“水和电”,助力汽车行业实现智能化转型。新款Apple Watch SE预计将升级屏幕尺寸,提供1.6英寸和1.8英寸两种选择。

在汽车市场,零跑汽车宣布推出2026款零跑C10,售价从12.98万元起。新车在内外饰、智能化、续航和性能等方面进行了全面升级。荣耀公司也发布了MagicBook Pro 16 2025版,首发搭载满血版英伟达GeForce RTX 5070显卡,性能强劲。

OPPO Find X8系列将迎来影像能力升级,包括全球首个ProXDR实况照片上线和专业视频创作模式等。淘宝则加入了即时零售大战,推出闪购功能,计划在全国50多个城市上线,并联合饿了么提供超百亿元补贴。

移动互联网未成年人模式正式发布,实现了操作方式、内容生态、功能服务和覆盖范围的全方位优化和升级。电影方面,《惊天魔盗团3》发布了官方预告片,将于11月14日在北美上映,原班人马回归并加入新一代魔术师。

在文化娱乐领域,苹果上线了“名人百科”网站,用户可以了解喜爱的艺术家、演员和运动员的详细资料。电影《孤独的美食家剧场版》也于近期上映,讲述了美食家井之头五郎在法国寻找童年汤头食谱的冒险故事。