凤凰网科技讯 北京时间6月3日消息，美国宇航局(NASA)周三宣布，计划在2028年至2030年发射两颗金星探测器，以研究这个距离地球最近的行星的大气和地质历史。这是NASA几十年来首次对金星展开探测。
NASA称，将分别为金星探测器DAVINCI+、VERITAS的开发拨款5亿美元。DAVINCI+任务将测量金星稠密大气中的成分，以加快了解它的进化过程；VERITAS则将绘制金星表面地图，以协助确定它的地质历史以及为何它的发展会与地球如此不同。(作者/箫雨)
（举报）
NASA宣布金星探测计划：十年内发射两颗探测器
- 相关推荐
- 大家在看
-
【腾讯云】11.11云上盛惠！云服务器首年1.8折起，买1年送3个月！
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
广告 -
4分钟十年来最长！日全食致北美动物们躁动不安
今年全球唯一一次日全食于北京时间4月9日凌晨在北美洲地区上演。本次日全食最长观测时长超4分钟，是2010年以来最长的一次观测时长。日全食是在地球上的部分地点太阳光被月亮全部遮住的天文现象，是最壮观的天象之一。
-
百惠金控：“国九条”重磅出台 迎来A股资本市场新十年
据《人民网》报道，国务院于4月12日正式发布指导性文件《国务院关于加强监管防范风险推动资本市场高质量发展的若干意见》（下称“国九条”），即第三个“国九条”，为内地资本市场未来十年的发展定下了基调。随后中国证监会及香港交易所分别推出政策，并宣布会落实各项配套支持。作为专业的金融服务机构，百惠金控对新“国九条”的出台表示高度关注，并认为这�
-
沉默数十年：美国外星人绑架案出现新证人 这些生物太先进了
1973年发生在美国密西西比州的外星人绑架事件，因出现了新的目击证人，其神秘和令人费解的情节再次成为公众关注的焦点。事件发生在10月11日，地点位于密西西比州的帕斯卡古拉河畔。头部上有三个类似胡萝卜的东西长在人类鼻子的位置有两个像耳朵一样的结构。
-
户外风口之上：mentech美碳如何抓住下一个黄金十年
2024mentech美碳科技生态大会召开在即，最近的mentech美碳可谓是话题满满，不管是大会邀请函是官方倒计时预热海报，都让人十分期待大会当天的活动内容。距离mentech美碳科技生态大会正式召开还有2日，官方的大会倒计时2日海报也如约至。至于mentech美碳未来还将有哪些值得关注的战略和产品将要发布，敬请期待4月12日的2024年美碳科技生态大会的线上直播吧。
-
遮天蔽日！今年唯一一次日全食正在上演：4分钟破十年来最长
今年全球唯一一次日全食将于北京时间4月9日凌晨在北美洲地区上演。本次日全食最长观测时长超4分钟，是2010年以来最长的一次观测时长。我国上一次看到日全食是2009年7月22日，下一次则是2034年3月20日。
-
十年大成，双王联手！爱玛骁龙亮相《哥斯拉大战金刚2》首映礼，与年轻人玩在一起！
硬刚到底!3月26日，电影《哥斯拉大战金刚2》在北京举行首映礼。爱玛作为影片官方合作伙伴受邀出席，与影片、影迷展开惊喜互动。爱玛骁龙还将走进更多电影院，与更多年轻人见面!在电影宣推期间，爱玛追星音乐节现场、爱玛全国门店也同步布置了电影相关展示专区，关注爱玛会即可赢取联名周边!借势电影热度、差异化的明星产品，也将赋能爱玛终端的进一步热销，在终端掀起抢购热潮!写在最后十年大成，《哥斯拉大战金刚2》在这个春天与数亿影迷见面;二十多年坚守，爱玛以时尚的态度、科技的创新，打破传统思维，让爱玛的时尚科技好车成为了几亿人的出行选择!各自成王，顶峰相见，期待爱玛与《哥斯拉大战金刚2》碰撞出更多惊喜!注:※爱玛x哥斯拉大战金刚2联名车为概念车，不用于售卖和抽奖，仅供展示使用;※【氮气加速】氮气加速模式每隔90秒方可再次使用;使用氮气加速对续航里程、电机和控制器消耗较大，故不建议频繁连续使用。
-
等了几十年 梦圆了！美国真正意义上的第一条高铁开工：时速300公里
当地时间4月22日，美国洛杉矶至拉斯维加斯高速铁路西部光明线”正式开工，总投资120亿美元，其中联邦政府投资30亿美元。从拉斯维加斯南部到洛杉矶郊区库卡蒙加牧场，新铺设350公里的高铁轨道，预计时速300公里，计划2028年洛杉矶夏季奥运会之前投入运营。美国汽车保有量极高，高速公路四通八达大多免费或者收费极低；土地私有制导致征地拆迁非常困难，容易受到当地政府的抵制。
-
感谢每位车主！特斯拉入华十年：车主数量从15到170万 李想、李斌等都在其中
正式迎来了在华十周年，并向每位车主表示衷心的感谢。特斯拉目前在中国已拥有超过170万名车主其全球用户总数更是达到了600万。2019年12月30日，特斯拉在上海工厂正式向员工车主交付国产Model3，标志着特斯拉在中国市场的进一步发展。
-
Redmi新十年手机全阵容揭晓：四大系列！新增中端旗舰
Redmi今天正式官宣了全新系列RedmiTurbo3。RedmiTurbo3是Redmi新十年新系列的首款力作，也是一个全新的开端。Turbo系列的首款作品RedmiTurbo3将于本月发布，首批搭载了高通骁龙8sGen3平台，性能超过骁龙8Gen2。
-
联想40周年 杨元宣布下一个十年的重大方向：引领人工智能变革
今天，联想集团2024/2025财年誓师大会在北京举行，董事长兼CEO杨元庆宣布了联想新十年的使命，下一个十年，我们将继续自主创新，加速转型，增加就业，扩大出口，贡献企业社会价值，完成引领人工智能变革的新使命。”官方表示，回顾过去的一年，联想已经稳健地穿越行业周期并成功恢复增长，同时又迎来了人工智能变革的巨大机遇这一切又恰好发生在联想成立40周年的时刻，今天的誓师大会正是沙场春点兵”，向着联想的第五个十年吹响集结号的时刻。联想在人工智能时代自研自创的路线图，将沿着3S的战略路径，加速AI，深化转型，利用最新的人工智能技术，特别是生成式人工智能技术，推动所有业务转型，创建混合式人工智能的未来，引领横跨智能设备、智能基础设施、智能解决方案及服务的智能化变革。
-
Continue:一个开源的IDE扩展，旨在提升AI软件开发系统的模块化和可进化性。
Continue是一个专为软件开发者设计的开源IDE扩展，它通过提供自动化和智能化的工具来加速AI软件的开发流程。它允许开发者在构建软件时保持流畅的工作状态，通过插件和系统整合，轻松开始并加速开发过程。Continue支持多种编程语言的代码自动完成，提供代码段的重写功能，并允许通过自然语言指令来优化代码。它还支持与多种AI模型和开发环境的整合，使得开发者能够构建一个随着新功能出现而进化的软件系统。
-
Cohere Toolkit:是一套开源的AI应用程序开发工具包，旨在加速开发并部署到云平台。
Cohere Toolkit是一个开源的AI应用程序开发工具包，它提供了一套生产就绪的应用程序，可以在云服务提供商上部署。这些应用程序可以访问Cohere的Command、Embed和Rerank模型，并且可以连接到企业数据和特定团队，以提高生产力。该工具包包含用于构建独特应用程序并可扩展部署的组件。
-
Bunny:轻量级但功能强大的多模态模型家族。
Bunny 是一系列轻量级但功能强大的多模态模型，提供多种即插即用的视图编码器和语言主干网络。通过从更广泛的数据源进行精选选择，构建更丰富的训练数据，以补偿模型尺寸的减小。Bunny-v1.0-3B 模型在性能上超越了同类大小甚至更大的 MLLMs（7B）模型，并与 13B 模型性能相当。
-
llava-llama-3-8b-v1_1:一款由XTuner优化的LLaVA模型，结合了图像和文本处理能力。
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是一种零样本人类视频生成方法，能够在不需要进一步训练的情况下，根据单个参考面部图像进行个性化视频生成。该技术继承了现有的基于扩散的视频生成框架，并加入了面部适配器以编码与身份相关的嵌入。通过这种方法，ID-Animator能够在视频生成过程中保持人物身份的细节，同时提高训练效率。
-
HiDiffusion:，解锁预训练扩散模型中的高分辨率创作与效率。
HiDiffusion是一个预训练扩散模型，通过仅添加一行代码即可提高扩散模型的分辨率和速度。该模型通过Resolution-Aware U-Net (RAU-Net)和Modified Shifted Window Multi-head Self-Attention (MSW-MSA)技术，动态调整特征图大小以解决对象复制问题，并优化窗口注意力以减少计算量。HiDiffusion能够将图像生成分辨率扩展到4096×4096，同时保持1.5-6倍于以往方法的推理速度。
-
Snowflake Arctic:高效的企业级人工智能模型，低成本实现高质量定制模型。
Snowflake Arctic 是一款专为企业级人工智能任务设计的大规模语言模型（LLM），它在 SQL 生成、编码以及指令遵循等基准测试中表现出色，即使与计算预算更高的开源模型相比也毫不逊色。Arctic 通过其高效的训练和推理，为 Snowflake 客户以及广大 AI 社区提供了一种成本效益极高的定制模型创建方式。此外，Arctic 采用 Apache 2.0 许可，提供无门槛的权重和代码访问，并通过开源数据配方和研究洞察，进一步推动了社区的开放性和成本效益。
-
OpenVoice V2:是一款支持多语言的语音合成模型，提供高质量的语音克隆与风格控制功能。
OpenVoice V2是一款文本到语音（Text-to-Speech, TTS）的模型，它在2024年4月发布，包含了V1的所有功能，并进行了改进。它采用了不同的训练策略，提供了更好的音质，支持英语、西班牙语、法语、中文、日语和韩语等多种语言。此外，它还允许商业用途的免费使用。OpenVoice V2能够精确地克隆参考音调色彩，并在多种语言和口音中生成语音。它还支持零样本跨语言语音克隆，即生成语音的语言和参考语音的语言不需要在大规模多语种训练数据集中出现。
-
超会 AI:AI 驱动的爆款内容制造机，提供图片生成、文案生成、带货图文生成，帮助企业智能生产商品内容，提高流量与销售额。
超会 AI 是一款基于人工智能的爆款内容制造机，能够以 10 倍速度智能生产商品内容和自动化营销，帮助企业提高流量和销售额。产品背景信息丰富，价格适中，定位于为企业提供内容制造和营销解决方案。
-
OpenELM:是一套高效的语言模型家族，具备开源训练和推理框架。
OpenELM是由苹果公司开发的语言模型家族，旨在为开源研究社区提供先进的语言模型。这些模型基于公开可用的数据集训练，不提供任何安全保证，可能产生不准确、有害、有偏见或令人反感的输出。因此，用户和开发者需要进行彻底的安全测试，并实施适当的过滤机制。
-
豆绘商拍:专业 AI 商品图和服装图生成工具
豆绘商拍是一款利用先进 AI 技术提供商品图和服装图生成服务的工具，能快速实现抠图、背景更换和模特换脸等功能，帮助企业提升品牌形象和市场竞争力。
-
Intellisay:使用你的声音创建一个最佳的每日计划，通过语音轻松创建任务和事件。
intellisay是一个通过语音输入创建每日计划的生产力工具。它使用人工智能技术，将语音转录和分析，然后提供一个优化的计划来实现成功。它能够帮助用户节省时间，从而更高效地完成任务。该产品背后的主要优点是快速设置和使用，以及跟踪任务和习惯的能力。
-
Grimo AI:是一个结合Obsidian、Github和Quora的平台，可以构建、增长和整理知识。将分享的见解分叉到你的仓库中，或从YouTube或Twitter导入内容。
Grimo AI是一个帮助用户构建、增长和整理知识的平台。它集合了Obsidian、Github和Quora的优点，提供了简单易用的界面和功能。用户可以通过查询获取来自任何人、任何地方的见解，并将这些见解分叉到自己的工作区。Grimo AI的核心优点包括：1. 将知识整理成精华；2. 从任何地方学习；3. 构建一个强大的知识社区。Grimo AI的定位是帮助用户更高效地获取和组织知识。
-
Bland AI:Bland是用于构建规模化AI电话呼叫应用程序的基础架构。
Bland是一个用于构建AI电话呼叫应用程序的平台，它提供了简单易用的API接口，使开发者能够轻松地创建自己的智能电话代理。Bland的主要优点是快速搭建和部署，可扩展性强，同时提供了丰富的文档和支持。无论是用于销售呼叫中心、客服代理、营销自动化还是其他领域，Bland都能帮助企业提高效率，节省时间和资源。
-
Cici, browser AI assistant:GPT强化的网页和视频的内联翻译及快速摘要
Cici是您的AI朋友和浏览器助手。她可以回答您的问题，摘要网页内容，提供快速的词语翻译，并执行智能搜索。她可以为您做到这一切。
-
MVSEP:能够将音频中的语音和音乐部分分离。
MVSEP是一款在线音频处理工具，利用先进的音频分离技术可将音乐和语音从音频文件中分离出来，适用于音乐制作、音频编辑、广播、电影后期制作等领域。优点包括高质量的音频输出、快速的处理速度和用户友好的操作界面。提供不同模型选择。
-
NovaMSS:基于AI的新一代音乐源分离工具，一键提取伴奏、人声等。
NovaMSS是一款基于最顶级的AI模型调优后的新一代音乐源分离工具，可以一键提取伴奏、人声、贝斯、鼓点、分离音轨等。它的强大算法基于MSS领域最顶级的算法，并经过上千首歌曲的训练与调优，实现音轨分离的高效率和高质量。产品提供简单易用的界面，支持多种音频格式，包括MP3、Flac、Wave、AIFF等，并且支持批量上传和处理，内置音频播放器，方便用户即时查看分离结果。此外，产品分为社区版和专业版，社区版永久免费，而专业版提供更专业的算法模型和更高品质的音频输出格式。
-
ChatMIX智能对话-AIGC系统:一款集成AI技术的智能对话系统，提供多语言翻译、编程代码生成等功能。
ChatMIX智能对话-AIGC系统是一款利用人工智能技术构建的在线聊天系统，旨在通过AI技术提升用户交互体验。产品支持智能翻译、工作周报生成、编程代码编写等功能，满足用户在不同场景下的需求。它的优势在于能够快速响应用户指令，提供准确、高效的服务，同时具备良好的用户界面和操作体验。
-
AI对话鸭:一键发起AI机器人对话，集成多款国产大模型。
AI对话鸭是一个领先的AI聊天对话平台，它集成了多款国产大模型，提供了丰富的对话场景和功能，满足不同用户的需求。该平台以其高效的对话生成能力和多样的应用场景，在提高工作效率和娱乐互动方面具有显著优势。
-
讯飞A.I.智能客服解决方案:基于科大讯飞语音技术，实现智能客服的多渠道解决方案。
A.I.智能客服解决方案是科大讯飞基于其先进的语音技术，为企业提供的一套完整的客户服务系统。该系统通过电话、Web、APP、小程序、自助终端等多种渠道，实现智能外呼、智能接听、语音导航、在线文字客服、质检分析、坐席辅助等功能。它通过高识别率的语音识别引擎、自然流畅的语音合成技术、智能打断能力、IVR导航以及客服平台中间件等技术，帮助企业提高客服效率，降低人力成本，同时提升客户服务体验。