快科技7月19日消息，博主数码闲聊站暗示，Redmi Note 13系列至少有三款机型，分别是Redmi Note 13、Redmi Note 13 Pro和Redmi Note 13 Pro 。
该系列将会预装MIUI 15操作系统，这是全球首批MIUI 15机型。据爆料，MIUI 15对系统进行精简，同时改进了安卓内核，大幅提升系统的流畅度。一方面为用户的文件预留出较多空间；另一方面，第三方的预装软件以及MIUI自身的一些系统应用也可以删除。
另外，Redmi Note 13 Pro 采用中置挖孔直屏方案，去掉了屏幕塑料支架，屏幕边框更窄，正面观感跟高端旗舰相差无几。据悉，塑料支架指的是连接中框和屏幕的塑胶框，给屏幕一定的支撑作用。
这种设计会让屏幕边框更宽，侧面看机身分层明显。并且，凸起的屏幕也会让手机的一体性降低。取消塑料支架后，屏幕边框能做到更窄，而且屏幕将会与边框齐平，一体性更强。
Redmi Note 12系列
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
RedmiTurbo3已经在京东自营店上架并接受预约，新品将于4月10日正式发布。这款全新的中端系列产品首批搭载第三代骁龙8s处理器，采用了143的CPU架构。Redmi王腾表示，品牌始终将用户体验置于首位，坚持使用相同的软件版本进行测试，不采取阴阳”调校，也不设立两套标准。
小米计划在今年上半年推出旗下首款小型折叠屏手机MIXFlip。MIXFlip将采用后置双摄系统，主摄像头采用了光影猎人800传感器，这是RedmiK70Pro所采用的图像传感器。在核心配置方面，MIXFlip搭载了高通骁龙8Gen3移动平台，这是目前市场上最强悍的小型折叠屏手机之一，也是首款搭载骁龙8Gen3的小型折叠屏手机，同时支持67W有线闪充技术。
RedmiTurbo3将于4月15日正式首销，售价从1999元起。购机用户在首销期间将获赠价值169元的碎屏保和价值149元的RedmiBuds4青春版。首销期间购买还能获得额外的赠品，是一款不容错过的手机产品。
王腾今晚发文表示，RedmiTurbo3太生猛了，明天见。该机将会在明天上午十点正式定档，预计周四正式发布。RedmiTurbo3搭载第三代骁龙8s，与第三代骁龙8采用相同CPU架构，配备1个3.0GHzCortex-X4超大核、4个2.8GHzCortex-A720大核、3个2.0GHzA520小核，跑分超170万。
今天，Redmi总经理王腾收到了卢伟冰赠送的礼物，一副象征Redmi战斗精神的拳套”。这份礼物代表着Redmi敢KO，不服就干”的精神，是对Redmi团队不畏艰难、勇往直前的精神的肯定和鼓励。Redmi新系列产品将重塑中端性能格局，让大家拭目以待。
除了RedmiTurbo3哈利波特版之外，这次双方还合作打造了RedmiPadPro定制版，是全球首款哈利波特平板。与RedmiTurbo3一样，背壳上拥有精致的霍格沃茨院徽，同时官方还配备了入学通知书”造型的Pad保护包，以及魔法课本”造型的Pad保护壳，细节十足。支持33W的快充，同时还支持反向充电，化身成10000mAh的充电宝为手机等设备应急补电。
去年11月，Redmi推出了RedmiK70E、RedmiK70和RedmiK70Pro三款机型，并且即将推出一款定位超大杯的至尊版。Redmi品牌总经理王腾与网友互动时透露，RedmiK70至尊版正在稳步推进中，并且非常强。全新的RedmiK70至尊版将配备一块分辨率达到1.5K的屏幕，并采用了8TLTPO新基材，同时在亮度和调光方案上更加激进，这也是K70系列中唯一一款支持LTPO技术的旗舰机型。
小米于去年八月发布了价格仅为999元的Redmi125G手机。最新消息称，其继任者Redmi135G手机已经通过3C认证，并确认支持33W的充电速率。在之前发布的产品中，Redmi125G采用的是骁龙4Gen2处理器和双面玻璃机身设计，提供冰瓷白和星岩灰两种配色选择，并且拥有8.17mm的机身厚度。
RedmiTurbo3即将于明天正式发布。作为RedmiTurbo系列的新成员，该机首次搭载了高通第三代骁龙8s处理器，这一芯片是由小米和高通公司联合定义的。正面采用了极窄边框直屏设计，给人带来出色的视觉体验，并且金色配色和直角边框设计赋予了机身出色的质感。
Redmi宣布RedmiTurbo3将于4月15日正式首销，定价1999元起。在首销期间，购机用户可获赠价值169元的碎屏保和价值149元的RedmiBuds4青春版。该机最高配备16GB内存和1TB存储，后置双摄像头，主摄采用5000万像素光喻LYT600，支持OIS光学防抖，电池容量为5000毫安时，支持90W闪充。
Chat2DB是一个AI驱动的数据开发和分析平台，它通过集成数据管理、研发、分析和应用于一体，为不同角色的用户提供了一个无缝对接的全链路数据管理平台。该平台利用先进的AI技术，简化了SQL研发和数据报表的创建，使得即使是非技术背景的用户也能轻松进行复杂的数据查询。Chat2DB支持多种数据库类型，包括关系型和非关系型数据库，为用户提供了一个集中一站式的数据库管理解决方案。
GitHub Copilot Workspace 是一个革命性的开发环境，它利用自然语言处理技术，允许开发者从构思想法到编写代码再到构建软件的整个过程中获得人工智能的辅助。这个产品通过减少样板工作的负担，提升了开发者的生产力，并且降低了编程的入门门槛。它旨在帮助专业开发者和业余爱好者更高效地将创意转化为代码。
LMSYS Chatbot Arena 是一个在线平台，旨在通过用户与匿名聊天机器人模型的互动，对大型语言模型(Large Language Models, LLMs)进行基准测试。该平台收集了超过70万次人类投票，计算出LLM的Elo排行榜，以确定谁是聊天机器人领域的冠军。平台提供了一个研究预览，具有有限的安全措施，可能生成不当内容，因此需要用户遵守特定的使用条款。
chat-ui是一个开源的聊天界面，使用开源模型如OpenAssistant或Llama。它是一个SvelteKit应用程序，为hf.co/chat上的HuggingChat应用提供支持。该产品允许用户通过自定义配置来运行和部署自己的Chat UI实例，支持多种语言模型和功能，如Web搜索、自定义模型等。
360AI 浏览器利用人工智能技术，提供智能搜索、PDF、视频、网页总结等功能，旨在帮助用户高效获取知识，提升阅读体验。
AI FAQ Generator是一款利用先进AI技术，通过分析常见问题自动生成FAQ列表的工具。它能够快速高效地生成FAQ，节省时间和资源，同时提供准确的答案，帮助提高客户满意度，并改善SEO效果。
BrickCenter是一个在线平台，允许用户免费创建自己的乐高套装和迷你人物。它提供了一个将创意转化为详细乐高设计的工具，无论是复杂的场景还是个性化的迷你人物，用户都可以在这个平台上实现自己的设计梦想。该平台以其用户友好的界面和强大的定制功能而受到乐高爱好者的欢迎。
《100 UI/UX Tips》提供了设计界面所需的所有提示，让用户感到满意。强调产品的主要优点、背景信息、价格和定位。
whatwide.ai是一个提高生产力的AI助手，使用人工智能技术来节省时间并提高工作效率。它提供了50多种AI模型，包括文本生成、网站帮助、社交媒体分析、编程辅助等多种功能。whatwide.ai的优点在于高质量的内容生成、快速且安全的操作，以及多种AI类型供用户选择。
Stream of Consciousness是一个记录并分享艺术家思维的项目，通过创作和分享图像来展示创造力。它提供了一个深入艺术家思维的窗口，让人们了解艺术创作的过程和灵感的来源。
Neurelo是一个专为云数据库而设计的平台，通过使用云API和人工智能技术，提供自动生成API、自定义查询API、查询可观察性和Schema as Code等功能，以提高开发人员的生产力。Neurelo能够简化数据库编程相关的复杂性，并具备可伸缩性、安全性和查询优化能力。
EdrawMax是一款功能强大的图表设计软件，它提供一站式的图表解决方案，适用于流程图、思维导图、组织结构图、甘特图、平面图和ER图等210多种图表类型。它具有简洁的用户界面，类似于MS Office的干净、整齐的界面，直观且易于导航的工具集，以及无缝的拖放功能。此外，EdrawMax还提供了23000多个用户制作的模板，850个精心制作的内置模板，以及26000多个免费符号，覆盖所有图表类型。它还具备AI功能，可以生成和分析22种类型的图表，包括文本到绘图和图片到绘图以及AI聊天。EdrawMax支持跨平台集成，可以在云端保存文件并通过链接共享，支持通过社交媒体或电子邮件发送作品，并能以13种格式导出图表，包括VSDX、PPTX和SVG等。此外，EdrawMax遵循GDPR标准，使用最高级别的256位SSL加密，确保用户隐私和数据安全。
Notta Showcase是一款在线视频翻译和配音工具，它通过AI技术帮助用户将视频内容翻译成15种不同的语言，同时保持原始的语音风格和情感，以提供自然的听觉体验。该产品的主要优点包括高效率、成本效益、用户友好的界面、高准确度的转录和翻译，以及支持多种文件格式和平台。它适用于营销、社交媒体和教育等多个领域，可以显著扩大内容的全球影响力。
Suno API是一个开源项目，允许用户设置自己的Suno AI音乐服务API。它实现了app.suno.ai的创建API，兼容OpenAI的API格式，支持自定义模式，一键部署到Vercel，并且拥有开放源代码许可证，允许自由集成和修改。
x-crawl 是一款基于 Node.js 的 AI 辅助爬虫库，它通过强大的 AI 辅助功能，使得爬虫工作变得更加高效、智能和便捷。它支持对动态页面、静态页面、接口数据以及文件数据的爬取，同时提供了自动化操作、键盘输入、事件操作等控制页面的能力。此外，它还具备设备指纹、异步同步、间隔爬取、失败重试、轮换代理、优先队列和记录爬取等功能，以适应不同的爬取需求。x-crawl 拥有类型，通过泛型实现完整的类型，基于 MIT 许可发布，适合需要进行数据爬取的开发者和企业。
MetaCLIP是一个开源的机器学习模型，用于图像和文本的联合表示学习。它通过一个简单算法对CLIP数据进行筛选，不依赖于先前模型的过滤，从而提高了数据的质量和透明度。MetaCLIP的主要贡献包括无过滤的数据筛选、透明的训练数据分布、可扩展的算法和标准化的CLIP训练设置。该模型强调数据质量的重要性，并提供预训练模型，以支持研究人员和开发者进行控制实验和公平比较。
AI Town是一个基于MIT许可的可部署启动套件，用于构建和定制您自己的AI城镇版本。这个项目受到了研究论文'Generative Agents: Interactive Simulacra of Human Behavior'的启发，旨在提供一个强大的基础平台，旨在被扩展。后端原生支持共享全局状态、事务和模拟引擎，适用于从简单的项目到可扩展的多人游戏。
Vanna是一个使用Retrieval-Augmented Generation (RAG) 技术的开源Python框架，用于SQL生成和相关功能。它通过训练RAG模型，将自然语言问题转换为SQL查询，从而允许用户以提问的形式与数据库进行交互。Vanna的主要优点包括高准确度、安全性、私有性、自学习能力，并且支持任何SQL数据库。
fal.ai 是一款面向开发者的生成媒体平台，提供了业界最快的推理引擎，可以让您以更低的成本运行扩散模型，创造出全新的用户体验。它拥有实时、无缝的 WebSocket 推理基础设施，为开发者带来了卓越的使用体验。fal.ai 的定价方案根据实际使用情况灵活调整，确保您只为消耗的计算资源付费，实现了最佳的可扩展性和经济性。
Chat With Llama 3 是一个开源的聊天机器人，由Meta AI开发。它能够进行多种智能对话，包括解释复杂概念、创作诗歌、编写代码、解决逻辑谜题，甚至帮助用户给宠物起名。这个聊天机器人的主要优点在于它的多功能性和开源性，使其可以被广泛地应用于各种场景，并且可以根据需要进行定制和改进。
