-
- DeepSeek-Prover-V2— DeepSeek推出的开源数学推理大模型
- DeepSeek-Prover-V2是由深度求索团队DeepSeek开发的专注于数学推理的超大规模语言模型。它包括两个版本：DeepSeek-Prover-V2-671B和DeepSeek-Prover-V2-7B，分别拥有6710亿和70亿参数，是Prover-V1.5的升级版。模型采用混合专家系统（MoE）架构，支持超长上下文和多精度计算，能够将自然语言问题转化为形式化证明代码。先进的多头潜注意力（MLA）架构通过压缩键值缓存（KVCache）降低推理过程中的内存占用和计算开销。通过递归定理
- 人工智能 . 科技周边 1169 2025-05-02 10:32:01
-
- 沪硅产业：2024年300mm硅片出货同比增超70%，总产能已达65万片/月
- 在投资者关系活动中，沪硅产业透露，2024年全球半导体市场显示出复苏迹象，但由于下游客户库存较高，导致半导体硅片市场的复苏速度未能跟上整体市场的步伐。2024年全年及2025年第一季度，公司的主要产品销量和总收入均呈现增长态势。在300mm硅片领域，上海临港的新增30万片/月产能已全面投入运营，太原项目完成了5万片/月中试线的建设并进入客户认证阶段，使得公司300mm硅片的总产能提升至65万片/月。2024年，300mm硅片的出货量较上年同期增长了超过70%。
- 人工智能 . 科技周边 428 2025-05-02 10:08:12
-
- 豆包AI如何批量处理图片背景？详细步骤解析
- 豆包AI可以通过其强大的AI算法批量处理图片背景，只需几步便可实现这一功能。如何使用豆包AI进行批量图片背景处理？使用豆包AI进行批量图片背景处理非常简单。首先，你需要访问豆包AI的官方网站或下载其应用程序。然后，选择“批量处理”功能，上传你需要处理的图片。豆包AI会自动识别并去除或替换图片的背景。你可以选择默认的背景色或上传自定义背景。最后，点击“处理”按钮，等待几分钟，豆包AI便会完成所有图片的背景处理并提供下载链接。豆包AI批量处理图片背景的优势是什么？豆包AI的批量处理功能不仅节省了大量
- 人工智能 . 科技周边 1444 2025-05-02 09:42:01
-
- 豆包AI如何生成考试题库？教育辅助功能
- 豆包AI生成考试题库的具体流程包括：1)分析课程内容，提取关键知识点；2)根据知识点设计不同题型；3)通过质量控制机制审核和调整题目；4)整合题目进题库供使用。
- 人工智能 . 科技周边 1812 2025-05-01 21:51:01
-
- VIVO“信息显示方法、装置、电子设备和可读存储介质”专利公布
- 根据天眼查的记录，维沃移动通信有限公司申请了一项名为“信息显示方法、装置、电子设备和可读存储介质”的专利。该专利的申请公布日为2025年3月11日，公布号为CN119597200A。该专利公开了一种信息显示方法、装置、电子设备和可读存储介质，涉及电子设备技术领域。具体来说，该方法包括以下步骤：在显示第一界面并检测到第一隔空手势时，响应于该手势，确定第一界面中的第一对象；随后，在检测到第二隔空手势时，响应于该手势，放大显示该第一对象。
- 人工智能 . 科技周边 775 2025-05-01 21:30:01
-
- 大族数控 “钻孔深度控制方法、PCB加工方法、钻孔装置和PCB加工设备”专利公布
- 根据天眼查的数据，深圳市大族数控科技股份有限公司公布了一项专利，名为“钻孔深度控制方法、PCB加工方法、钻孔装置和PCB加工设备”，其申请公布日为2025年3月11日，公布号为CN119589758A。该专利介绍了一种用于控制钻孔深度的方法、PCB加工方法、钻孔装置以及PCB加工设备。通过压脚模块中的第一压脚或第二压脚的抵接面与等高件接触，从而获取主轴的第一高度值；然后移动刀具至刀检器，以获取主轴的第二高度值和刀具在刀检器内的长度。基于第一高度值、第二高度值、刀具在刀检器内的长度以及预设的钻孔深
- 人工智能 . 科技周边 824 2025-05-01 21:28:15
-
- “完全不实” 特斯拉董事长辟谣物色马斯克继任者
- 特斯拉公司在4月30日通过社交媒体平台发布声明，澄清了媒体关于"公司正在寻找马斯克继任者"的报道。特斯拉董事长罗宾·丹霍姆明确指出，关于特斯拉董事会已开始联系猎头公司寻找首席执行官的报道"完全不属实"。在声明中，特斯拉董事会再次确认埃隆·马斯克仍担任公司的首席执行官，并表达了对马斯克继续推动公司发展计划的信心。这一声明是对当天早些时候媒体错误报道的直接回应。此前，有报道称，根据知情人士的消息，由于特斯拉股价下跌以及一些投资者对马斯克关注白宫的举动感到不满，特斯拉董事会已开始认真考虑寻找马斯克的继
- 人工智能 . 科技周边 571 2025-05-01 21:22:15
-
- 怎样用豆包a制作短视频保姆级教程！
- 豆包a适合任何想快速制作短视频的人，但追求极致个性者需多花时间深挖功能。1.下载豆包a应用，2.选择合适的模板，3.添加和调整素材，4.导出和分享视频即可完成制作。
- 人工智能 . 科技周边 2897 2025-05-01 20:39:01
-
- 笔灵ai50万字用完还要收费吗？收费标准是什么？
- 是的，笔灵AI在免费额度用完后会收费。1.免费用户可使用50万字，超出后需购买额外字数。2.收费基于所需字数，套餐有10万字、50万字等，具体价格需查官方网站。
- 人工智能 . 科技周边 1502 2025-05-01 20:12:02
-
- 小鹏汽车4月共交付新车35045台 同比增长273%
- 5月1日，小鹏汽车发布了最新的交付数据。2025年4月，小鹏汽车共交付新车35045台，较去年同期增长了273%，较上月增长6%。小鹏MONAM03自上市8个月以来，已累计交付超过10万台；小鹏P7+上市5个月内，最近完成了第5万台新车的下线。值得注意的是，小鹏X9自上市仅7天，就在内地市场获得了超过6,000台的大定，亚太市场也超过了1,500台，创下了纯电动MPV大定的新纪录，并且在交付量上连续两周领跑纯电MPV市场。小鹏MONAM03上市8个月累计交付超10万台。小鹏P7+上市5个月，完成
- 人工智能 . 科技周边 428 2025-05-01 18:24:01
-
- F-Lite— Freepik联合FAL开源的文生图模型
- F-Lite是什么F-Lite是Freepik团队与FAL共同发布的一个10亿参数的文本到图像生成模型。该模型通过Freepik内部的8000万版权数据集进行训练，支持商业用途。F-Lite采用T5-XXL作为文本编码器，并通过提取其第17层的特征注入到DiT模型中进行训练。模型经历了256和512分辨率的预训练，以及1024分辨率的后续训练，训练成本较高。此外，还推出了专门针对丰富纹理和详细提示进行优化的F-LiteTexture版本。F-Lite的主要功能文本到图像生成：用户可以通过输入文本
- 人工智能 . 科技周边 905 2025-05-01 15:30:25
-
- 理想汽车4月交付33,939辆，环比下降7.5%
- 5月1日，理想汽车发布了2025年4月的交付数据。2025年4月，理想汽车交付了33,939辆新车，相比去年同期增长了31.6%；然而，与3月的36,674辆相比，减少了2735辆，降幅为7.5%。截至2025年4月30日，理想汽车的总交付量达到了1,260,675辆。今年3月，理想汽车交付了36,674辆新车，较2024年同期增长了26.5%。2025年第一季度，理想汽车总共交付了92,864辆新车，同比增长15.5%，但4月的交付量却出现了环比下降的趋势。在上海车展上，理想汽车推出了理想ME
- 人工智能 . 科技周边 452 2025-05-01 15:22:24
-
- 日月光最旺Q1 EPS 1.75元新台币
- 日月光投控于4月30日发布首季财报，税后净利达75.54亿元新台币。尽管季度环比下降19%，但仍创下历史上最强的第一季表现，同比增长33%，每股收益为1.75元新台币。日月光投控表示，由于先进封装需求持续强劲，相关产能保持满载状态，同时测试需求也维持在高位，使得上季整体产能利用率略高于预期的65%。日月光投控首季合并营收为1,481.53亿元新台币，环比下降9%，同比增长12%；毛利率达到16.8%，环比上升0.4个百分点，同比上升1.1个百分点；营业利润率为6.5%，环比下降0.4个百分点，同
- 人工智能 . 科技周边 325 2025-05-01 14:30:01
-
- 通义灵码生成快捷键怎么用
- 通义灵码生成快捷键的设置方法是：1.在设置菜单中找到“快捷键”选项，选择“生成代码”功能，默认快捷键是Ctrl+Shift+T，可根据习惯修改。2.常见问题包括快捷键冲突和生成代码不符合需求。3.优化使用体验的方法包括：定期更新软件、定制代码模板和尝试不同快捷键设置。
- 人工智能 . 科技周边 889 2025-05-01 14:09:01
-
- RepText— Liblib AI联合Shakker Labs推出的多语言视觉文本渲染框架
- RepText是由ShakkerLabs和LiblibAI开发的多语言视觉文本渲染框架，通过复制字形而非理解文本内容来实现高质量的文本渲染。该框架利用预训练的单语言文本到图像生成模型，结合ControlNet结构、Canny边缘检测、位置信息以及字形潜变量复制技术，能够精确地渲染用户指定字体和位置的多语言文本。RepText适用于平面设计、自然场景等多种应用场景。RepText的主要功能多语言文本渲染：能够生成多种语言的视觉文本，包括非拉丁字母，用户可指定文本内容、字体、颜色和位置。精准控制：用
- 人工智能 . 科技周边 403 2025-05-01 13:46:01
PHP讨论组
组员：3305人话题：1500
PHP一种被广泛应用的开放源代码的多用途脚本语言，和其他技术相比，php本身开源免费； 可以将程序嵌入于HTML中去执行， 执行效率比完全生成htmL标记的CGI要高许多，它运行在服务器端，消耗的系统资源相当少，具有跨平台强、效率高的特性，而且php支持几乎所有流行的数据库以及操作系统，最重要的是
工具推荐
jQuery点击文字滚动Scrollocue插件
jQuery点击文字滚动Scrollocue插件是一款用于构建一个简单的提示提词器系统的jQuery小插件。本作品由【站长素材】收集整理，转载请注明出处！
文字特效
2025-12-19
雅龙智能装备工业设备类WordPress主题1.0
一个专为企业网站设计的现代化WordPress主题，集成了多语言支持、自定义SEO、Open Graph、安全加固和完全响应式设计等企业级功能。 ✨ 核心亮点- ? 完整多语言系统 - 支持中文、英文、越南语、葡萄牙语，可扩展- 自定义SEO功能 - 文章、页面、分类独立SEO设置- Open Graph支持 - 完整的社交媒体分享优化- 22项安全加固 - 企业级安全防护，防止脚本小子攻击- 完全响应式 - 完美适配手机、平板、桌面设备- 高性能优化 - 智能缓存、条件加载、代码优化-
企业站源码
2025-12-18
极简圣诞酒会派对海报矢量模板
极简圣诞酒会派对海报矢量模板适用于清吧圣诞特饮的推介立牌或菜单封面、私人圣诞晚宴或公司小型酒会的电子邀请函等相关视觉场景设计的由AI生成的Ai格式素材。
矢量素材
2025-12-22
卡通各行业职业人物矢量素材
卡通各行业职业人物矢量素材适用于幼儿园或小学“认识职业”主题班会的PPT插图、企业招聘海报上代表不同岗位的装饰小人等相关视觉场景设计的由AI生成的Ai格式素材。
矢量素材
2025-12-22
2026年圣诞主题竖版海报模板设计下载
2026年圣诞主题竖版海报模板设计适用于圣诞主题海报设计 本作品提供2026年圣诞主题竖版海报模板设计的图片会员免费下载，格式为PSD，文件大小为8.6M； 请使用软件Photoshop进行编辑，作品中文字及图均可以通过软件修改和编辑；
psd素材
2025-12-22
国潮烫金春节灯笼矢量素材
新中式金边春节元素矢量素材适用于茶叶、月饼或年货礼盒的腰封设计、企业寄送给客户的2026新年贺卡等相关视觉场景设计的由AI生成的Ai格式素材。
矢量素材
2025-12-22
驾照考试驾校HTML5网站模板
驾照考试驾校HTML5网站模板是一款适合提供驾驶培训和组织驾照考试服务机构宣传网站模板下载。提示：本模板调用到谷歌字体库，可能会出现页面打开比较缓慢。
前端模板
2025-06-10
驾照培训服务机构宣传网站模板
驾照培训服务机构宣传网站模板是一款适合提供一般驾驶和计划培训的驾校宣传网站模板下载。提示：本模板调用到谷歌字体库，可能会出现页面打开比较缓慢。
前端模板
2025-01-07
HTML5房地产公司宣传网站模板
HTML5房地产公司宣传网站模板是一款适合从事房地产服务行业宣传网站模板下载。提示：本模板调用到谷歌字体库，可能会出现页面打开比较缓慢。
前端模板
2025-01-06
