一年一度的苹果 WWDC 2018（苹果全球开发者大会）已经于北京时间 6 月 5 日凌晨开幕。 本次开发者大会主要是苹果四大操作系统的更新，并没有推出硬件新品。
从 WWDC 2018 发布会全程回顾来看，全新的 iOS 12 带来了诸多新特性，并且大幅提高了系统速度和稳定性。那么 iOS 12 正式版都支持哪些机型呢？
iOS 12 正式版支持的设备：
苹果最新的 iOS 12 系统与 iOS 11 支持的设备是一致的，向下支持最低至 iPhone 5s、iPad mini 2。 具体支持的型号如下图：
iOS 12 正式版发布时间：
iOS 12 在 WWDC 2018 苹果全球开发者大会上正式亮相后，将从今日开启内测，而开发者用户已经可以开始下载iOS 12 开发者预览版 Beta1 固件进行升级体验。
按照惯例，苹果 iOS 12 正式版将于今年秋季正式向所有用户推送。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
华为官方于今日发布了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正式版。
今天凌晨，苹果推送了iOS17.5开发者预览版Beta2系统。苹果已经为iOS17.5加入了网页上下载安装App的功能，允许开发者直接在其网站上提供App以供下载。非营利组织、经认可的教育机构和政府实体免收该费用。
新壹科技在第十一届中国网络视听大会AIGC和数字人发展论坛上发布了名为“秒创AI视频”的新产品。该产品使用了前沿的DiffusionTransformer技术，实现了从“文本到视频”、“图像到视频”以及“文本图像到视频”的全流程创作。新壹科技将继续优化技术，推出更流畅、更长时长、更符合逻辑的AI视频，同时致力于降低视频模型的训练与生成成本，让更多用户享受AI视频带来的便利和乐趣。
2024年度I/O大会将于5月10日举行，目前距离大会召开还有大概一个月的时间，谷歌提前为我们带来了一份惊喜首个Android15beta版已经正式发布。首批尝鲜的幸运儿们将仅限于谷歌自家的Pixel系列产品其他OEM厂商则需要耐心等待至夏季，方有机会体验这一前沿测试版。除了Android15的惊艳亮相，我们还将迎来Pixel8a新机的首次公开亮相，以及GoogleTV和Chromecast产品的更新等。
据Macworld报道，iOS17.4的更新为iPhone12带来了使用Qi2标准进行15W无线充电的功能。Qi2是无线电力联盟设计的下一代无线充电技术，并基于MagSafe技术。我们也期待未来会有更多手机品牌和产品支持Qi2标准，进一步推动无线充电技术的发展和应用。
Gorq的iOS应用已经推出，旨在为用户提供快速高效的输出服务，该应用支持的模型有Llama38B、70B、Llama270B、Mixtral8X7B、Gemma7B。安装地址:https://testflight.apple.com/join/Y9X0wGsiGorq的处理速度在App端的体验会更直观，LLM响应对话内容推理时间在1s内，再加上语音合成时间，实时对话就更流畅了。为了让用户更加方便地安装和使用，开发者提供了TestFlight链接。
XAI发布了其最新的大型语言模型更新——Grok-1.5。该版本在编码和与数学相关的任务中表现出了显著的性能提升。我们期待看到这些新功能在未来几天的发布，以及它们将如何改变我们对大型语言模型的认知和使用。
3月30日，iQOO12系列手机迎来了灰度更新PD2307_A_14.0.18.11.W10.V0101L18版本。该版本带来了多项重要功能和优化。如果还没有进行更新的用户可以考虑一下升级了。
快科技4月1日消息，据阿维塔官方消息，最新款阿维塔12敞篷车今日首次亮相。官方表示，除了阿维塔12焕新版外，阿维塔将再次诠释豪华不妥协”，敬请期待。从官方发布的预告图来看，新车依旧基于阿维塔12标准版打造，采用了十分罕见的四门敞篷设计，车身线条十分优雅。车头部分，新车依旧保留了家族化的设计，C字形的日间行车辨识度十足，为整车营造出了一种科技感�
Nextminds是一个提供在线辅导服务的平台，通过与经验丰富的导师在线互动，为学生提供个性化的学习经验。平台提供ICSE、CBSE和州委员会等多种教育体系的辅导。Nextminds的主要优点是学生可以在舒适的家中与专业的导师进行一对一的在线学习，为学生提供高质量的辅导服务。
Pedagogue是一款AI技能培训平台，旨在帮助个人和企业提升AI技能。通过该平台，用户可以学习AI工具、技术和策略，并获得40%的生产力提升。Pedagogue的优势在于更新及时的内容库、个性化的技能培养、有趣的学习方式以及具有商业价值的数据驱动洞察。
LexiGym是一款语言学习应用，帮助用户提升语言技能。它具有离线和多语言支持的创新功能，是最强大的语言学习伴侣。用户可以根据自己的预算选择免费使用或付费订阅，灵活选择学习方式。LexiGym还提供易于创建字典和智能学习等功能，以及详细的训练统计数据。
A Levels AI利用人工智能技术，提供个性化的学习计划和辅导资源，帮助学生在A Levels考试中取得优异成绩。它通过分析学生的学习情况和弱点，为其提供针对性的学习建议和练习题。A Levels AI还提供实时答疑和学习进度跟踪功能，帮助学生更好地掌握知识。
MailReply通过AI生成邮件回复，帮助用户节省时间。它可以在保持人类写作风格的同时，根据邮件内容生成上下文相关的回复。MailReply适用于Windows和macOS，并兼容多种邮件客户端。
Notification harbor是一个为电子邮件营销团队提供AI优化的电子邮件内容和自动化流程的平台。通过使用LLM技术，我们可以在短短5分钟内创建高性能的电子邮件营销内容，并且随着时间的推移，产品甚至可以自我优化。我们的平台简化了电子邮件营销活动的方式，确保每个活动都能精准地与您的目标受众建立联系。AI生成的电子邮件模板根据您提供的信息和要求选择最合适的模板。实时个性化电子邮件可以提高用户参与度和转化率，并根据每个用户实时定制内容。AI驱动的电子邮件营销使您的团队在创建电子邮件模板和文本方面节省了60％的时间。
Magic Loops是一种基于ChatGPT的自动化工具，可以连接数据、发送电子邮件、接收短信、爬取网站等功能。它能够帮助用户自动化生活中的各种任务，提高工作效率。Magic Loops的主要优点是可以与各种数据源和应用程序集成，轻松实现个性化的自动化需求。
Reply Auto是一款使用AI技术的邮件助手，它能够自动分析邮件内容，根据上下文提供智能回复。它的主要优点是提高工作效率，减轻用户的邮件负担，并能够个性化定制回复。Reply Auto定位于帮助用户更高效地处理电子邮件，提高工作效率。
AI Mailman利用最新的人工智能技术创建世界上最准确的邮件，比人类更快速和高质量。它提供简单的用户界面，能够创建世界上最强大的邮件模板，打开率更高。使用AI Mailman创建的邮件打开率是其他方式的10倍，生成时间只需10秒。
Inpost.ai是一款基于AI的移动应用程序，可以优化个人电子邮件体验。它帮助用户智能地组织和清理收件箱，专注于重要的电子邮件。它提供无缝的邮件交互，提供增强的安全性和独家功能。通过高级AI模型分析邮件内容，而不暴露用户的敏感信息。用户可以轻松追踪支出、管理发票，并利用促销优惠来优化个人预算。Inpost.ai还提供定制的收件箱分类，让用户能够个性化和高效地管理和优化收件箱。
Leadog.io是一款AI驱动的冷邮件营销平台，提供冷邮件发送、线索跟踪和互动等功能。它采用先进的AI技术来优化冷邮件营销策略，提供精确的邮件投递和跟踪，帮助用户更好地了解和转化潜在客户。
Prospect AI是一款插件，可以帮助销售团队、数字营销人员和公关专业人员免费查找公司的联系人。它使用人工智能技术，快速获取所需的联系人信息，帮助用户拓展业务关系。
Email Whisperer是一个用于Gmail和Outlook的AI电子邮件编写工具。它可以帮助你轻松地写出完美的电子邮件，提供重新表达、拼写检查和修正功能。它能够提高你电子邮件的清晰度和风格，并确保邮件无错误。Email Whisperer是一个提高电子邮件写作效率的工具，让你的邮件专业而准确。
Humanize AI Text是一个免费在线的AI文本人性化转换工具，能够绕过AI检测，并将AI生成的文本转换为与人类写作相匹配的内容。
Happily.ai是一个AI工具包，帮助人力资源和经理人通过无忧无虑的参与、认可和绩效管理来提高人才留存和团队生产力。
ChatKPI是一个AI数据分析工具，旨在帮助Shopify商家做出更明智的数据驱动决策。它可以提供实时洞察力，跟踪销售趋势，识别热门产品，了解客户行为，并通过自然语言对话提供个性化的商业洞察。ChatKPI可以通过文本消息或在Shopify商店内安装的应用程序使用。
Limodify.AI革新了电子商务邮件的创建过程，只需点击几下，选择格式，输入关键信息，即可在30秒内获得准备好发送的AI设计的邮件。节省时间，利用先进技术，精确实现您的营销目标。立即免费开始使用。
PurplePro是一个使用AI技术的插件，它可以帮助您在短短两个点击的时间内启动您的忠诚度俱乐部。PurplePro通过游戏化和动态的积分规则增加用户参与度，并奖励他们。它还提供了强大的推荐、挑战、问卷和可变奖励功能，帮助您将首次用户转化为忠实的客户。
LISUTO株式会社は、eコマースのセラーやマーケットプレイスが売上を増やし、時間を節約し、コアビジネスに集中できるスマートデータ構造化ソリューションのリーダーです。LISUTO AIは、AIタッガーやイメージタッガーなどのサービスを提供し、商品のタグ登録やナビゲーション改善などを自動化し、効率を向上させます。
geni-e是一款一体化的AI产品图像解决方案，企业可以使用该解决方案自动生成更好的产品图像。通过使用我们预设的背景设置，上传产品图像或使用自定义提示生成产品图像，您可以将在线商店的形象提升到一个新的水平。
