《微软Surface Pro 7现身GeekBench跑分：搭载10nm 10代酷睿》文章已经归档，站长之家不再展示相关内容，下文是站长之家的自动化写作机器人，通过算法提取的文章重点内容。这只AI还很年轻，欢迎联系我们帮它成长：
可以看到，识别型号为“OEMJLOEMJLProductNameEV1.5A”SurfacePro7搭载Corei5-1035G1处理器，4核8线程，8GBRAM，运行Windows1064位专业版...
Intel官方规格表显示，i5-1035G1采用10nm工艺制造，隶属IceLake家族，基础频率1GHz，最大睿频3.6GHz，热设计功耗15W，集成UHD核显，支持DDR4-3200、LPDDR4-3733内存...
......
本文由站长之家用户“快科技”投稿，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完整的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请联系作者获取原文。
（举报）
快科技4月30日消息，今日，DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。据介绍，DeepSeek-Prover-V2-671B 其参数量达到6710亿，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提
DeepSeek R1模型发布100天后，中国AI行业竞争格局被彻底重构。该模型3个月内用户突破1.9亿，成为国内最大AI原生应用。腾讯、百度等科技大厂纷纷接入，其中腾讯元宝APP借助DeepSeek流量一度登顶苹果应用下载榜。字节和阿里选择自研路线，字节推出"深度思考"功能，阿里则专注开源模型研发。随着DeepSeek热潮减退，豆包重回下载量榜首，元宝跌出前20。科技大厂在享受DeepSee
人工智能IQ哪家强？o3 智商高达 132、Gemini 2.5 Pro Exp. 拿下 128 分、Claude 凭借 3.7 Sonnet Extended 位列第四、Deepsee R 1……
快科技5月2日消息，OPPO Reno 14系列将于5月中旬发布，Pro机型的跑分已经现身Geekbench数据显示，OPPO Reno14 Pro的CPU为1 Core@3.25 GHz 3 Cores@3.00 GHz 4 Cores@2.10 GHz，预计是联发科天玑8400。此前数码闲聊站已经提前爆料了OPPO Reno14的真机图，该机采用了铝合金边框 Deco冷雕工艺 大R角设计，质感比上一代更进一步。冷雕玻璃是苹果从iPhone 11开始使用，并一直沿用至今的玻璃加工工艺，成本比普通玻璃后壳明显更高，但质感也大幅提升。后摄采用了全新的炮筒镜头排列，与刚刚发布的一加13T有些类似。根据爆料，OPPO Reno 14系列至
【新智元导读】代码截图泄露，满血版o3、o4-mini锁定下周!更劲爆的是，一款据称是OpenAI的神秘模型一夜爆红，每日处理高达260亿token，是Claude用量4倍。奥特曼在TED放话:将推超强开源模型，直面DeepSeek挑战。持续的创新、丰富的资源和智能AI将会无缝融入日常生活，未来一代人将会觉得当前人们又辛苦又落后。
快科技5月2日消息，近日，荣耀 400 系列新机备受关注，荣耀400 Pro现身Geekbench在线数据库，部分规格随之曝光。从数据库信息来看，荣耀400 Pro搭载骁龙 8 Gen3处理器，参与跑分的原型机配备12GB运行内存，其运行安卓15系统，CPU具备8核心，基础频率2.04GHz，不同集群核心频率有所差异，最高达 3.05GHz，配备 Adreno 750 GPU。从芯片的参数规格来看，隶属降频版本的骁龙8 Gen3移动平台。结合此前爆料，荣耀400 Pro亮点颇多。影像方面，后置200MP主摄、50MP长焦镜头，前置50MP自拍镜头，拍照能力值得期待。屏幕为6.7英寸1.5K OLED屏，120Hz
DeepSeek发布数学推理模型DeepSeek-Prover-V2，包含7B和671B两个参数版本。该模型采用"递归+强化学习"训练方法，在MiniF2F测试集上达到88.9%通过率，解决了PutnamBench中的49道题目。关键技术包括：1) 使用DeepSeek-V3分解复杂定理生成子目标；2) GRPO算法从多个候选方案中自动学习最优解；3) 通过思维链整合非形式化推理与形式化证明。模型在AIME竞赛题和教科书题目上也表现优异，7B小模型意外在部分问题上超越大模型。论文指出该方法为通向AGI提供了正确路径，未来将扩展至IMO级别数学难题。
宝马中国4月27日宣布接入深度求索（DeepSeek）AI大模型，深化本土AI生态布局。这是继宝马与阿里巴巴达成AI大语言模型合作后，再次联手中国科技企业。从今年三季度起，搭载第九代宝马操作系统的多款国产新车将率先应用该技术，通过智能个人助理提升人机交互体验。宝马还计划将DeepSeek功能应用于新一代国产车型。此前3月，宝马已与阿里云合作开发车载AI引擎，双方在上海车展展示了识别率达99%的智能语音交互系统。此次合作将突破车载场景限制，实现车辆与外部世界的智能连接，为用户提供个性化出行体验。
从最新爆料来看，iPhone 18 Pro系列将会升级到全新的单挖孔屏，这是目前安卓阵营的主流屏幕形态。区别在于安卓阵营普遍都是以屏幕指纹为主，而iPhone 18 Pro系列仍然是3D人脸识别。
【AI日报】今日AI领域重要动态：1.百度发布文心快码3.5及多模态AI程序员"文心快码Comate Zulu"，提升开发效率；2.字节跳动启动"Top Seed"计划，招募30名AI博士人才；3.DeepSeek开源R1T Chimera模型上线OpenRouter平台；4.阿里AI工程师余亮获"全国劳动模范"称号；5.开源图像编辑工具Step1X-Edit登陆Hugging Face，性能媲美GPT-4o；6.谷歌被曝每月向三星支付巨额资金预装Gemini应用
