着 ColorOS 13 收工，OPPO 用户可以率先用上 Android 13 了。首批开放机型有 OPPOFind X5、Find X5 Pro 和一加 10 Pro。
ColorOS 13 重点新增了水生设计，主题视觉更富有活力，界面 UI 更加清晰有序，可以适应更复杂的手势和交互。
需要注意的是，升级 ColorOS 13 之前需要把当前系统升级到最新版，由于部分 APP 不适配 Android 13，所以升级之后需要在软件商店将应用更新至最新版本。
ColorOS 13 申请方式
1、请确保您的手机版本已经升级到基础版本（版本号查看方法：设置 > 关于本机 > 版本信息 > 版本号）
2、请点击“设置 > 关于本机 > 顶部版本信息（“手机名称”上方） > 右上角设置 > 尝鲜申请 > ColorOS 13.0 正式版> 勾选“我已阅读并同意《隐私政策》”> 立即申请”，完成申请后点击“检查更新”，检测并下载安装版本即可。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
日前，多位小米10S用户反馈称收到澎湃OS正式版更新，版本号为1.0.3.0.TGACNXM，附带谷歌2月安全补丁。小米澎湃OS基于深度进化的Android以及自研的Vela系统融合，重写底层架构，实现超低功耗渲染框架，提升续航能力并提供更流畅的动画效果。需要提醒的是，本次更新为安卓跨版本升级，为降低升级风险，建议提前备份个人数据。
澜舟科技近日宣布，其研发的孟子3-13B大模型正式开源，并向学术研究领域全面开放，同时支持免费商用。这一轻量化大模型在多项基准测试中展现了优异的性能，特别是在参数量20B以内的模型中，其中英文语言能力尤为突出，数学和编程能力也位于行业前列。这一举措无疑将推动大模型技术的发展和应用，为AI产业的进步贡献力量。
OpenAI发布了GPT-4-Turbo正式版，这是一个带有视觉能力的模型，能够处理128k的上下文。这个模型现在已经全面开放，可以通过“gpt-4-turbo”来使用，最新版本为“gpt-4-turbo-2024-04-09”。GPT-4-Turbo是一个功能强大的模型，它的发布将为AI领域带来新的可能。
小米正式踏入汽车制造领域，迎来小米SU7的首批交付，宣告着小米汽车正式驶向市场，我们即将在街头巷尾见证越来越多小米汽车的身影。回首3月28日的发布会，雷军向米粉们表达深深的感谢，特别推出了限量版小米SU7创始版。小米汽车表示，感谢米粉们的耐心等待和理解，相信小米SU7一定能够为大家带来不一样的驾驶体验。
在昨日直播中，雷军透露称，小米SU7已经在北京和深圳两地开启正式版汽车的交付工作。小米SU7上市后，优先交付创始版，共计5000台，两周已经过去，创始版交付工作即将完成，正式版交付则已经提到了日程之上，这意味着个更多用户距离喜提爱车又进了一步。供应商也被要求增加产能至月产1万辆，高配版车型被要求重点增加产能。
QuestMobile最新发布的《2024中国智能终端市场洞察报告》，揭示了2023年中国智能手机市场的最新动态。2023年国内智能手机市场呈现逐季增长的趋势，特别是在9月新机密集发布期、双11促销季以及春节前夕，市场出现了几波购机热潮。尤其令人瞩目的是，华为MateX5以超过400万台的销量成为榜单中唯一一款折叠屏手机，同时它的单价也是最高的，平均价格为1.3万元，这一成就再次证明了华为手机在市场上的强大实力。
华为官方于今日发布了HarmonyOS4.2的正式版升级计划。此次升级包括华为Mate60、Pocket2、MatePadPro13.2英寸、智慧屏V5以及WATCHUltimate等22款设备，从今天起陆续开启升级。根据华为的预告，华为Mate50系列、P60系列、nova12系列等设备将于5月中旬起升级至鸿蒙OS4.2正式版。
今日，华为官方发布HarmonyOS4.2正式版升级计划，华为Mate60、Pocket2、MatePadPro13.2英寸、智慧屏V5及WATCHUltimate等22款设备今日起开启升级。具体机型如下：手机：华为Mate60、华为Mate60Pro、华为Mate60Pro、华为Mate60RSIULTIMATEDESIGN、华为Pocket2、华为Pocket2艺术定制版、华为MateX5、华为MateX5典藏版。根据华为升级预告，华为Mate50系列、P60系列、nova12系列等设备将于5月中旬起升级鸿蒙OS4.2正式版。
小米集团董事长雷军在微博上兴奋宣布:“三年前的豪言壮语，今天变成了现实，我会将一台台崭新的小米SU7亲自交到首批车主手上。从今天开始，小米正式成为一家车厂。这一系列的交付计划标志着小米汽车业务的全面展开，也预示着小米在智能汽车领域迈出了坚实的步伐。
小米于去年八月发布了价格仅为999元的Redmi125G手机。最新消息称，其继任者Redmi135G手机已经通过3C认证，并确认支持33W的充电速率。在之前发布的产品中，Redmi125G采用的是骁龙4Gen2处理器和双面玻璃机身设计，提供冰瓷白和星岩灰两种配色选择，并且拥有8.17mm的机身厚度。
Align Your Steps 是一种用于优化扩散模型（Diffusion Models, DMs）采样时间表的方法。这种方法利用随机微积分的方法，为不同的求解器、训练有素的DMs和数据集找到特定的最优采样时间表。它通过最小化KLUB项来优化时间离散化，即采样调度，从而在相同的计算预算下提高输出质量。该方法在图像、视频以及2D玩具数据合成基准测试中表现出色，优化的采样时间表在几乎所有实验中都优于之前手工制定的时间表。
AI 内容检测器拥有惊人的 98% 准确率，可区分人类与来自 ChatGPT、GPT4、Bard、Claude 和 Gemini 等 AI 生成的内容。它在搜索引擎排名、学术评分和读者感知方面具有重要影响。
网易易盾文本识别体验是基于智能识别及海量样本库的专业文本识别服务，针对文本垃圾提供个性化匹配模型及定制检测方案。产品背景包括多年行业经验积累，定位于帮助用户高效识别评论、弹幕、昵称中的变种文本垃圾。
讯飞智检是一款基于海量标注数据和深度学习算法实现文本纠错、涉黄、涉政及违禁词等识别的产品。通过节省人工成本，极大地提升了数据的正确性、规范性。定位于提高数据安全性、降低审核成本的 AI 文本审核平台。
翰林妙笔是一款专注于公文写作的智能 AI 创作平台，提供全面的写作、校对、润色及模板服务。无论是公职人员、事业单位、国企人员、还是医院、学校等机构，笔墨公文都能帮助您高效完成述职报告、调研报告、工作总结、年终总结等各类公文材料的创作。
艺映 AI 是一款专注人工智能视频领域的免费 AI 视频创作工具。它能够将文本、图片或视频转换为高质量 AI 视频，适用于多种场景，如抖音短视频、小说推文、AI 短片、AI 电影等制作。其主要优点在于提供多种视频生成方式，从文本到图片再到视频，满足用户多样化的创作需求。
HIX 总结器是一个 AI 文本摘要器，能够将冗长复杂的内容转变为简短摘要，节省时间，提高效率。其主要优点在于快速、精准地总结文章、文档和 YouTube 视频，适用于快速获取信息的生产力工具。
笔墨公文是一款专注于公文写作的智能 AI 创作平台，提供全面的写作、校对、润色、资料库及模板服务。无论是公职人员、事业单位、国企人员、还是医院、学校等机构，笔墨公文都能帮助您高效完成述职报告、工作总结、心得体会、调研报告、年终总结等各类公文材料的创作。
公文写作｜智能笔杆子是基于 ERNIE 3.5 模型的公文撰写助手，专为编写公文文章设计。该应用能够提供优质的公文风格文章，适用于国企公司内部新闻等场景。
万象公文是一站式公文知识赋能和智能写作平台，基于人工智能和大模型技术。主要优点包括提升公文写作效率和质量，提供智能生成、改写、校对、排版等功能。
讯飞星火公文助手是一款利用星火大模型技术的 AI 公文写作助手，提供素材筹备、拟稿写作和审稿核稿等功能。其主要优点包括高效节省写作时间、提供全面素材筹备和一键生成公文内容等。产品定位于提升公文材料撰写效率。
SpleeterGUI 是一个音乐源分离的桌面应用程序，用户无需安装 Python 或 Spleeter，该应用程序内含预装 Python 版本和 Spleeter。通过分离音轨，用户可以从音乐中提取出不同的声音源，提供了更灵活的音频处理能力。
ChatGPT 检测器是一个用于检查论文是否由 AI 生成的工具。它通过分析文本中每个词的可预测性来判断文本的真实性，帮助用户识别人工写作与机器生成的文本。该工具的主要优点在于免费、准确、适合学生使用，提供详细的文本分析。
PlagScan 是一款一流的查重软件，被机构广泛使用，可自动确保文档的原创性。它通过检测文档中的相似内容，帮助用户避免抄袭问题。
Crossplag 是专注于查重的综合工具，提供超过 100 种语言的单语言和翻译查重功能。用户可以全面控制数据，确保原创性并保护数据隐私。
音子 AI 是一款在线音轨分离解决方案，用户可上传音频或视频文件，立即获取独立的人声和伴奏文件。该产品基于人工智能技术，提供高效的音轨提取功能。
Lyrebird Health通过AI技术监听、学习并生成医疗文档，帮助医生在几秒钟内轻松生成记录和文档。它可以学习医生的风格和用词，并根据需要生成各种文档。Lyrebird Health还提供数据加密和隐私保护，以及定制化的记录风格和语言。
风平 IP 智造平台是基于 AIGC 的智能化 IP 打造平台，致力于提供虚拟数字人定制、AI 短视频内容生产和数字人直播的一站式解决方案。通过结合领先的 AI 技术，平台实现了数字人的高质量生产和互动能力，为用户打造全新的数字人 IP 体验。
赛灵力虚拟数字人工厂致力于 2D 虚拟人、3D 虚拟人、声音克隆等 AI 技术探索和产业应用，为企业、政府、个人提供虚拟数字人 AI 视频创作、个人形象定制、声音定制、智能语音合成等服务。
硅基智能是一款数字化虚拟人与 AI 技术相结合的产品，主要应用于智能交互领域。其主要优点包括领先的 AI 技术、智能交互体验、商业化场景应用等。
