站长之家（ChinaZ.com）11月2日 消息:天眼查App显示，近日，小米科技有限责任公司申请注册“HYPEROS AI”“HYPEROS CONNECT”“XIAOMI PENGPAI”等商标，国际分类涉及网站服务、科学仪器、广告销售等，当前商标状态为等待实质审查。
小米澎湃 OS 是小米旗下的全生态操作系统，于2023年10月26日正式发布。该系统以 “以人为中心，打造人车家跨端智联的全生态系统” 为核心理念。
小米澎湃 OS 在性能方面进行了大幅优化，提供更快的启动速度、更好的内存管理和文件系统性能。
此外，小米澎湃 OS 还拥有 AI 大模型植入系统，支持 AI 功能如输入助手、随手拍、妙画和搜图。系统还注重安全性和隐私保护，采用自研的安全系统和加密协议。小米澎湃 OS 覆盖了手机、电视、平板、手表、音箱和摄像机等产品，并计划逐步取代 MIUI 成为小米的主要操作系统。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
日前，多位小米10S用户反馈称收到澎湃OS正式版更新，版本号为1.0.3.0.TGACNXM，附带谷歌2月安全补丁。小米澎湃OS基于深度进化的Android以及自研的Vela系统融合，重写底层架构，实现超低功耗渲染框架，提升续航能力并提供更流畅的动画效果。需要提醒的是，本次更新为安卓跨版本升级，为降低升级风险，建议提前备份个人数据。
小米向小米10、小米10Pro和小米10Ultra等机型推送澎湃OS，其中小米10Ultra是小米第一款Ultra机型。该机发布于2020年，出厂预装MIUI12，这次升级到全新的澎湃OS，系统更加流畅易用。针对不同的设备，小米澎湃OS还提供有针对性的配置，保证轻巧，如在手机端，小米澎湃OS的系统固件占用可低至8.75GB，远远低于同行产品。
蔚来汽车科技有限公司近日动作频频，申请注册了一系列商标，包括“乐道CareTech”以及从“乐道L10”至“乐道L90”有特定的“乐道L66”、“乐道L77”、“乐道L88”和“乐道L99”。这些商标的国际分类涵盖了运输工具、建筑修理和健身器材等领域，目前均处于等待实质审查的状态。乐道首款车型的标准续航版将搭载小于75kWh的电池，这将使得乐道车型在价格上更具竞争力。
巨人投资有限公司申请注册多枚“GIANTGPT”商标，国际分类为教育娱乐、科学仪器、网站服务等，当前状态均为等待实质审查。巨人投资有限公司由史玉柱任法定代表人、执行董事并持股约97.86%。今年2月，巨人网络宣布正式完成了游戏AI大模型GiantGPT的备案。
在今日的Create2024百度AI开发者大会上，小度科技正式推出了备受瞩目的“全球首个AI原生操作系统”——DuerOSX。DuerOSX的发布，为小度音箱等系列产品注入了强大的生命力。无论是家居控制、娱乐休闲还是信息查询，用户只需通过简单的语音指令，即可轻松实现各种功能。
在即将到来的2024年4月16日，备受瞩目的百度Create开发者大会将盛大开幕。在这场科技盛宴中，小度科技将带来一项前所未有的创新——全球首个AI原生操作系统DuerOSX的发布，这无疑是本次大会的一大亮点。通过DuerOS，用户可以轻松地管理日程、查询信息、享受娱乐服务等，极大地提升了生活的智能化水平。
今天，华为常务董事、终端BGCEO、智能汽车解决方案BU董事长余承东宣布，华为P系列正式升级为华为Pura”。原定的P70系列，将会是Pura系列的第一款产品。余承东表示，在P系列升级为华为Pura”之后，将继续坚持影像和美学上的探索，追逐本心，锐意向前”。
Gemini1.5Pro是Google开发者平台推出的下一代AI模型。它支持语音理解、系统指令、JSON输出等新功能，并推出了新一代文本嵌入模型Gecko，性能大幅提升。要了解更多关于Gemini1.5Pro的信息，并开始体验这一先进的AI模型，请访问Gemini1.5Pro官网。
彭博社知名记者马克・古尔曼在其最新一期PowerOn时事通讯中透露，他预计苹果公司将在2024年底之前发布全新款的iPadmini和入门级iPad。古尔曼的爆料进一步指出，苹果公司正在积极研发新一代的低端iPad以及iPadmini，这两款新品的具体发布时间预计在今年年底。古尔曼预测，iPad的起售价将低于第10代，以吸引更多消费者。
据用户反馈，华为Mate60Pro最新推送了鸿蒙OS4.2.0.120系统更新。新版本更新包体积620MB，主要变化是新增了几何派对/贴纸主题等。安全合入2024年4月安全补丁，增强系统安全。
EmojiTell是一个创新的在线服务，可以将文本翻译成表情组合，增加沟通的趣味性和表现力。它由一支对表情符号充满热情的开发者和设计师团队开发，旨在通过表情符号的力量，让信息传递更加生动和个性化。
Perplexica是一个开源的AI驱动搜索引擎，它不仅搜索网络，还理解您的问题。它使用先进的机器学习算法，如相似性搜索和嵌入，来优化结果，并提供引用来源的清晰答案。使用SearxNG保持最新和完全开源，确保您始终获得最新信息，同时不损害您的隐私。
FaceChain是一个深度学习工具链，由ModelScope提供支持，能够通过至少1张肖像照片生成你的数字孪生体，并在不同设置中生成个人肖像（支持多种风格）。用户可以通过FaceChain的Python脚本、熟悉的Gradio界面或sd webui来训练数字孪生模型并生成照片。FaceChain的主要优点包括其生成个性化肖像的能力，支持多种风格，以及易于使用的界面。
HuggingFace镜像站是一个非盈利性项目，旨在为国内的AI开发者提供一个快速且稳定的模型和数据集下载平台。通过优化下载过程，减少因网络问题导致的中断，它极大地提高了开发者的工作效率。该镜像站支持多种下载方式，包括网页直接下载、使用官方命令行工具huggingface-cli、本站开发的hfd下载工具以及通过设置环境变量来实现非侵入式下载。
WebLlama是一个基于Meta Llama 3构建的代理，专门为网页导航和对话进行了微调。它旨在构建有效的以人为中心的代理，帮助用户浏览网页，而不是取代用户。该模型在WebLINX基准测试中超越了GPT-4V（零样本）18%，展示了其在网页导航任务中的卓越性能。
GitHub Copilot for Infrastructure as Code（简称Infra Copilot）是一个利用机器学习技术帮助基础设施专业人员自动生成精确基础设施代码的工具。它通过理解基础设施任务的上下文，允许专业人员使用自然语言表达需求，并接收相应的代码建议。Infra Copilot不仅简化了基础设施即代码（IaC）的开发过程，还确保了跨环境和项目的一致性，加速了新团队成员的上手和学习过程，显著提高了工作效率并节约了时间。
LLaVA++是一个开源项目，旨在通过集成Phi-3和LLaMA-3模型来扩展LLaVA模型的视觉能力。该项目由Mohamed bin Zayed University of AI (MBZUAI)的研究人员开发，通过结合最新的大型语言模型，增强了模型在遵循指令和学术任务导向数据集上的表现。
PhysDreamer是一个基于物理的方法，它通过利用视频生成模型学习到的对象动力学先验，为静态3D对象赋予交互式动力学。这种方法允许在缺乏真实物体物理属性数据的情况下，模拟出对新颖交互（如外力或代理操作）的真实反应。PhysDreamer通过用户研究评估合成交互的真实性，推动了更吸引人和真实的虚拟体验的发展。
AI快站是一个为AI开发者设计的服务平台，提供HuggingFace模型的免费加速下载，解决大模型下载缓慢和断开的问题，支持高达4M/s的下载速度，大幅减少等待时间，提高开发效率。
Llama-3 8B Instruct 262k是一款由Gradient AI团队开发的文本生成模型，它扩展了LLama-3 8B的上下文长度至超过160K，展示了SOTA（State of the Art）大型语言模型在学习长文本操作时的潜力。该模型通过适当的调整RoPE theta参数，并结合NTK-aware插值和数据驱动的优化技术，实现了在长文本上的高效学习。此外，它还基于EasyContext Blockwise RingAttention库构建，以支持在高性能硬件上的可扩展和高效训练。
CoreNet 是一个深度神经网络工具包，使研究人员和工程师能够训练标准和新颖的小型和大型规模模型，用于各种任务，包括基础模型（例如 CLIP 和 LLM）、对象分类、对象检测和语义分割。
Llama中文社区是一个专注于Llama模型在中文方面的优化和上层建设的技术社区。社区提供基于大规模中文数据的预训练模型，并对Llama2和Llama3模型进行持续的中文能力迭代升级。社区拥有高级工程师团队支持，丰富的社区活动，以及开放共享的合作环境，旨在推动中文自然语言处理技术的发展。
Interactive3D是一个先进的3D生成模型，它通过交互式设计为用户提供了精确的控制能力。该模型采用两阶段级联结构，利用不同的3D表示方法，允许用户在生成过程的任何中间步骤进行修改和引导。它的重要性在于能够实现用户对3D模型生成过程的精细控制，从而创造出满足特定需求的高质量3D模型。
GraphRAG (Graphs + Retrieval Augmented Generation) 是一种通过结合文本提取、网络分析以及大型语言模型（LLM）的提示和总结，来丰富理解文本数据集的技术。该技术即将在GitHub上开源，是微软研究项目的一部分，旨在通过先进的算法提升文本数据的处理和分析能力。
Qwen1.5-110B是Qwen1.5系列中规模最大的模型，拥有1100亿参数，支持多语言，采用高效的Transformer解码器架构，并包含分组查询注意力（GQA），在模型推理时更加高效。它在基础能力评估中与Meta-Llama3-70B相媲美，在Chat评估中表现出色，包括MT-Bench和AlpacaEval 2.0。该模型的发布展示了在模型规模扩展方面的巨大潜力，并且预示着未来通过扩展数据和模型规模，可以获得更大的性能提升。
ID-Aligner 是一种用于增强身份保留文本到图像生成的反馈学习框架，它通过奖励反馈学习来解决身份特征保持、生成图像的审美吸引力以及与LoRA和Adapter方法的兼容性问题。该方法利用面部检测和识别模型的反馈来提高生成的身份保留，并通过人类标注偏好数据和自动构建的反馈来提供审美调整信号。ID-Aligner 适用于LoRA和Adapter模型，通过广泛的实验验证了其有效性。
Bundle of Joy是一个为准父母设计的应用程序，可以在几秒钟内为他们的新生儿浏览和筛选名字。该应用根据父母的偏好推荐名字，并根据父母的喜好进行学习，为他们提供适合他们口味的新的推荐。父母可以指示宝宝的性别，然后选择以下两个选项之一：名字的首选来源、宗教、主题、首字母和含义。他们开始根据自己的独特偏好获得漂亮的宝宝名字推荐。他们可以随时修改这些偏好，并继续根据自己的口味获得新鲜的推荐。
StudyBoosterAI通过AI技术提供个性化支持，包括定制化学习材料、生动的学习内容、个性化学习计划等，帮助学生更有效地学习和记忆知识。
SNAPVID是一款智能视频编辑工具，利用AI技术提供多个热门视频剪辑建议，用户只需点击一次即可创建多个病毒式视频剪辑。同时，用户可以根据需要自定义剪辑长度和风格，并添加自定义的字幕和动画表情。SNAPVID还支持批量导出和品牌定制，使用户能够轻松导出自己喜欢的视频剪辑并保存项目设置，方便在多个项目中复用。通过AI B Roll技术，SNAPVID还可以自动添加相关的库存视频，提升视频的沉浸感。
Blue Saturn是一款招聘辅助工具，通过即时验证器帮助中型和大型组织验证大量申请者。它可以分析数百个申请者的信息，在不到1分钟内提供全面的报告和排名。Blue Saturn的主要优点是快速验证、全面报告和智能招聘。
