中关村在线消息：12月1日，据相关爆料，苹果于今日向iPhone用户推送了iOS 16.1.2更新（内部版本号：20B110），本次更新距离上次发布隔了21天。本次更新主要改善了iPhone14和 iPhone14 Pro车祸检测功能的可靠性，改善了与无线运营商的兼容性，还带来了重要的安全补丁。
据悉，苹果为iPhone用户提供的下一个软件更新将是iOS16.2，这一更新目前正在进行测试，包括一些新功能和变化，如苹果新的无边记应用，Home应用的更新等，预计将在12月中旬发布。
（举报）
苹果iOS16.1.2正式版发布！车祸检测可靠了
- 相关推荐
- 大家在看
-
【腾讯云】11.11云上盛惠！云服务器首年1.8折起，买1年送3个月！
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
广告 -
华为鸿蒙OS 4.2正式版发布！Mate 60等22款设备今起升级
今日，华为官方发布HarmonyOS4.2正式版升级计划，华为Mate60、Pocket2、MatePadPro13.2英寸、智慧屏V5及WATCHUltimate等22款设备今日起开启升级。具体机型如下：手机：华为Mate60、华为Mate60Pro、华为Mate60Pro、华为Mate60RSIULTIMATEDESIGN、华为Pocket2、华为Pocket2艺术定制版、华为MateX5、华为MateX5典藏版。根据华为升级预告，华为Mate50系列、P60系列、nova12系列等设备将于5月中旬起升级鸿蒙OS4.2正式版。
-
苹果iOS 17.5公测版发布：修复无障碍功能并引入新功能
苹果公司于4月25日发布了iOS17.5、iPadOS17.5、macOS14.5和watchOS10.5的第三个公测版。这些更新的内容与昨天发布的Beta3版本完全相同，并邀请用户进行测试体验。还需要服从苹果公司的公证程序并公布透明的数据收集政策。
-
Synthesia虚拟数字人Expressive-1 AI Avatars正式版发布
Synthesia公司最近推出了一款创新的虚拟数字人形象技术——Expressive-1AIAvatars，这是一款能够根据文本内容自动预测并展现丰富表情的AI虚拟形象。这项技术能够将文本转换为包含面部表情、语音和肢体语言的视频内容，极大提升了视频的表现力和吸引力。易于维护和更新:提供简便的视频更新和反馈工具，支持将视频嵌入到用户喜爱的工具中。
-
华为鸿蒙OS 4.2正式版来了！Mate 60等22款设备今起升级
华为官方于今日发布了HarmonyOS4.2的正式版升级计划。此次升级包括华为Mate60、Pocket2、MatePadPro13.2英寸、智慧屏V5以及WATCHUltimate等22款设备，从今天起陆续开启升级。根据华为的预告，华为Mate50系列、P60系列、nova12系列等设备将于5月中旬起升级至鸿蒙OS4.2正式版。
-
OpenAI发布GPT-4-Turbo 正式版 可识别图片
OpenAI发布了GPT-4-Turbo正式版，这是一个带有视觉能力的模型，能够处理128k的上下文。这个模型现在已经全面开放，可以通过“gpt-4-turbo”来使用，最新版本为“gpt-4-turbo-2024-04-09”。GPT-4-Turbo是一个功能强大的模型，它的发布将为AI领域带来新的可能。
-
iOS18或不包含苹果自研聊天机器人
据彭博社知名记者马克・古尔曼的最新报道，苹果即将在即将发布的iOS18系统中，带来一批全新的AI功能。引人关注的是，这些功能将完全在设备端运行，无需依赖云服务器进行处理。全球开发者将有机会一睹这些全新AI功能的真容，并期待它们为苹果生态带来更加出色的表现和体验。
-
三星重回智能手机王者之位！IDC预计今年安卓增速为苹果iOS的两倍
IDC研究总监NabilaPopal表示，预计今年安卓增速将是iOS的两倍。NabilaPopal指出，苹果今年第一季度销量下降了10%，主要原因是苹果在中国市场失利，其对手三星却重回全球智能手机出货量的榜首位置。IDC还表示，虽然三星苹果保持对高端市场的高占有率，但华为在中国的复苏以及小米、传音、OPPO、一加和vivo出货量的显著增长，可能会使这两家厂商寻找多元化的领域。
-
小米10S推送澎湃OS正式版更新：底层重构 性能更强
日前，多位小米10S用户反馈称收到澎湃OS正式版更新，版本号为1.0.3.0.TGACNXM，附带谷歌2月安全补丁。小米澎湃OS基于深度进化的Android以及自研的Vela系统融合，重写底层架构，实现超低功耗渲染框架，提升续航能力并提供更流畅的动画效果。需要提醒的是，本次更新为安卓跨版本升级，为降低升级风险，建议提前备份个人数据。
-
喜提爱车又进一步！雷军：已在北京深圳交付正式版小米SU7
在昨日直播中，雷军透露称，小米SU7已经在北京和深圳两地开启正式版汽车的交付工作。小米SU7上市后，优先交付创始版，共计5000台，两周已经过去，创始版交付工作即将完成，正式版交付则已经提到了日程之上，这意味着个更多用户距离喜提爱车又进了一步。供应商也被要求增加产能至月产1万辆，高配版车型被要求重点增加产能。
-
旗舰级SUV！比亚迪方程豹豹8官宣：4月16日正式发布
方程豹今日发布了豹8量产版的预告图。豹8概念版SUPER8已经在2023年成都车展上亮相，新车作为方程豹583硬派家族”中的第二款车型，据透露，豹8将采用云辇-P等先进系统。方程豹官方还暂未公布该车的详细信息，更多消息，我们将持续为您报道。
-
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应用。
-
RMBG:利用AI技术，快速高效地从您的图片中移除背景。
AI-Powered Background Removal（AI驱动的背景移除）是一款基于AI技术的在线工具，它能够快速且高效地从用户上传的图片中移除背景。该工具的主要优点在于其隐私保护和本地执行能力，即图片处理在用户设备上完成，无需上传至互联网，保证了数据的安全性和处理速度。此外，作为一款开源且完全免费的工具，它极大地释放了用户的创造力，无需担心成本问题。
-
SearchForJohn:一个专注于搜索功能的在线工具
SearchForJohn是一个在线搜索工具，旨在帮助用户快速找到所需的信息。它以简洁的界面和高效的搜索算法为特点，为用户提供了一个便捷的信息检索平台。该产品的主要优点包括快速响应、准确的搜索结果和用户友好的界面设计。SearchForJohn的背景信息显示，它是由一群对搜索技术充满热情的开发者创建的，旨在解决用户在信息过载时代中寻找特定信息的难题。目前，该产品提供免费试用，但具体价格和定位信息未在页面上明确展示。
-
OpenBioLLM-Llama3-8B:一款专为生物医学领域设计的开源大型语言模型
OpenBioLLM-8B是由Saama AI Labs开发的先进开源语言模型，专为生物医学领域设计。该模型在大量高质量的生物医学数据上进行了微调，能够理解并生成具有领域特定准确性和流畅性的文字。它在生物医学基准测试中的表现超越了其他类似规模的开源生物医学语言模型，并与更大的专有和开源模型如GPT-3.5和Meditron-70B相比也展现出更好的结果。
-
小悟空AI:一站式智能工具集，助力创作与运营。
小悟空是一个集成了多种智能工具的网站，旨在提高个人和团队的创作效率和运营效果。它通过提供诸如文章生成、视频脚本创作、笔记创作等多样化功能，满足不同用户在内容创作、个人表达、学习教育等方面的需求。产品背景基于人工智能技术，结合大数据分析，为用户提供个性化、高质量的服务。价格定位为免费试用，部分功能付费，以适应不同用户的需求。