“祝融号”火星车行驶超400米。据中国探火工程官方微博@天问一号祝融火星车 刚刚发微博称，大家好，转眼进入了一年中最热的季节，而我也在如火如荼当好打工人，现在就来向大家汇报一下阶段性状态吧:截至7月11日20:00，我累计在火星表面行驶了410.025米，工作状况一切正常!天问一号环绕器在轨工作353天，工作状况一切正常!地火距离3.707亿千米，光行时20分36秒。
2020年7月23日，中国首次火星探测任务“天问一号”火星探测器成功发射入轨，2021年5月17日，“祝融号”火星车首次通过环绕器传回遥测数据，2021年5月22日，火星车安全驶离着陆平台，到达火星表面，开始巡视探测。
“祝融号”火星车驶上火星表面以来，向南行驶开展巡视探测，火星车要完成的科学探测任务有:火星巡视区形貌和地质构造探测，火星巡视区土壤结构（剖面）探测和水冰探查，火星巡视区表面元素、矿物和岩石类型探查，以及火星巡视区大气物理特征与表面环境探测。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
快科技4月14日消息，据中国海油”官微发文，我国首口自主设计实施的超深大位移井恩平21-4油田A1H井在珠江口盆地海域顺利投产，测试日产原油超700吨。据悉，该井钻井深度9508米，水平位移8689米，成为我国海上第一深井，同时创造我国钻井水平长度纪录，标志着我国成功攻克万米级大位移井技术瓶颈，海上超远超深钻井技术水平跨入世界前列。恩平21-4油田位于深圳西南方约200公里的海域，其平均水深约86米，是一个小型砂岩边际油田。过去，对于这类油田的开发往往因为技术难度和经济效益问题而备受困扰。然而，通过采用超深大位移井技术，中国
快科技4月4日消息，据航空工业集团消息，西飞民机自主研发的航空无人运输系统验证机HH-100”，近日陆续顺利完成了低速、中速、高速自主滑行试验，以及数据采集、控制律调参。各项试验中，飞机平台状态稳定，自主滑行控制性能良好。目前，整个滑行试验已经完成，接下来将进入首飞阶段。HH-100航空无人运输系统采用主机＋供应商＋战略合作伙伴”的研制模式，机体结构、系统成品等由航空工业内部单位和民营企业配套。2021年9月项目立项，2022年7月完成初步设计，2022年12月完成详细设计，2023年12月完成总装集成，转入地面试验。HH-100飞机最
2023年4月17日，昆仑万维发布自研双千亿级大语言模型「天工1.0」正式奠定了国产大模型崛起之路。「天工3.0」也是全球首个多模态“超级模型”，其集成了AI搜索、AI写作、AI长文本阅读、AI对话、AI语音合成、AI图片生成、AI漫画创作、AI图片识别、AI音乐生成、AI代码写作、AI表格生成等多项能力，是大模型时代的“超级应用”。“超级模型”的概念诞生于“超级应用”。
快科技4月11日消息，理想汽车公布了即将上市的全新中大型五座SUV车型L6的部分信息，表示该车历经超过3年研发，专门为年轻家庭打造。具体来看，L6长度4925毫米，宽度1960毫米，高度1735毫米，而轴距为2920毫米，配备了前双叉臂、后五连杆独立悬架，行李厢进深超1米，同时还拥有第二排座椅一键电动翻折和复位功能。官方表示，虽然L6是最小的理想，但其配备了最长的星环灯�
在即将到来的2024年4月17日，也就是「天工」大模型一周年之际，昆仑万维宣布「天工3.0」正式开启公测!这一版本采用了4千亿级参数的MoE混合专家模型，并将选择开源，是全球模型参数最大、性能最强的MoE模型之一。「天工3.0」相较于上一代的「天工2.0」MoE大模型，在模型语义理解、逻辑推理、通用性、泛化性、不确定性知识、学习能力等方面都有惊人的性能提升。用户可以在4月17日下载新版的“天工AI助手”App，来体验超级模型的震撼AI功能。
小米汽车发布会吸引了无数目光，雷军亲自官宣小米SU7的售价——21.59万元起，并明确表示该车将全面对标特斯拉及保时捷这两大汽车巨头。在小米SU7火爆登场的同时，我们也注意到了一个有趣的现象:众多企业纷纷抢注与小米SU7相关的商标，如“米时捷”、“保时米”等。这种谦虚自信的态度，无疑为小米SU7的未来发展注入了强大的动力。
一家电竞酒店的经营方向警方报案，称有顾客投诉酒店的电脑性能太差，体验游戏时感觉就像是在观看幻灯片”。经过酒店技术人员的检查，发现原本价值约5000元的RTX4070显卡被偷换成仅值200元的二手GTX960显卡。余某承认了自己的行为，他发现自己可以趁电竞酒店的电脑配件较为高档，便用低价的二手硬件进行偷换，然后将盗得的高价硬件在网上出售以谋取非法利益。
在2024年3月22日，《龙之信条2》正式上线Steam了。该作继承并扩展了其前作《龙之信条》的核心理念，是由Capcom开发的一款动作角色扮演游戏。配合影驰GeForceRTX4070SUPER星曜OC优异的性能，相信玩家们可以在这个中世纪开放世界中，获得最优异的游戏体验，感受一把当“屠龙少年”的精彩冒险。
华为发布2023年成绩单，去年华为共实现营收7042亿元，净利润870亿元。ICT基础设施业务保持稳健，终端业务表现符合预期，云计算和数字能源业务实现了良好增长，智能汽车解决方案业务开始进入规模交付阶段。华为轮值董事长胡厚崑表示，2023年华为整体经营情况符合预期。
京台高速公路上演了一幕出人意料的剧情：一名司机在高速驰骋时，竟然让价值不菲的银锭从车上滑落，散落一地。这批银锭总重超过400斤，价值高达惊人的80万元，犹如一笔“飞来横财”般洒落在路面。这起事件也再次提醒我们，驾驶时一定要保持警惕，确保行车安全，避免类似意外的发生。
ChatGPT 检测器是一个用于检查论文是否由 AI 生成的工具。它通过分析文本中每个词的可预测性来判断文本的真实性，帮助用户识别人工写作与机器生成的文本。该工具的主要优点在于免费、准确、适合学生使用，提供详细的文本分析。
PlagScan 是一款一流的查重软件，被机构广泛使用，可自动确保文档的原创性。它通过检测文档中的相似内容，帮助用户避免抄袭问题。
Crossplag 是专注于查重的综合工具，提供超过 100 种语言的单语言和翻译查重功能。用户可以全面控制数据，确保原创性并保护数据隐私。
音子 AI 是一款在线音轨分离解决方案，用户可上传音频或视频文件，立即获取独立的人声和伴奏文件。该产品基于人工智能技术，提供高效的音轨提取功能。
Lyrebird Health通过AI技术监听、学习并生成医疗文档，帮助医生在几秒钟内轻松生成记录和文档。它可以学习医生的风格和用词，并根据需要生成各种文档。Lyrebird Health还提供数据加密和隐私保护，以及定制化的记录风格和语言。
风平 IP 智造平台是基于 AIGC 的智能化 IP 打造平台，致力于提供虚拟数字人定制、AI 短视频内容生产和数字人直播的一站式解决方案。通过结合领先的 AI 技术，平台实现了数字人的高质量生产和互动能力，为用户打造全新的数字人 IP 体验。
赛灵力虚拟数字人工厂致力于 2D 虚拟人、3D 虚拟人、声音克隆等 AI 技术探索和产业应用，为企业、政府、个人提供虚拟数字人 AI 视频创作、个人形象定制、声音定制、智能语音合成等服务。
硅基智能是一款数字化虚拟人与 AI 技术相结合的产品，主要应用于智能交互领域。其主要优点包括领先的 AI 技术、智能交互体验、商业化场景应用等。
星火网文助手是一款 AI 创作辅助工具，提供创作灵感、润色续写等功能，帮助作家更高效地写作。背靠强大的 AI 技术支持，定位于提升小说写作体验，提高作品质量。
商汤日日新 SenseNova 大模型体系提供多种大模型及能力，助力各行业智能化创新，以大算力引领通用人工智能发展。
Khroma 利用人工智能学习您喜欢的颜色，并为您创建无限的调色板，帮助您快速发现、搜索和保存色彩组合。Khroma 的个性化算法训练神经网络，生成您喜欢的颜色，过滤您不喜欢的颜色。同时，还可以搜索和保存颜色组合，并获取颜色名称、hex 代码、RGB 值、CSS 代码以及 WCAG 辅助功能评分。
笔灵 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进行了微调。该模型专为图像和文本的结合处理而设计，具有强大的多模态学习能力，适用于各种下游部署和评估工具包。
