中关村在线消息：11月30日，据相关爆料，原定于12月1日发布的小米13系列真机已经在某二手平台内泄露，根据上手视频展示的后置影像模组以及MIUI 14系统，可以基本确定是还未发布的小米13 Pro 陶瓷绿机型。卖家表示，12GB+512GB版本售价为5299元，电池虽然是4800mAh，但是续航表现一般。
据悉，根据卖家表示全新的MIUI 14系统流畅度表现不错，砍掉了很多过渡动画，但是陶瓷背板的手感非常沉，单手握持时手会比较累，一起期待吧！
（举报）
小米13 Pro顶配或售5299！陶瓷绿真机泄露
- 相关推荐
- 大家在看
-
【腾讯云】11.11云上盛惠！云服务器首年1.8折起，买1年送3个月！
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
广告 -
米粉节来了！小米14/14 Pro官方首次降价：最高优惠400元 3999元起
4月6日是小米公司生日，此后，小米就将这一天定义为米粉节”。进入4月，2024年的米粉节”正式拉开帷幕，小米官方将开启线上促销活动。小米CEO雷军表示，全等深微曲屏用了2年预研，投入18倍研发费用，专利申请超过130项，其中已授权超60项。
-
安卓板皇！vivo Pad3 Pro明天开卖：2999元起
vivo预告，vivoPad3Pro将于明天正式开售，起售价为2999元。这款平板搭载联发科天玑9300芯片，是行业内首款采用该平台的产品。在音效方面，vivoPad3Pro配备了4个低音单元和4个高音单元搭载了vivo自研的SuperAudio5.0音效技术，支持动态低音增强、动态音量增强、AI人声增强和3D全景音频，能够提供出色的音质表现。
-
谷歌 Pixel 9 Pro 真机亮相：颜值高容易沾指纹
谷歌将在今年推出至少三款新Pixel系智能手机，包括Pixel9、Pixel9Pro和Pixel9ProXL。海外的爆料人曝光了谷歌Pixel9Pro的真机照片，让我们可以一睹这款新手机的外观设计。在外观设计、硬件配置等方面进行优化和升级后，这些新手机也将成为市场上的热门选择。
-
华为史上最大平板！华为MatePad Pro 13.2 SIM卡版开售：7499元
今日从华为官方商城了解到，华为MatePadPro13.212GB512GB新增SIM卡版本，首发到手价7499元。相比首发价5699元的12GB512GB版，SIM卡版本贵了1800元。核心参数上，华为MatePadPro13.2搭载Mate60系列同款的麒麟9000s芯片，内置10100mAh电池，支持88W快充。
-
电池、进水、碎屏全都保修！OPPO A3 Pro开启预售：1999元起
今天下午，OPPOA3Pro正式开启预售，起售价为1999元。这款手机是业内首款通过IP69、IP68、IP66防尘防水测试的满级防水”产品，能够有效应对高温高压喷、持续浸水、强烈喷水等涉水场景。这款新品将于4月19日正式开售。
-
华为Pura 70/Pro 今日开售：5499元起！
据华为官方介绍，华为Pura70、Pura70Pro两款机型将在今天上午10:08正式开售，起售价5499元。华为Pura70系列四款机型全部上市。值得注意的是，华为Pura70标准版不支持任何形式的卫星通信，同时也不支持星闪。
-
谷歌 Pixel 9 Pro 真机亮相：美光内存 三星 UFS 存储
谷歌Pixel9Pro手机的真机照片在网络上流传。这款手机的尺寸与iPhone15Pro相似，并且配备了潜望式长焦镜头、TensorG4芯片组和16GB内存。由于目前还没有关于其定价和发布时间的确切信息，我们只能等待官方进一步公布。
-
进水保修独此一家！一图读懂OPPO A3 Pro：1999元起
今天下午，OPPOA3Pro正式发布，起售价为1999元。这款手机支持IP69、IP68、IP66满级防水在4月25日之前购买并激活的用户还可以享受进水保修服务，这在行业内是独一无二的。即使在-20℃的极寒环境下，也能正常充电配合ColorOS的软件优化，能够轻松应对日常的各种使用场景。
-
索尼Bravia 9 mini-LED电视发布：顶配85英寸卖32999元
今晚，索尼Bravia9电视国行版发布，提供65英寸、75英寸、85英寸三种尺寸，售价分别为18999元、22999元、32999元。索尼Bravia9采用全新XR动态背光系统大师版，支持22bitMiniLED灰阶控制、更多的背光分区数量以及更高的峰值亮度。电视支持4K120Hz、VRR、ALLM，配备两个HDMI2.1接口。
-
3599元！小米Civi 4 Pro限量定制版开售：相机感设计 大胆撞色
今日上午10:00，小米Civi4Pro限量定制色正式开售，该版本规格为16GB512GB，售价还是3599元。小米Civi4Pro限量定制版拥有黑与白、粉与黑、蓝与黑三款配色，采用大胆撞色、相机感设计，更潮流吸睛。首次搭载三颗徕卡专业镜头，分别为5000万像素徕卡光学Summilux镜头、5000万像素徕卡专业人像镜头、1200万像素徕卡超广角镜头。
-
Chat UI:开源代码库，为HuggingChat应用提供动力
chat-ui是一个开源的聊天界面，使用开源模型如OpenAssistant或Llama。它是一个SvelteKit应用程序，为hf.co/chat上的HuggingChat应用提供支持。该产品允许用户通过自定义配置来运行和部署自己的Chat UI实例，支持多种语言模型和功能，如Web搜索、自定义模型等。
-
360AI浏览器APP:360AI 浏览器，AI 赋能，秒懂一切。
360AI 浏览器利用人工智能技术，提供智能搜索、PDF、视频、网页总结等功能，旨在帮助用户高效获取知识，提升阅读体验。
-
FAQ Generator:免费AI生成FAQ，无需注册即可创建网站FAQ模板。
AI FAQ Generator是一款利用先进AI技术，通过分析常见问题自动生成FAQ列表的工具。它能够快速高效地生成FAQ，节省时间和资源，同时提供准确的答案，帮助提高客户满意度，并改善SEO效果。
-
BrickCenter:一个创意无限的乐高设计平台，让你的想象力变为现实。
BrickCenter是一个在线平台，允许用户免费创建自己的乐高套装和迷你人物。它提供了一个将创意转化为详细乐高设计的工具，无论是复杂的场景还是个性化的迷你人物，用户都可以在这个平台上实现自己的设计梦想。该平台以其用户友好的界面和强大的定制功能而受到乐高爱好者的欢迎。
-
100 UI/UX Tips:在一个小时内学习如何制作令人印象深刻的应用程序界面。
《100 UI/UX Tips》提供了设计界面所需的所有提示，让用户感到满意。强调产品的主要优点、背景信息、价格和定位。
-
whatwide.ai:提高生产力的AI助手，简单易用
whatwide.ai是一个提高生产力的AI助手，使用人工智能技术来节省时间并提高工作效率。它提供了50多种AI模型，包括文本生成、网站帮助、社交媒体分析、编程辅助等多种功能。whatwide.ai的优点在于高质量的内容生成、快速且安全的操作，以及多种AI类型供用户选择。
-
Stream of Consciousness:一个展示想象中艺术家思绪的日常表演，通过创作和分享图像来表达创造力。
Stream of Consciousness是一个记录并分享艺术家思维的项目，通过创作和分享图像来展示创造力。它提供了一个深入艺术家思维的窗口，让人们了解艺术创作的过程和灵感的来源。
-
Neurelo:是一种用于PostgreSQL、MongoDB和MySQL的云数据API平台，通过自动生成REST和GraphQL数据API、AI辅助的自定义查询API、查询可观察性等功能，简化和加速现代云应用程序开发。
Neurelo是一个专为云数据库而设计的平台，通过使用云API和人工智能技术，提供自动生成API、自定义查询API、查询可观察性和Schema as Code等功能，以提高开发人员的生产力。Neurelo能够简化数据库编程相关的复杂性，并具备可伸缩性、安全性和查询优化能力。
-
EdrawMax:智能且风格多样的图表解决方案，简化您的想法可视化过程。
EdrawMax是一款功能强大的图表设计软件，它提供一站式的图表解决方案，适用于流程图、思维导图、组织结构图、甘特图、平面图和ER图等210多种图表类型。它具有简洁的用户界面，类似于MS Office的干净、整齐的界面，直观且易于导航的工具集，以及无缝的拖放功能。此外，EdrawMax还提供了23000多个用户制作的模板，850个精心制作的内置模板，以及26000多个免费符号，覆盖所有图表类型。它还具备AI功能，可以生成和分析22种类型的图表，包括文本到绘图和图片到绘图以及AI聊天。EdrawMax支持跨平台集成，可以在云端保存文件并通过链接共享，支持通过社交媒体或电子邮件发送作品，并能以13种格式导出图表，包括VSDX、PPTX和SVG等。此外，EdrawMax遵循GDPR标准，使用最高级别的256位SSL加密，确保用户隐私和数据安全。
-
Notta Showcase:通过AI技术，轻松实现视频的多语言翻译和配音，连接全球观众。
Notta Showcase是一款在线视频翻译和配音工具，它通过AI技术帮助用户将视频内容翻译成15种不同的语言，同时保持原始的语音风格和情感，以提供自然的听觉体验。该产品的主要优点包括高效率、成本效益、用户友好的界面、高准确度的转录和翻译，以及支持多种文件格式和平台。它适用于营销、社交媒体和教育等多个领域，可以显著扩大内容的全球影响力。
-
SunoAI API:开源项目，实现AI音乐服务的API接口
Suno API是一个开源项目，允许用户设置自己的Suno AI音乐服务API。它实现了app.suno.ai的创建API，兼容OpenAI的API格式，支持自定义模式，一键部署到Vercel，并且拥有开放源代码许可证，允许自由集成和修改。
-
x-crawl:灵活的 Node.js AI 辅助爬虫库，让爬虫工作更高效、智能、便捷。
x-crawl 是一款基于 Node.js 的 AI 辅助爬虫库，它通过强大的 AI 辅助功能，使得爬虫工作变得更加高效、智能和便捷。它支持对动态页面、静态页面、接口数据以及文件数据的爬取，同时提供了自动化操作、键盘输入、事件操作等控制页面的能力。此外，它还具备设备指纹、异步同步、间隔爬取、失败重试、轮换代理、优先队列和记录爬取等功能，以适应不同的爬取需求。x-crawl 拥有类型，通过泛型实现完整的类型，基于 MIT 许可发布，适合需要进行数据爬取的开发者和企业。
-
MetaCLIP:一种用于图像和文本数据的先进机器学习模型，专注于数据质量和透明度。
MetaCLIP是一个开源的机器学习模型，用于图像和文本的联合表示学习。它通过一个简单算法对CLIP数据进行筛选，不依赖于先前模型的过滤，从而提高了数据的质量和透明度。MetaCLIP的主要贡献包括无过滤的数据筛选、透明的训练数据分布、可扩展的算法和标准化的CLIP训练设置。该模型强调数据质量的重要性，并提供预训练模型，以支持研究人员和开发者进行控制实验和公平比较。
-
AITown:一个虚拟城镇，AI角色在这里生活、聊天和社交。
AI Town是一个基于MIT许可的可部署启动套件，用于构建和定制您自己的AI城镇版本。这个项目受到了研究论文'Generative Agents: Interactive Simulacra of Human Behavior'的启发，旨在提供一个强大的基础平台，旨在被扩展。后端原生支持共享全局状态、事务和模拟引擎，适用于从简单的项目到可扩展的多人游戏。
-
Vanna:通过自然语言生成SQL查询，简化数据库交互。
Vanna是一个使用Retrieval-Augmented Generation (RAG) 技术的开源Python框架，用于SQL生成和相关功能。它通过训练RAG模型，将自然语言问题转换为SQL查询，从而允许用户以提问的形式与数据库进行交互。Vanna的主要优点包括高准确度、安全性、私有性、自学习能力，并且支持任何SQL数据库。
-
Fal AI:AI图片生成式开发者平台
fal.ai 是一款面向开发者的生成媒体平台，提供了业界最快的推理引擎，可以让您以更低的成本运行扩散模型，创造出全新的用户体验。它拥有实时、无缝的 WebSocket 推理基础设施，为开发者带来了卓越的使用体验。fal.ai 的定价方案根据实际使用情况灵活调整，确保您只为消耗的计算资源付费，实现了最佳的可扩展性和经济性。
-
Chat With Llama 3:一个开源的聊天机器人，能够解释概念、写诗、编程、解逻辑谜题。
Chat With Llama 3 是一个开源的聊天机器人，由Meta AI开发。它能够进行多种智能对话，包括解释复杂概念、创作诗歌、编写代码、解决逻辑谜题，甚至帮助用户给宠物起名。这个聊天机器人的主要优点在于它的多功能性和开源性，使其可以被广泛地应用于各种场景，并且可以根据需要进行定制和改进。
-
AI图片生成与搜索:释放创意，一键生成或搜索超过200万张AI图片。
AI图片生成与搜索是一个在线平台，利用先进的人工智能技术，允许用户快速生成或搜索各种风格的AI图片。该技术的重要性在于它能够极大提高设计和创意工作的效率，同时降低成本。产品的主要优点包括丰富的图片资源、高效的生成速度、以及用户友好的界面。产品背景信息显示，这是一个面向广大创意工作者和设计师的工具，旨在帮助他们快速实现创意构想。目前，该产品提供免费试用，但具体价格和定位信息未在页面中提供。
-
OpenPerplex:，您的知识门户
OpenPerplex是一个提供广泛知识资源的在线平台，它通过整合多种信息源，为用户提供了一个便捷的知识获取渠道。该产品以其丰富的信息量、高效的检索能力和友好的用户界面而受到用户的青睐。它不仅适用于个人学习，也适合专业人士进行深入研究。
-
JavaVision:基于Java的全能视觉智能识别项目
JavaVision是一个基于Java开发的全能视觉智能识别项目，它不仅实现了PaddleOCR-V4、YoloV8物体识别、人脸识别、以图搜图等核心功能，还可以轻松扩展到其他领域，如语音识别、动物识别、安防检查等。项目特点包括使用SpringBoot框架、多功能性、高性能、可靠稳定、易于集成和灵活可拓展。JavaVision旨在为Java开发者提供一个全面的视觉智能识别解决方案，让他们能够以熟悉且喜爱的编程语言构建出先进、可靠且易于集成的AI应用。