vivo即将推出的s17系列将包括三款机型，其中v2285a很可能是入门级自拍手机s17e，这款手机在geekbench 5上的单核测试得分为873分，多核测试得分为2350分，其cpu架构基于armv8，由两个2.8ghz大核和六个2.0ghz小核组成，类似联发科的dimensionity7200。它配备了8gb的内存，目前还不清楚是否有12gb的版本。
即将发布的vivo s17系列将为寻找新智能手机的用户提供一系列选择，s17e可能是一个负担得起的入门级选择。s17标准版将采用snapdragon 782g处理器和vivo x90标准版的1.5k jd q9屏幕。s17 pro将采用dimensional 8200处理器和1200万像素的长焦透镜，具有2倍光学变焦。
（举报）
快科技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发布数学推理模型DeepSeek-Prover-V2，包含7B和671B两个参数版本。该模型采用"递归+强化学习"训练方法，在MiniF2F测试集上达到88.9%通过率，解决了PutnamBench中的49道题目。关键技术包括：1) 使用DeepSeek-V3分解复杂定理生成子目标；2) GRPO算法从多个候选方案中自动学习最优解；3) 通过思维链整合非形式化推理与形式化证明。模型在AIME竞赛题和教科书题目上也表现优异，7B小模型意外在部分问题上超越大模型。论文指出该方法为通向AGI提供了正确路径，未来将扩展至IMO级别数学难题。
新版AI模型缩短了响应时间，节约了运算成本；还推出了新的AI芯片“Ironwood”。谷歌发布了新的AI模型“Gemini2.5Flash”，据称，这款AI模型的性能比OpenAI和DeepSeek的AI产品“更高效”。谷歌计划在三星今年上半年推出的AI伴侣机器人Ballie上搭载生成式AI模型。
人工智能IQ哪家强？o3 智商高达 132、Gemini 2.5 Pro Exp. 拿下 128 分、Claude 凭借 3.7 Sonnet Extended 位列第四、Deepsee R 1……
Redmi Turbo 4 Pro将于4月24日晚发布，作为红米15周年首场发布会重磅产品。该机主打性能，首发搭载高通第四代骁龙8s处理器，游戏表现超越前代旗舰芯片，配备双环路3D冰封散热系统。采用6.83英寸1.5K直屏，后置5000万+800万双摄，内置7550mAh电池支持90W快充。外观升级金属中框和大R角设计，质感提升。除常规版外还将推出哈利波特联名定制版。定位介于Turbo 4和K80之间，预计补贴后起售价约1800元，主打"好看又能打"的准旗舰体验。
腾讯混元3D模型升级至v2.5版本，建模精度和贴图真实度显著提升。新版本参数体量从1B增至10B，有效面片数增加超10倍，支持1024几何分辨率。纹理系统支持4K高清贴图和凹凸细节，率先支持多视图生成PBR模型。针对动画场景优化骨骼蒙皮系统，支持非标准姿态自动绑定。新增文生/图生3D减面模型、多视图建模模板等专业工作流。混元3D v2.5已全面更新至腾讯AI创作引擎，免费生成额度提升至每日20次，并正式上线腾讯云API面向企业开放。GitHub开源版本累计Star超1.2万。
快科技5月2日消息，博主智慧芯片案内人”今天公布了W17（4-21至4-27）的手机品牌销量排名，小米和华为遥遥领先其他厂商。该博主强调，今年小米和华为已经明显拉开了与其他厂商的差距。值得注意的是，去年同期小米表现稍差，今年则是凭借REDMI Turbo 4 Pro成功登顶。根据官方数据，Turbo 4 Pro打破2025首销纪录，获得全价位段首销销量第一。Turbo 4 Pro外观上与标准版基本同步，但是升级了金属中框，采用CNC 喷砂工艺，高端旗舰同款，质感大幅提升。正面搭载一块6.83英寸1.5K LTPS直屏，采用大R角 窄边框设计，相比标准版观感更好。采用M9?
【新智元导读】代码截图泄露，满血版o3、o4-mini锁定下周!更劲爆的是，一款据称是OpenAI的神秘模型一夜爆红，每日处理高达260亿token，是Claude用量4倍。奥特曼在TED放话:将推超强开源模型，直面DeepSeek挑战。持续的创新、丰富的资源和智能AI将会无缝融入日常生活，未来一代人将会觉得当前人们又辛苦又落后。
摩托罗拉4月25日在海外发布Edge 60系列手机，包含标准版和Pro版。标准版配备6.7英寸曲面屏，搭载天玑7300芯片，后置5000万像素LYT-700C主摄+5000万超广角+1000万3X长焦，5200mAh电池支持68W快充。Pro版采用同款屏幕，升级为天玑8350处理器，6000mAh电池支持90W有线+15W无线充电。两款均支持IP68/IP69防护，提供类尼龙纹理、仿皮革等独特材质，潘通联名配色。售价分别为380英镑（约3685元）和600英镑（约5819元）。新品5月将在国内上市，针对本土用户做了适配优化。
第29届中国医院信息网络大会(CHIMA2025)在厦门召开，聚焦"AI融合医疗、共促高质量发展"主题。金仓数据库作为国产数据库代表参展，展示了与汕头市中心医院合作的临床数据中心集成平台项目。该项目采用双轨并行方案，实现零停机切换，每个模块上线切换仅需暂停业务5分钟以内。金仓数据库具备100%兼容源库能力，已成功支持浙江省人民医院等多个院区系统国产化改造，并积累301医院云HIS系统等核心医疗系统替换案例。会议显示国产数据库已能满足医疗行业对数据安全、稳定性和高效管理的需求，助力医疗信息化建设。
