今天，博主@熊猫很禿然爆料，除了即将发布的Redmi K50电竞版之外，Redmi K50系列还有三款机型会在2月下旬或3月上旬发布。
这三款机型分别是Redmi K50、Redmi K50 Pro和Redmi K50 Pro+，其中Redmi K50 Pro+是该系列的超大杯版本，同时是Redmi迄今综合实力最强悍的高端旗舰。
和去年上市的K40 Pro+使用骁龙芯片不同，曝光的信息显示今年即将登场的K50 Pro+使用天玑9000芯片，这是Redmi首次在超大杯旗舰上使用联发科Soc。
这颗芯片基于台积电4nm工艺打造，搭载1个Cortex-X2超大核、3个Cortex-A710大核以及4个Cortex-A510小核。GPU方面，天玑9000采用了Arm Mali-G710，安兔兔综合成绩突破100万分，比肩高通骁龙8。
此外，@数码闲聊站爆料称Redmi K50 Pro系列使用了三星OLED柔性屏，新品目前已经获得了3C认证，值得期待。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
去年11月，Redmi推出了RedmiK70E、RedmiK70和RedmiK70Pro三款机型，并且即将推出一款定位超大杯的至尊版。Redmi品牌总经理王腾与网友互动时透露，RedmiK70至尊版正在稳步推进中，并且非常强。全新的RedmiK70至尊版将配备一块分辨率达到1.5K的屏幕，并采用了8TLTPO新基材，同时在亮度和调光方案上更加激进，这也是K70系列中唯一一款支持LTPO技术的旗舰机型。
今天，联发科天玑9300正式亮相。博主数码闲聊站爆料，天玑9300机型包括vivoX100s、vivoX100sPro、iQOONeo9sPro、iQOOPad2Pro以及未官宣的RedmiK70至尊版。其它参数方面，RedmiK70至尊版采用1.5K直屏，电池是5500mAh。
数码闲聊站爆料称，RedmiK70至尊版将回归天玑平台，搭载联发科天玑9300旗舰处理器，并配备独显芯片，成为Redmi打造的双芯旗舰。RedmiK70至尊版还将采用1.5KOLED柔性屏，金属中框和玻璃后盖，后置主摄像头为5000万像素，支持百瓦闪充，并搭载超大电池。按照Redmi的定位，K70至尊版将成为Redmi下半年的旗舰焊门员，也是新一代天玑之王。
iQOO今日官宣Neo9SPro将于本月正式亮相，首批搭载天玑9300芯片。据数码博主数码闲聊站”透露，iQOONeo9S系列还将推出一款超大杯的Pro版本，即iQOONeo9SPro，搭载第三代骁龙8移动平台。综合两款芯片的素质来看，天玑9300的CPU、GPU性能均超越了骁龙8Gen3。
今晚在Turbo3发布会上，Redmi宣布推出全新平板——RedmiPadPro，引起了广泛关注。这款RedmiPadPro较之前的RedmiPad有着明显的提升，采用了12.1英寸2.5K高刷护眼LCD大屏，分辨率达到2560*1600，屏幕比例为16:10，为用户提供了绝佳的追剧和学习体验。RedmiPadPro5G版本将于5月下旬上市，6128GB版本售价1999元，8256GB版本售价2399元。
据多位用户反馈，RedmiK40近日推送了HyperOS正式版系统，这款3年前的爆款旗舰也用上了最新的小米澎湃OS系统。该更新包版本依然为1.0.3.0.TKHCNXM，体积为1.5GB。核心配置上，RedmiK40采用6.67英寸中置挖孔屏，搭载骁龙870旗舰处理器，后置4800万主镜头800万超广角500万长焦微距镜头三摄，电池为4520mAh，支持33W快充。
今天下午王腾发文称，去年发布的K60至尊版是2.5-3K档表现最好的爆品。双芯性能的天玑9200独显、同档顶级的1.5K屏、同档唯一的IP68和超高性价比是大家选择的主要原因。至尊版并不会延续K系列数字款的2K屏、骁龙芯片等规格是传承着1.5K屏、天玑芯片，并在快充、散热方面堆料更足，满足游戏体验。
在今晚的Turbo3发布会上，Redmi还推出了全新平板RedmiPadPro。该机相较之前的RedmiPad各方面配置大幅提升，采用12.1英寸2.5K高刷护眼LCD大屏，分辨率达到2560*1600，屏幕比例为16:10，是追剧、学习的绝佳规格。RedmiPadPro5G将于5月下旬上市，6128GB售价1999元、8256GB售价2399元。
技嘉今天宣布，为旗下X670、B650、A620AM5主板发放新版本BIOS，支持即将发布的锐龙9000系列处理器，也就是Zen5架构的桌面版，再次实锤了命名。之所以说再次，是因为AMD之前官方更新的芯片组驱动中，就已经出现了锐龙9000的名字。至于为什么叫锐龙9000系列，是因为AMD处理器现在按照年份划分体系，和工艺、架构、技术、平台都没关系，比如2022年的都是7000系列，2023年的都是8000系列，2024年的就都是9000系列。
Redmi宣布RedmiTurbo3将于4月15日正式首销，定价1999元起。在首销期间，购机用户可获赠价值169元的碎屏保和价值149元的RedmiBuds4青春版。该机最高配备16GB内存和1TB存储，后置双摄像头，主摄采用5000万像素光喻LYT600，支持OIS光学防抖，电池容量为5000毫安时，支持90W闪充。
即梦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还可以执行快速搜索和总结，帮助您更快地完成任务。
markero 是一款易于使用的营销软件，利用人工智能帮助吸引新客户、创建和推广内容以及收集和管理潜在客户。它简化复杂的营销任务，节省时间，符合GDPR合规要求。
GPT Cover Letter Generator是一款强大的工具，利用AI技术帮助求职者快速撰写专业且个性化的求职信。通过OpenAI的GPT 3.5模型，简化求职者撰写引人注目的求职信的过程，帮助他们在求职过程中脱颖而出。
