5月24日晚，小米米家冰箱对开门610L发布，墨羽岩金属面板，预售已经开启，原价2799元，100元定金尾款立减300元，到手价2499元。
冰箱设计为双变频一级能效，1天0.99度电，风冷无霜，银离子抗菌净味，36分贝低噪音，90度开门，层架高度可调，可连接米家APP，支持小爱同学。
610L空间，其中冷冻室227L，冷藏室383L，20格分区，4+4门搁架，支持双排摆放，加深大容量，
用料方面，门体9层打磨，4个温度传感器，压缩机10年质保，顶置LED照明光线柔和不刺眼，LED触控面板，4种制冷模式等。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
今日，音频品牌水月雨发布旗下首款手机MIAD01全网通5GHIFI手机，售价2499元，将于4月25日开售。水月雨MIAD01定位5G移动互联网音频终端”高保真流媒体音乐播放器”。核心配置上，水月雨MIAD01采用6.7英寸OLED曲面屏，分辨率为1080P，支持120Hz高刷新率、1920Hz护眼高频调光，搭载天玑7050处理器，后置6400万像素双摄，运行类原生安卓系统内置5000mAh电池，支持33W快充，平衡输出可连续播放音乐27小时，支持2TBMicroSD卡扩展。
2024年4月10日，在小米公司举行的手机新品发布会上，同时发布了小米全新超一级能效米家空调Pro系列产品，将空调节能以及舒适体验推向全新高度。是用户在选择空调时候最看重的参数之一。米家空调巨省电Pro4月10日20点正式上市，首发价2399，米家空调新风Pro4月10日20点正式上市，首发价3399，有兴趣的朋友可以前往各大电商平台以及小米之家进行体验以及选购，在炎热的酷暑来临前，选择米家空调Pro系列，带来清凉一夏。
据华为官方介绍，华为Pura70、Pura70Pro两款机型将在今天上午10:08正式开售，起售价5499元。华为Pura70系列四款机型全部上市。值得注意的是，华为Pura70标准版不支持任何形式的卫星通信，同时也不支持星闪。
小米公司最新推出的米家直流变频落地扇Pro，该产品预计将于5月15日正式发售，特惠首发价为399元。米家直流变频落地扇Pro以其超薄设计脱颖出，厚度仅为8.7厘米，便于随时收纳并配有耐用的EPP材质收纳箱，确保了便携性的同时，也不会占用过多空间。米家直流变频落地扇Pro还支持小爱同学语音操控，用户可以通过与之连接的米家App，自由定制自然风曲线的风速和循环周期，智能控制更加人性化。
据小米汽车官方消息，此前发布会上推出的爆火周边小米SU7合金车模、小米Life不锈钢马克杯今天上午10点再次开售。两款产品此前都非常火爆，供不应求，官方售价分别是499元、79元。值得注意的是，此前官方曾透露，小米SU7车模的新颜色正在研发中，预计不久后就会推出霞光紫等热门的SU7配色。
据华为终端官方消息，华为今天推出了“HUAWEIPura70系列先锋计划”。Pura70系列共有四款机型，分别为18日开售的Pura70Ultra和Pura70Pro，起售价为6499元，另外两款Pura70和Pura70Pro将在4月22日10:08发售，起售价5499元。超聚光影像系统结合XDMotion运动引擎，可以捕捉300km/h的超高速运动瞬间。
华为即将发布的Pura70系列备受期待，官方旗舰店已开始接受电话通知预订。原计划于3月底发布的P70系列取消了发布会，启动了先锋计划，代理商在清明假期期间待命，准备随时开售。华为Mate60售价从5499元起，Mate60Pro售价从6499元起，Mate60Pro售价从8999元起，Mate60RS非凡大师版售价从11999元起。
中关村在线消息：4月18日上午10点，华为Pura70系列全系上架华为官方商城，包括华为Pura70、华为Pura70Pro、华为Pura70Pro、华为Pura70Ultra四个版本，四款产品的详情页面也已经上线，起售价分别为5499元、6499元、7999元、9999元。指的注意的是，华为Pura70Ultra的影像配置比较特殊，搭载了超聚光伸缩摄像头，每次相机开启都仪式感十足，并保证30万次伸缩无忧、2米IP68防尘防水等等。目前首批Pura70系列先锋开售已经售罄，感兴趣的用户可以锁定4月22日上午10:08，届时还有Pura70Pro、Pura70版本将先锋开售。
Redmi今天还发布了全新的100英寸巨屏电视RedmiMAX1002025款。首发售价仅需8999元，相比上一代发布19999元的价格实现腰斩，将极大的推动巨屏电视普及。蓝牙遥控器自带NFC功能，可一碰投屏，使用更方便。
今天上午10:08，华为Pura70、Pura70Pro两款机型正式开售，起售价5499元。华为P7012256GB5499元、12512GB5999元、12GB1TB6999元，有羽纱黑、雪域白、樱玫红、冰晶蓝四款配色可选，后壳采用玻璃材质。后置三摄分别为5000万像素超聚光摄像头、1250万像素超广角摄像头4800万像素超聚光微距长焦摄像头，支持超高速风驰闪拍、超巨光微距长焦拍摄等。
Tiempo 是由前Facebook员工Victor和Vlad创立的AI伴侣，利用人工智能技术帮助用户在上网时集中注意力并避免分心。这个简单的工具可以让您专注于目标，确保在线的每一分钟都富有成效。Tiempo的使命是重新将计算机和手机定位为提高生产力的工具。目前，这款Chrome扩展插件对所有用户免费，同时收集用户反馈以优化产品。
Red Hat Enterprise Linux AI 是一个基于开源的模型平台，旨在无缝地开发、测试和运行企业级应用的大型语言模型（LLMs）。它结合了开源许可的IBM Granite LLMs、InstructLab模型对齐工具、Red Hat Enterprise Linux的可启动镜像以及Red Hat提供的技术支持和模型知识产权保障。该平台支持跨混合云环境的可移植性，并能与Red Hat OpenShift® AI集成，进一步推进企业AI开发、数据管理和模型治理。
即梦Dreamina是一款结合了AI技术的在线创作平台，它通过图片生成、智能画布和视频生成等功能，帮助用户将创意转化为视觉作品。该产品的主要优点在于简化了设计流程，使得非专业人士也能创作出高质量的图片和视频。产品背景信息显示，它由深圳市脸萌科技有限公司开发，定位于为广大创意工作者提供便捷的设计服务。目前产品提供免费试用，具体价格信息未在页面中明确。
Project Bernini 是 Autodesk 研究项目，旨在开发用于设计和制造行业的生成式人工智能。该模型能够从多种输入（包括 2D 图像、文本、体素和点云）快速生成功能性的 3D 形状。Bernini 模型专为专业几何工作流程设计，可以生成给定输入的多个功能性变体。Autodesk 致力于创建可以用于建筑、产品设计、娱乐等多个用例的生成模型，专注于生成功能性 3D 结构，因为这些模型的输出必须在现实世界中工作，以满足设计师的意图。
Chat GPT Side Bar是一个插件，可以在浏览网页时，在侧边栏展示Chat GPT。它提供了一系列功能，包括笔记、新闻、Google应用、加密货币跟踪、游戏集成等。你可以在浏览网页的同时使用Chat GPT，提高工作效率。
GPT Spreadsheets Visualization是一个工具，使用大型语言模型（如ChatGPT）自动探索数据、生成可视化和信息图表格。它可以与任何编程语言和可视化库一起使用，例如matplotlib、seaborn、altair、d3等，并与多个大型语言模型提供商（ChatGPT、PaLM、Cohere、Huggingface等）一起使用。它包括四个模块：摘要生成器、目标探索器、可视化生成器和信息图表格生成器。GPT Spreadsheets Visualization利用最先进的大型语言模型的语言建模和代码编写能力，实现了数据摘要、目标生成、可视化生成、信息图表格生成以及对现有可视化的操作、可视化解释、自动修复、推荐等核心自动化可视化功能。
evyAI是一个AI助手，能够智能地为你创建个性化评论、帖子和回复。它可以帮助你节省时间和精力，在社交媒体上提升可见度，建立信誉和网络机会。
RIZZ是一款AI驱动的约会助手应用，它利用先进的GPT技术为用户生成个性化的回复，帮助用户在约会、社交或专业沟通中留下深刻印象。产品通过分析用户的沟通风格，理解用户的语气、幽默感和词汇量，生成反映用户个性的回复。RIZZ的主要优点在于其个性化和适应性，它不仅能提升用户的沟通技巧，还能增加用户的魅力，帮助用户建立持久的联系。
Sonio是一款AI驱动的软件，旨在提高产前超声检查的效率、准确性和专业性。它通过自动化图像质量控制、报告生成、数据集成和计费来解决医疗团队面临的挑战。Sonio通过实时指导和最新的临床研究，提升团队技能，同时减少IT维护成本，提供现代化的集中解决方案。
ibisPaint 是一款专业的绘画应用，旨在帮助用户轻松创作出精美的绘画作品。该应用提供了各种绘画工具和功能，如画笔、颜色调整、图层管理等。用户可以通过该应用绘制插画、漫画、动画等作品，适用于艺术爱好者、插画师、漫画创作者等。ibisPaint 在用户群体中享有良好的口碑，是绘画领域的热门应用之一。
ChatGLM-Math 是一个基于自我批评流程定制的数学问题解决模型，旨在提高大型语言模型（LLMs）在数学问题解决方面的能力。该模型通过训练一个通用的Math-Critique模型来提供反馈信号，并采用拒绝采样微调和直接偏好优化来增强LLM的数学问题解决能力。它在学术数据集和新创建的挑战性数据集MathUserEval上进行了实验，显示出在保持语言能力的同时，显著提升了数学问题解决能力。
MistoLine是一个SDXL-ControlNet模型，能够适应任何类型的线条艺术输入，展示出高精度和出色的稳定性。它基于用户提供的线条艺术生成高质量图像，适用于手绘草图、不同ControlNet线条预处理器和模型生成的轮廓。MistoLine通过采用新颖的线条预处理算法（Anyline）和基于stabilityai/stable-diffusion-xl-base-1.0的Unet模型的重新训练，以及在大型模型训练工程中的创新，展现出在复杂场景下超越现有ControlNet模型的细节恢复、提示对齐和稳定性的优越性能。
kan-gpt是一个基于PyTorch的Generative Pre-trained Transformers (GPTs) 实现，它利用Kolmogorov-Arnold Networks (KANs) 进行语言建模。该模型在文本生成任务中展现出了潜力，特别是在处理长距离依赖关系时。它的重要性在于为自然语言处理领域提供了一种新的模型架构，有助于提升语言模型的性能。
ImageInWords (IIW) 是一个由人类参与的循环注释框架，用于策划超详细的图像描述，并生成一个新的数据集。该数据集通过评估自动化和人类并行（SxS）指标来实现最先进的结果。IIW 数据集在生成描述时，比以往的数据集和GPT-4V输出在多个维度上有了显著提升，包括可读性、全面性、特异性、幻觉和人类相似度。此外，使用IIW数据微调的模型在文本到图像生成和视觉语言推理方面表现出色，能够生成更接近原始图像的描述。
AlphaFold Server是一个基于AlphaFold3模型的网络服务，能够生成包含蛋白质、DNA、RNA、配体、离子等的高精度生物分子结构预测，并能模拟蛋白质和核酸的化学修饰。该平台由Google DeepMind和Isomorphic Labs合作开发，对于科学研究和生物制药领域具有重要意义，尤其在非商业用途中，它提供了一个强大的工具来预测和分析生物分子结构。
Maimo是一款旨在提升信息处理效率的智能助手，它通过先进的技术帮助用户从日常内容源中快速提取关键信息，包括电话会议记录、财务报告、网页等。Maimo的主要优点在于它的高效率和易用性，用户无需逐行扫描文本，即可通过简单的问答形式检索数据。此外，Maimo还支持与日常应用程序的无缝集成，通过Chrome扩展和Telegram连接，使得数据提取和知识管理更加便捷。
AlphaFold 3是一个革命性的AI模型，它能够预测蛋白质、DNA、RNA、配体等生命分子的结构和相互作用，与现有预测方法相比，对蛋白质与其他分子类型的相互作用预测准确度至少提高了50%，在某些重要类别的相互作用中，预测准确度甚至翻倍。该模型将极大地推进我们对生物世界和药物发现的理解。
AI视频生成器让每个人都能通过文本创作出令人惊叹的视频。功能包括：创意转视频、博客转视频、PPT转视频、推文转视频、头像视频、产品转视频等。适用于内容创作、商业营销、教育培训、电子商务等领域。
SmartSolve是一款最先进、准确的AI作业、练习测验和考试解答工具。它使用下一代人工智能技术，由业内领先的公司支持，确保提供的每个答案都是详细准确的。用户可以直接集成到各种学习平台上，通过直接集成、高亮解答和拍照识别等方式，快速解答作业问题。SmartSolve的目标是辅助学习和加强学习体验，而不是用于作弊或未经授权的协助。
Cici是一款基于GPT的浏览器AI助手，可以回答问题、摘要复杂网页、智能整理搜索结果等。使用Cici，您可以像ChatGPT一样快速获取答案，浏览复杂的网页和视频时，只需一键摘要和互动，写邮件时，Cici可以为您起草正式而恰当的文本。Cici还可以执行快速搜索和总结，帮助您更快地完成任务。
