凤凰网科技讯 12月6日消息,天眼查App显示,12月2日,北京搜狗信息服务有限公司发生多项工商变更,王小川、北京世纪高科投资有限公司退出股东行列,股东新增广西腾讯创业投资有限公司。公司法定代表人由许静芳变更为叶骏。
股东信息显示,该公司现由广西腾讯创业投资有限公司、深圳市腾讯计算机系统有限公司共同持股。据媒体报道,今年10月,王小川卸任搜狗CEO,并宣布搜狗融入腾讯大家庭。
(举报)
11.11云上盛惠!海量产品 · 轻松上云!云服务器首年1.8折起,买1年送3个月!超值优惠,性能稳定,让您的云端之旅更加畅享。快来腾讯云选购吧!
腾讯微保携手三星财产保险有限公司、中国人民人寿保险股份有限公司,推出了满足不同家庭需求的少儿医疗险产品。“微医保·少儿百万医疗险”和“微医保·少儿长期百万医疗险”产品的推出,旨在为有灵活购买需求或长期稳定保障需求的客户提供续保的医疗险产品。腾讯微保将继续秉承“以人民为中心”的理念,深度洞察用户需求,不断创新服务场景,丰富保险产品供给,为大众提供更加多元化、体系化的保障产品与服务,守护万千家庭的幸福生活。
今日,沙溢回应退出奔跑吧”话题登上微博热搜,引起许多网友热议。在《奔跑吧》花絮中沙溢回应了留在《王牌对王牌》退出《奔跑吧》传闻:这跟我没关系,我怀疑是你们做的假新闻,为了博点流量。《奔跑吧》是浙江卫视推出的户外竞技真人秀节目,由浙江卫视节目中心制作,艺人分为不同的队伍进行比赛,最后获胜一方获得称号或奖品,该节目首播时间为2017年4月。
以色列人工智能安全公司Apex宣布已完成700万美元的种子轮融资,此轮融资由红杉资本和IndexVentures共同领投,多位天使投资者参与,其中包括OpenAI首席执行官山姆·阿尔特曼。自2022年ChatGPT推出以来,全球各行各业的生成式AI能力都有了巨大提升。Apex专注于解决这一特定困境。
波士顿动力的Atlas,今日正式宣布退役!在最后一段告别视频里,它依然在奔跑、跳跃、后空翻、甚至摔倒在地,从膝盖喷出了液压油,让屏幕前的几十万观众跟着喊疼。或许液压系统真的过时了,Atlas的退役,标志着一个时代的结束。是你让我的梦想成真。
今天,微博话题曝iPhone17将推Slim机型”冲上了热搜榜第一名,引发关注。分析师JeffPu爆料,iPhone17系列产品线会重新调整,新增Slim机型,替代Plus版本,4款机型变更为iPhone17、iPhone17Slim、iPhone17Pro和iPhone17ProMax等。核心配置上,苹果仍然延续了iPhone15系列的差异化方案,只有Pro和ProMax版本会搭载顶级的A19Pro芯片标准版和Slim机型则采用上一代芯片。
本周,华为宣布将P系列正式升级为Pura”Pura70成为新系列的首款产品。华为并未公布Pura70的确切开售日期。分析师郭明錤预计,Pura70系列的出货量预计将同比增长约230%,达到1500万部。
华为前两天正式宣布P系列升级为Pura系列,首款机型定名为华为Pura70系列,也就是原本的P70系列。从官宣当天开始,很多网友在10:08、12:08、18:08这三个华为惯用的新品开售时间蹲守官网,但目前没有任何动静。华为选择在今天推出Pura70系列,也算是给P系列画上一个圆满的句号,后续将用Pura续写经典。
无论面对老旧的住宅还是全新的居室,都需挑选一家既专业又值得信赖的装修企业来担此重任,以规避后续可能涌现的装修难题,使得业主更为安心。然在如繁星般密集的上海装修市场中,如何辨识众多装潢公司的优劣?以下内容,由小编倾力整理,基于公司实力、声誉、性价比等多维度数据,为各位带来一份精炼的上海装潢设计公司名单,让我们一同探究究竟。”综上,为大�
在今年4月份,华为余承东宣布,P系列正式升级为华为Pura”,Pura70将会是新系列的第一款产品。Pura的含义是纯粹、漂亮,符合P系列的产品特性,也有网友表示直接读漂亮系列”,这样的语音和含义都与Pura定位极为相符。该机首发起售价是8988元。
荣耀100系列的迭代新机命名以2开头,不叫荣耀101,目前荣耀200系列已经入网。根据目前曝光的认证信息,荣耀200系列产品型号为ELP-AN00,将配备型号为HN-200500C07、HN-200500C08的电源适配器,支持100W有线快充。值得注意的是,荣耀200系列新成员荣耀200Lite已在海外上市发售,该机采用6.7英寸OLED屏幕,搭载联发科天玑6080处理器,配备8GB内存和256GB存储,后置108MP5MP2MP三摄,电池容量是4500毫安时。
Eraser AI 是一款专为技术设计打造的AI工具,它能够帮助用户快速创建和迭代设计文档和图表。它通过自然语言提示生成图表代码,支持云架构图、数据库图等的快速创建。Eraser AI 提供完全可编辑的输出,支持多人实时协作,并且与开发者常用的工具如GitHub和VS Code有良好的集成。此外,它还提供了一个免费的沙盒环境DiagramGPT,允许用户无需账号即可生成图表。Eraser AI 强调数据隐私,不会使用用户数据进行模型训练,适合现代开发者使用。
Logome是一个利用人工智能技术帮助用户设计品牌标志的网站。用户无需具备设计技能,即可通过Logome的AI标志生成器在几分钟内创建出完美的标志。该平台提供多种可定制模板,支持用户选择与品牌最匹配的设计。此外,Logome还提供品牌工具包,帮助用户利用AI驱动的工具简化品牌建设过程,包括品牌材料的即时生产。
LeRobot 是一个旨在降低进入机器人领域的门槛,让每个人都能贡献并从共享数据集和预训练模型中受益的开源项目。它包含了在真实世界中经过验证的最先进的方法,特别关注模仿学习和强化学习。LeRobot 提供了一组预训练模型、带有人类收集演示的数据集和模拟环境,以便用户无需组装机器人即可开始。未来几周内,计划增加对最实惠和最有能力的真实世界机器人的支持。
MarsCode是一个基于云的编程集成开发环境(IDE),通过内置的AI编程助手,提供代码补全、代码生成、代码解释、智能优化建议等功能,大幅提高开发效率。它支持一键式弹性部署,无需配置即可初始化开发环境,支持多模板创建项目,满足不同开发需求。MarsCode以其快速、稳定、无需下载和配置的特点,成为编程领域的创新产品。
Meta-Llama-3-120B-Instruct 是一个基于 Meta-Llama-3-70B-Instruct 通过 MergeKit 自我合并的大型语言模型。它在创意写作方面表现出色,但在其他任务上可能存在挑战。该模型使用 Llama 3 聊天模板,默认上下文窗口为 8K,可以通过绳索theta扩展。模型在生成文本时有时会出现错别字,并且喜欢使用大写字母。
HeyMusic.AI是一款基于AI算法的生成音乐平台,可以根据用户提供的歌词创作音乐。它可以在几秒钟内根据用户的提示创建定制的AI音乐,让用户轻松释放创造力。HeyMusic.AI提供了比Suno AI和Udio更好的生成AI音乐的功能。
Electe是一款专为中小企业打造的数据分析平台,利用人工智能技术帮助企业挖掘和分析数据,为企业决策提供有力支持。Electe具有高度可定制化的功能,可以根据企业的需求进行定制开发。Electe的主要优点是能够帮助企业充分利用数据资源,提升业务效率,增加收入。价格根据企业的需求而定,定位于中小企业市场。
万知是一站式 AI 工作平台,为用户提供问答、阅读、创作等功能。其主要优点在于能够快速解答问题、帮助阅读和作文档,提升个人工作效率。万知由零⼀万物公司专注于 AI 2.0 的研究和用。
TensorDock 是一个为需要无可妥协可靠性的工作负载而构建的专业云服务提供商。它提供多种 GPU 服务器选项,包括 NVIDIA H100 SXMs,以及针对深度学习、AI 和渲染的最具成本效益的虚拟机基础设施。TensorDock 还提供全托管容器托管服务,具备操作系统级监控、自动扩展和负载均衡功能。此外,TensorDock 提供世界级别的企业支持,由专业人员提供服务。
Instaclass是一个在线平台,允许用户利用互联网上现有的最佳内容创建自己的课程。它解决了寻找高质量教育资源的难题,通过整合和优化内容,为用户提供了一种全新的学习和教学方式。该平台的主要优点包括内容的深度挖掘、自我测试功能以及进一步搜索相关信息的能力,这些功能都旨在提高用户的学习效率和体验。
Rocketnotes是一个云端笔记应用,提供强大的Markdown编辑器,支持响应式预览和多种编程语言的代码语法高亮。它允许用户从任何设备访问笔记,并通过文档树结构化管理笔记文档,支持拖放重组和快速搜索文档。此外,还提供文档分享功能,允许用户与外部用户共享特定文档。
RAG-Retrieval是一个全链路的RAG检索微调和推理框架,支持多种RAG Reranker模型的推理,包括向量模型、迟交互式模型和交互式模型。它提供了一个轻量级的Python库,使得用户能够以统一的方式调用不同的RAG排序模型,简化了排序模型的使用和部署。
DeepSeek-V2是一个由236B参数构成的混合专家(MoE)语言模型,它在保持经济训练和高效推理的同时,激活每个token的21B参数。与前代DeepSeek 67B相比,DeepSeek-V2在性能上更强,同时节省了42.5%的训练成本,减少了93.3%的KV缓存,并提升了最大生成吞吐量至5.76倍。该模型在8.1万亿token的高质量语料库上进行了预训练,并通过监督式微调(SFT)和强化学习(RL)进一步优化,使其在标准基准测试和开放式生成评估中表现出色。
ChatGPT是一个基于人工智能技术的聊天平台,它能够通过自然语言处理和机器学习技术,理解用户的需求并提供相应的帮助。它不仅可以帮助用户规划旅行、测试知识、撰写邮件,还能设计编程游戏,教授编程基础。ChatGPT的主要优点在于其高度的交互性和个性化服务能力,能够根据用户的具体需求提供定制化的解决方案。
AI工具导航是一个为AI从业者和对人工智能感兴趣的用户提供AI工具和资源的平台。它聚集了各种AI工具,包括AI聊天、自然语言处理、绘画和图形处理、机器学习、视频音频制作等,旨在帮助用户提高工作效率和创造力。
puurl是一个AI原生的酒店评论管理平台,通过简化在线声誉管理和提供实时反馈,帮助酒店业主节省时间并更好地关注客人的体验。puurl提供全球范围内的AI驱动的声誉管理解决方案,可帮助酒店提升在线声誉,优化人力资源策略,并实现营销策略的敏捷调整。
Journable是一个饮食和健身日记应用,通过AI聊天界面记录餐食和锻炼。用户可以设定个人健康目标,获得实时的餐食和锻炼分析,并跟踪卡路里摄入和消耗。Journable的优点在于简化了饮食和锻炼追踪的过程,提供个性化的建议和反馈,帮助用户更好地掌控健康。
SAiY™ Generative AI键盘采用创新技术,提供高效和有效的工作流程。它具有许多优点,包括提高打字效率、改善沟通能力等。SAiY的背景信息、定位和价格等详细信息请参考官方网站。
AutoTrain是Hugging Face生态系统中的一个自动化机器学习(AutoML)工具,它允许用户通过上传数据来训练定制的机器学习模型,而无需编写代码。该工具自动寻找最适合数据的模型,并快速部署。它支持多种机器学习任务,包括文本分类、图像分类、问答、翻译等,并且支持所有Hugging Face Hub上的语言。用户的数据在服务器上保持私密,并通过加密保护数据传输。根据用户选择的硬件,按分钟计费。
Supertone Shift是一款桌面客户端软件,利用先进的实时变声技术,让用户能够即时切换到任何选择的声音。它适用于VTuber、内容创作者、游戏玩家以及任何希望准确表达所选角色声音的用户。产品的主要优点包括低延迟、高质量声音转换、无需GPU即可体验,以及易于与Discord、VRChat、Twitch等流行应用集成。