凤凰网科技讯 1月24日消息，天眼查App显示，近日，乐视汽车（北京）有限公司新增一条被执行人信息，执行标的211万余元，被执行人还包括法乐第（上海）汽车科技有限公司，执行法院为上海市嘉定区人民法院，关联案件为上海国际汽车城发展有限公司与上述两公司相关房屋租赁合同纠纷。这是该公司今年以来第二次成为被执行人。
据了解，1月10日，乐视汽车（北京）有限公司增加两条恢复执行信息，执行标的共计 152.48 万元，执行法院为北京市朝阳区人民法院。执行标的共计 152.48 万元，执行法院为北京市朝阳区人民法院。
乐视汽车（北京）有限公司成立于2014年7月，法定代表人刘秋萍，股权穿透图显示，该公司由法法汽车（中国）有限公司、乐视致乐科技（北京）有限公司共同持股，疑似实际控制人为FF Hong Kong Holding Limited。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
滕先生接到了前同事郭某的电话，电话里传来了一个令人欣喜的消息——郭某的儿子考上了军校。滕先生毫不犹豫地表示祝贺，并随后为支持这位老同事，借给了郭某几万元以资助其儿子的学费。这一事件再次提醒我们，在借钱给他人时，一定要谨慎核实对方的真实情况，避免被不法分子利用。
严女士在2023年6月收到了一家公司的入职通知，通知中明确她已被录用为财务主管。然而，在入职准备过程中，公司要求她提供人绒毛膜促性腺激素（HCG）的检查报告，这一检查通常用于判断是否怀孕。在按照要求进行检测后，严女士意外地发现自己已经怀孕，于是她立即向公司告知了这一情况。然而，事情的发展出乎严女士的意料。几天后，公司突然通知她因内部规划调整，
邓某某在路上行走时突然被一只从高空飞落的公鸡砸伤。邓某某发现公鸡的饲养人黄某未采取必要的安全措施，导致公鸡飞出阳台撞伤他人，因此要求黄某承担责任并赔偿损失。根据法院的判决，公鸡伤害他人的责任应由公鸡的饲养人承担，并需要对受害者进行赔偿。
昨晚的小米SU7发布会上，雷军透露了销售网络的布局。雷军表示：首批销售网点已覆盖全国29个城市，包括59家销售门店、17个限时展厅和58家服务中心。小米汽车采用了600kW液冷超充方案，首批规划城市为北京、上海和杭州。
据南京日报官微介绍，作为江苏省重大计划开发项目、南京市名企落户计划重点工程，小米集团华东总部将于5月初启用。届时预计5000人入驻办公，将成为除小米北京总部外全国最大的研发中心。预计三年内将达到5000人规模，五年力争突破10000人。
快科技4月2日消息，据国内媒体报道，小米汽车因其热销产品SU7而要求供应商提高产能至每月1万辆（高配版车型被要求重点增加产能）。有第三方数据显示，截至4月2日凌晨，小米SU7的锁单量已达4万辆，远超预期。据悉，小米原计划是到今年3月月产超3000辆，4月爬坡到4000-5000辆，之后月产能稳定到6000辆水平。但现面临交付周期延长的问题。若按照此前的生产计划，小米SU7的交付周期只能不断延长。对此，小米汽车回应称，公司正全力提升产能、加快交付。雷军此前透露，小米汽车量产车交付第一年的销售目标为10万辆，并进入行业第一阵营；通过15
小米汽车在3月28日的发布会上宣布了首款车型小米SU7的起售价，标准版价为21.59万元，Pro版本售价为24.59万元，Max版本为29.99万元。针对4月30日前大定用户提供冰箱、音响、座椅和小米智驾Pro赠送，实际起售价为18.19万元。整个发布会展示了小米对汽车行业的敬畏和雄心，为未来的竞争奠定了基础。
让外界期待已久的小米汽车SU7于3月28日正式亮相，然最终定价却让不少人稍感意外，标准版售价21.59万元略高于预期的19.99万元。小米集团董事长兼CEO雷军表示，未来十年将是智能化的十年SU7将以智驾智舱生态为竞争制高点。作为新生的品牌，小米汽车SU7能否在市场上获得认可，唯有时间来见证。
4月12日，英特尔极限大师赛于成都开赛，宏碁中国区总经理暨执行董事蓝绍文先生出席了本次活动。宏碁作为IEM全球独家PC合作伙伴，携手英特尔将本届赛事落地成都，在为期3天的赛程中，将会有来自全球不同国家和地区的16支顶级《CS2》的战队角逐25万美元的总奖金。欢迎您参访宏碁的官方网站www.acer.com了解更多讯息。
今晚，小米汽车首款车型小米SU7正式上市发布，新车提供SU7、SU7Pro、SU7Max三款车型，售价分别为21.59万元、24.59万元、29.99万元。三款车型主要区别如下：小米SU7零百加速5.28s，700kmCLTC续航，73.6kWh刀片电池。智驾：XiaomiPilotMax激光雷达，508TOPS算力，城市领航。
笔灵 AI 写作是一款专业的 AI 论文写作助手，通过人工智能技术帮助用户撰写高质量的论文。其主要优点包括快速生成论文大纲、节省写作时间、提供各类论文模板和服务。产品定位于提高论文写作效率和质量，适用于学生、研究人员等写作需求。
IDM-VTON是一种新型的扩散模型，用于基于图像的虚拟试穿任务，它通过结合视觉编码器和UNet网络的高级语义以及低级特征，生成具有高度真实感和细节的虚拟试穿图像。该技术通过提供详细的文本提示，增强了生成图像的真实性，并通过定制方法进一步提升了真实世界场景下的保真度和真实感。
PhotoMagic 是一款使用人工智能技术的图片处理工具，通过简单操作即可快速生成商业级图片。其主要优点包括快速高效、大幅降低图片处理成本，定位于帮助用户在电商等场景下快速生成吸引人的图片。
京东羚珑是一站式内容生产与管理服务平台，提供商品主图设计、广告 banner 设计、店铺首页设计等功能。其主要优点包括丰富的模板选择、免费设计服务、高效便捷的操作流程。产品定位于为商家提供设计合作伙伴服务。
Overleaf 是基于 LaTeX 的在线协作编辑器，无需安装，支持实时协作、版本控制、数百种 LaTeX 模板等。适用于科学和技术领域的文档写作。
Continue是一个专为软件开发者设计的开源IDE扩展，它通过提供自动化和智能化的工具来加速AI软件的开发流程。它允许开发者在构建软件时保持流畅的工作状态，通过插件和系统整合，轻松开始并加速开发过程。Continue支持多种编程语言的代码自动完成，提供代码段的重写功能，并允许通过自然语言指令来优化代码。它还支持与多种AI模型和开发环境的整合，使得开发者能够构建一个随着新功能出现而进化的软件系统。
Cohere Toolkit是一个开源的AI应用程序开发工具包，它提供了一套生产就绪的应用程序，可以在云服务提供商上部署。这些应用程序可以访问Cohere的Command、Embed和Rerank模型，并且可以连接到企业数据和特定团队，以提高生产力。该工具包包含用于构建独特应用程序并可扩展部署的组件。
Bunny 是一系列轻量级但功能强大的多模态模型，提供多种即插即用的视图编码器和语言主干网络。通过从更广泛的数据源进行精选选择，构建更丰富的训练数据，以补偿模型尺寸的减小。Bunny-v1.0-3B 模型在性能上超越了同类大小甚至更大的 MLLMs（7B）模型，并与 13B 模型性能相当。
llava-llama-3-8b-v1_1是一个由XTuner优化的LLaVA模型，它基于meta-llama/Meta-Llama-3-8B-Instruct和CLIP-ViT-Large-patch14-336，并通过ShareGPT4V-PT和InternVL-SFT进行了微调。该模型专为图像和文本的结合处理而设计，具有强大的多模态学习能力，适用于各种下游部署和评估工具包。
ID-Animator是一种零样本人类视频生成方法，能够在不需要进一步训练的情况下，根据单个参考面部图像进行个性化视频生成。该技术继承了现有的基于扩散的视频生成框架，并加入了面部适配器以编码与身份相关的嵌入。通过这种方法，ID-Animator能够在视频生成过程中保持人物身份的细节，同时提高训练效率。
HiDiffusion是一个预训练扩散模型，通过仅添加一行代码即可提高扩散模型的分辨率和速度。该模型通过Resolution-Aware U-Net (RAU-Net)和Modified Shifted Window Multi-head Self-Attention (MSW-MSA)技术，动态调整特征图大小以解决对象复制问题，并优化窗口注意力以减少计算量。HiDiffusion能够将图像生成分辨率扩展到4096×4096，同时保持1.5-6倍于以往方法的推理速度。
Snowflake Arctic 是一款专为企业级人工智能任务设计的大规模语言模型（LLM），它在 SQL 生成、编码以及指令遵循等基准测试中表现出色，即使与计算预算更高的开源模型相比也毫不逊色。Arctic 通过其高效的训练和推理，为 Snowflake 客户以及广大 AI 社区提供了一种成本效益极高的定制模型创建方式。此外，Arctic 采用 Apache 2.0 许可，提供无门槛的权重和代码访问，并通过开源数据配方和研究洞察，进一步推动了社区的开放性和成本效益。
OpenVoice V2是一款文本到语音（Text-to-Speech, TTS）的模型，它在2024年4月发布，包含了V1的所有功能，并进行了改进。它采用了不同的训练策略，提供了更好的音质，支持英语、西班牙语、法语、中文、日语和韩语等多种语言。此外，它还允许商业用途的免费使用。OpenVoice V2能够精确地克隆参考音调色彩，并在多种语言和口音中生成语音。它还支持零样本跨语言语音克隆，即生成语音的语言和参考语音的语言不需要在大规模多语种训练数据集中出现。
超会 AI 是一款基于人工智能的爆款内容制造机，能够以 10 倍速度智能生产商品内容和自动化营销，帮助企业提高流量和销售额。产品背景信息丰富，价格适中，定位于为企业提供内容制造和营销解决方案。
OpenELM是由苹果公司开发的语言模型家族，旨在为开源研究社区提供先进的语言模型。这些模型基于公开可用的数据集训练，不提供任何安全保证，可能产生不准确、有害、有偏见或令人反感的输出。因此，用户和开发者需要进行彻底的安全测试，并实施适当的过滤机制。
豆绘商拍是一款利用先进 AI 技术提供商品图和服装图生成服务的工具，能快速实现抠图、背景更换和模特换脸等功能，帮助企业提升品牌形象和市场竞争力。
intellisay是一个通过语音输入创建每日计划的生产力工具。它使用人工智能技术，将语音转录和分析，然后提供一个优化的计划来实现成功。它能够帮助用户节省时间，从而更高效地完成任务。该产品背后的主要优点是快速设置和使用，以及跟踪任务和习惯的能力。
Grimo AI是一个帮助用户构建、增长和整理知识的平台。它集合了Obsidian、Github和Quora的优点，提供了简单易用的界面和功能。用户可以通过查询获取来自任何人、任何地方的见解，并将这些见解分叉到自己的工作区。Grimo AI的核心优点包括：1. 将知识整理成精华；2. 从任何地方学习；3. 构建一个强大的知识社区。Grimo AI的定位是帮助用户更高效地获取和组织知识。
Bland是一个用于构建AI电话呼叫应用程序的平台，它提供了简单易用的API接口，使开发者能够轻松地创建自己的智能电话代理。Bland的主要优点是快速搭建和部署，可扩展性强，同时提供了丰富的文档和支持。无论是用于销售呼叫中心、客服代理、营销自动化还是其他领域，Bland都能帮助企业提高效率，节省时间和资源。
Cici是您的AI朋友和浏览器助手。她可以回答您的问题，摘要网页内容，提供快速的词语翻译，并执行智能搜索。她可以为您做到这一切。
