热搜话题榜单

深夜突袭，DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙

DeepSeek发布数学推理模型DeepSeek-Prover-V2，包含7B和671B两个参数版本。该模型采用"递归+强化学习"训练方法，在MiniF2F测试集上达到88.9%通过率，解决了PutnamBench中的49道题目。关键技术包括：1) 使用DeepSeek-V3分解复杂定理生成子目标；2) GRPO算法从多个候选方案中自动学习最优解；3) 通过思维链整合非形式化推理与形式化证明。模型在AIME竞赛题和教科书题目上也表现优异，7B小模型意外在部分问题上超越大模型。论文指出该方法为通向AGI提供了正确路径，未来将扩展至IMO级别数学难题。

DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型

快科技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量化，可通过量化技术减小模型大小，提

10倍精度升级！腾讯混元3D模型v2.5版本发布

腾讯混元3D模型升级至v2.5版本，建模精度和贴图真实度显著提升。新版本参数体量从1B增至10B，有效面片数增加超10倍，支持1024几何分辨率。纹理系统支持4K高清贴图和凹凸细节，率先支持多视图生成PBR模型。针对动画场景优化骨骼蒙皮系统，支持非标准姿态自动绑定。新增文生/图生3D减面模型、多视图建模模板等专业工作流。混元3D v2.5已全面更新至腾讯AI创作引擎，免费生成额度提升至每日20次，并正式上线腾讯云API面向企业开放。GitHub开源版本累计Star超1.2万。

AI日报：昆仑万维开源SkyReels-V2；讯飞星火X1全新升级；扣子空间Coze Space内测

本文介绍了多个前沿的人工智能产品和技术动态，包括SkyReels-V2视频生成模型、讯飞星火大模型升级、宇树科技人形机器人比赛计划、Coze Space AI协作平台、Gemma3 QAT优化模型、英特尔AI Playground工具、Reachy2人形机器人发布、ChatTS-14B语音研究项目、Figma推出AI设计工具以及MarkItDown MCP文档转换工具，展示了AI技术在多领域的广泛应用与创新发展潜力。

至高优惠3.5万元！奇瑞iCAR 03/V23 2月购车政策发布

iCAR汽车在2025年2月推出了限时购车优惠政策，涵盖iCAR03和iCARV23两款车型。iCAR03家族车型综合国补后至高可享受3.5万元优惠，活动截止日期为2025年2月28日。新车还支持快充和3.3千瓦对外放电功能。

峰飞航空V2000CG亮相央视春晚：2吨级eVTOL 已拿证

在昨晚的央视春晚重庆会场，峰飞航空2吨级eVTOL电动垂直起降航空器展示了夜景空中飞行，俯瞰视角观看舞台，引发大家关注。这是峰飞航空V2000CG凯瑞鸥，目前已经获得生产许可证，即将进入批量生产阶段，投入商业化运营。eVTOL将持续带来运输和出行效率的大幅提升，例如重庆两江四岸”间的通行，地面交通往往需要通过大桥eVTOL可跨江面直飞，将20分钟的路程缩短到2分钟。

2吨级无人驾驶eVTOL！峰飞航空V2000CG获颁生产许可证

据峰飞航空官方公众号介绍，2024年12月24日，中国民航华东地区管理局向峰飞航空颁发了V2000CG无人驾驶航空器系统的生产许可证。这是全球首张2吨级eVTOL生产许可证，是V2000CG凯瑞鸥机型进入批量生产阶段的重要里程碑。随着V2000CG生产许可证的获得，峰飞航空将进一步推进V2000CG的批量生产、单机取证及交付售后工作，并积极推动其商业化应用。

AI日报：字节启动AGI计划代号“Seed Edge”；智谱GLM-PC电脑智能体大模型开放体验；阶跃星辰视频模型Step-Video V2版发布

欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解:https://top.aibase.com/1、字节加码AGI:豆包大模型组建“SeedEdge”团队，探索AI未来字节跳动正在加大对人工智能领域的基础研究投入，组建了“SeedEdge”团队，专注于AGI的长期研究。此标准由Adobe提出，旨在为数字内容提供类似“营养标签”的信息，以帮助用户识别AI生成的内容。

AI日报：国产之光！DeepSeek APP正式上线；潞晨升级Video Ocean V2.0免费高质量；OpenAI组建人形机器人团队

欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解:https://top.aibase.com/1、潞晨升级免费视频生成模型VideoOceanV2.0，20秒高清大片一键成型在AI技术蓬勃发展的今天，潞晨科技推出的VideoOceanV2.0标志着视频创作的又一次重大飞跃。政策强调人才引进与培养，推动产学研融合，支持数据标注领域的职业资格与技能等级衔接，力求到2027年实现产业规模化和创新能力显著提升，年均复合增长率预计超过20%。

奇瑞iCar V23上市后遭大量车主退订：负责人紧急调整权益

日前，备受期待的奇瑞iCarV23方盒子纯电SUV正式上市，限时起售价仅9.98万元，看起来相当实惠。这款车在上市之前被普遍看好，究其原因，就在于设计实在是太可了，完美融合时尚与经典，绝对是今年颜值最高的车之一，然让人意外的是，上市当晚，大批量小定车主纷纷退单。亡羊补牢为时未晚，知错能改善莫大焉，希望这次的权益调整能够给V23保留和带来更多销量，这也再次给车企敲响了警钟：良好的开局并不等于良好的结尾，永远站在用户的角度上思考，才能打造出真正的爆款。

11万起干崩服务器！奇瑞iCAR V23预售订单突破31000台

颜值就是正义，有颜才能畅销！广州车展首日，奇瑞带来了全新的iCARV23方盒纯电车，预售价11-15万起，随后这款车遭疯抢，iCARAPP一度崩溃聚官方数据，截至当天19:00，该车预售订单突破31000台。新车提供单电机后驱以及双电机四驱版车型，其中单电机最大功率100千瓦，双电机最大功率155千瓦，标配宁德时代电池，后驱版车型续航里程在401km，四驱版车型的续航里程则是501km。

百度地图V20国庆版发布：首发车道级护航 部分手机可直连北斗/天通

百度地图V20国庆版今日正式发布，版本号为20.8.0，支持安卓、iOS端。新版号称首发全场景车道级护航能力”，基于自动驾驶车辆探测及海量用户信号融合来，无需用户设置，V20车机同享。该功能还需要手机支持对应的卫星通信功能，目前仅荣耀MagicV3等机型率先支持，后续还会进一步扩展覆盖。

摩尔线程v270.80.1驱动发布：《黑神话》小西天平均帧率提升超180%

今日，摩尔线程发布版本号为v270.80.1的图形显卡驱动程序，适配MTTS80、MTTS70。此次更新对多款DirectX11游戏进行了深度优化，带来了显著的帧率提升。用户可通过摩尔线程官网下载最新版本v270.80.1的驱动程序，已安装PES控制中心的用户，可通过检查更新”功能，下载全新发布的Windows驱动程序。

百度地图V20首发适配华为Mate XT三折叠屏手机

百度地图V20版本宣布配华为MateXT折叠屏手机，为用户带来全新的导航体验。这一更新标志着百度地图在折叠屏设备上的进一步优化，利用华为MateXT的超大屏幕和卓越性能，提供更广阔的视野和更清晰的导航界面。用户还可以定制个性化的语音包，通过9句话生成专属声音，为导航过程增添个性化色彩。

AI日报：地表最强模型Reflection 70B登场；智谱清言视频通话限时免费了；DeepSeek V2.5升级后更能打了

欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解:https://top.aibase.com/1、性能超越GPT-4o和Claude3.5Sonnet!超强的Reflection70B模型登场HyperWrite的首席执行官MattShumer宣布推出基于Meta开源Llama3.1-70BInstruct的Reflection70B模型，被誉为世界上最强大的开源AI模型。系统

AI日报：免费25张！Midjourney网页版向所有用户开放；爱诗科技上线PixVerse V2.5；Claude移动应用收入破100万美元

欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解：https://top.aibase.com/1、Midjourney全面开放网站，向所有用户免费提供每天25张额度Midjourney作为AI文本到图像生成和图像编辑的领军者，面临着来自竞争对手的挑战。AstribotS1展示了超强的多功能性和智能�

全面支持OpenGL 4.1、游戏帧率暴增150%！摩尔线程v270.80驱动发布

今天，摩尔线程发布了支持MTTS80/S70显卡的v270.80驱动程序。该驱动在Windows10和Windows11操作系统环境下，实现对OpenGL4.1的全面支持，并且支持AV1格式编码和VC1格式解码。用户可通过PES控制中心的检查更新功能，下载新版本的桌面驱动程序和PES控制中心，运行安装程序即可。

全新深度系统deepin V23正式适配龙芯CPU！微信、QQ完美支持

全新的deepinV23正式版将于8月15日发布，除了系统本身的各种惊喜变化已完成与龙芯中科的LoongArch龙架构的适配，全面支持龙芯3A6000、3A5000、3B5000等多款高性能桌面处理器。deepin的商业发行版统信UOS一直与龙芯保持着长期深度合作，号称龙统组合”，在生态适配、商业项目方面都取得了显著成就。deepin系统还会推进龙芯7A桥片显卡支持、多系统启动支持等疑难问题。

统信UOS V20桌面专业版1070u1发布：支持四大CPU架构 一半自主

近日，统信软件正式发布了统信UOSV20桌面专业版。作为一次质量提升为主的系统更新，它的主要目标是提升基础四性、优化产品体验、解决客户实际业务场景中遇到的常见问题。◎同一进程中可打开重复点击的文件夹：重复点击，统一进程重复点击一个文件夹时，可设置只打开同一个进程，避免打开多个文件管理器窗口影响展示效率。

传音新机Phantom V2 Flip真机照曝光：这颜值一言难尽

音旗下TECNOC品牌将于8月下旬发布两款新款手机，分别为PhantomVFold2和PhantomV2Flip。一位名叫ParasGuglani的人在X平台发布了这条消息，并分享了后者相关的照片。关于尺寸方面，展开时的尺寸预计为170x74x8毫米，折叠时则为85x74x16毫米。