曾经有段时间谷歌会每隔 1 个月公布Android生态的版本分布饼图，但后来谷歌公布报告的周期不断拉长，距离谷歌上次分享Android版本分布饼图已经有 1 年多时间了。今天谷歌在分发信息中心页面上写道：“你可以在Android Studio的Create New Project向导中找到平台版本信息。”
换句话说，就是你依然可以看到这些数据信息，至不过不向网络公开。而想要获取这些信息，必须通过Android Studio来获取。在开发一个APP的时候，需要知道用户的比例在哪个API级别，能支持什么样的功能等等。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
在周一的宣布中，Opera的浏览器内人工智能产品Aria现在具备了一个新功能，可以帮助用户快速总结基于文本的网页内容。这款由人工智能驱动的网页摘要工具能够快速浓缩新闻文章、博客文章或研究论文，使其适合在一个屏幕上显示的简短摘要。Opera更新了Aria，使其能够利用Google的Imagen2生成图像，并且还可以大声朗读文本答案。
谷歌正在对Android、Chrome和谷歌硬件部门进行重大重组：它们即将合并！谷歌硬件部门高级副总裁RickOsterloh将领导新的「平台与设备」部门。」希望这能解释清楚一切。
2024年度I/O大会将于5月10日举行，目前距离大会召开还有大概一个月的时间，谷歌提前为我们带来了一份惊喜首个Android15beta版已经正式发布。首批尝鲜的幸运儿们将仅限于谷歌自家的Pixel系列产品其他OEM厂商则需要耐心等待至夏季，方有机会体验这一前沿测试版。除了Android15的惊艳亮相，我们还将迎来Pixel8a新机的首次公开亮相，以及GoogleTV和Chromecast产品的更新等。
博主数码闲聊站暗示，小米15Pro工程机测试了直立长焦和潜望长焦两个版本，目前尚未敲定最终长焦方案。相比直立长焦，潜望式长焦的结构更复杂也更先进，因潜望横向放置，所以机身能够放下更大底更高质量的传感器，减少对光路上的光学器件质量和特性的限制，同时还能放下更好的防抖模块，带来更好的画质、更长的焦距、更稳的出片等等。核心配置上，小米15Pro首批搭载高通骁龙8Gen4平台，新品会在10月份登场。
今日，小米发布澎湃OS系统版本调整公告，为提升小米澎湃OS系统的版本质量，小米将用全新的Beta版模式替换当前的开发版模式。小米澎湃OS将提供两个版本：面向前期内测用户的Beta版，和面向全量用户的正式版。正在发布开发版的机型如下：小米14Pro、小米14、小米13Ultra、小米13Pro、小米13、RedmiK60Pro、RedmiK60、小米MIXFold3、小米MIXFold2、小米12SUltra、小米12SPro、小米12S、小米12Pro、小米12、小米12Pro天玑版、RedmiK50至尊版、RedmiK50电竞版、RedmiK50Pro、RedmiK50、小米Pad5Pro12.4。
据博主数码闲聊站最新爆料，鸿蒙星河版的原生应用都在积极适配，目前流畅度已经追平了现在的鸿蒙系统。这对于个完全自研的新系统来说，是一个非常可喜可贺的成绩，意味着未来切换系统之后，用户也不会因为系统体验和生态受到太大影响。中国市场智能手机市场使用超过99%时间的5000多个应用里面，已有4000多个应用已经明确了迁移计划，华为达成这个成就仅仅用时三个月左右。
快科技5月8日消息，今年早些时候，理想汽车停止发布每周二固定更新的销量榜单。而这份榜单从去年主动发起到今年主动停止，差不多整整一年时间，期间雷打不动。至于为何停止发榜，理想汽车并未给出理由。但暂停数周后，理想于昨日下午重新发布了销量榜，数据显示，在新势力中，理想以0.53万辆超越问界位居第一。那么为何要重新发榜呢？在评论区，理想汽车进行了�
OpenAI首席执行官SamAltman近日表达了对GPT-2语言模型的喜爱之情，尽管他此前批评了早期模型，但他对即将推出的GPT-5充满期待。Altman在社交平台上承认，他“确实对GPT-2有一种软肋”。以上是OpenAIGPT模型的发展历程，展示了从GPT-1到即将推出的GPT-5各个版本的功能特点和改进之处。
谷歌将在今年推出至少三款新Pixel系智能手机，包括Pixel9、Pixel9Pro和Pixel9ProXL。海外的爆料人曝光了谷歌Pixel9Pro的真机照片，让我们可以一睹这款新手机的外观设计。在外观设计、硬件配置等方面进行优化和升级后，这些新手机也将成为市场上的热门选择。
有消息称Google将推出一款集多种功能于一体的AI视频工具——GoogleVids。这款工具旨在帮助用户轻松创作故事板，并通过AI技术协助编辑内容，选择适合的场景、图片和音乐，自动生成一个完整的类似PPT的宣讲视频。GoogleVids将于6月份登陆GoogleWorkspace，届时用户将能够更加便捷地使用这一工具，为自己的工作和学习带来更多便利。
Tiempo 是由前Facebook员工Victor和Vlad创立的AI伴侣，利用人工智能技术帮助用户在上网时集中注意力并避免分心。这个简单的工具可以让您专注于目标，确保在线的每一分钟都富有成效。Tiempo的使命是重新将计算机和手机定位为提高生产力的工具。目前，这款Chrome扩展插件对所有用户免费，同时收集用户反馈以优化产品。
Red Hat Enterprise Linux AI 是一个基于开源的模型平台，旨在无缝地开发、测试和运行企业级应用的大型语言模型（LLMs）。它结合了开源许可的IBM Granite LLMs、InstructLab模型对齐工具、Red Hat Enterprise Linux的可启动镜像以及Red Hat提供的技术支持和模型知识产权保障。该平台支持跨混合云环境的可移植性，并能与Red Hat OpenShift® AI集成，进一步推进企业AI开发、数据管理和模型治理。
即梦Dreamina是一款结合了AI技术的在线创作平台，它通过图片生成、智能画布和视频生成等功能，帮助用户将创意转化为视觉作品。该产品的主要优点在于简化了设计流程，使得非专业人士也能创作出高质量的图片和视频。产品背景信息显示，它由深圳市脸萌科技有限公司开发，定位于为广大创意工作者提供便捷的设计服务。目前产品提供免费试用，具体价格信息未在页面中明确。
Project Bernini 是 Autodesk 研究项目，旨在开发用于设计和制造行业的生成式人工智能。该模型能够从多种输入（包括 2D 图像、文本、体素和点云）快速生成功能性的 3D 形状。Bernini 模型专为专业几何工作流程设计，可以生成给定输入的多个功能性变体。Autodesk 致力于创建可以用于建筑、产品设计、娱乐等多个用例的生成模型，专注于生成功能性 3D 结构，因为这些模型的输出必须在现实世界中工作，以满足设计师的意图。
Chat GPT Side Bar是一个插件，可以在浏览网页时，在侧边栏展示Chat GPT。它提供了一系列功能，包括笔记、新闻、Google应用、加密货币跟踪、游戏集成等。你可以在浏览网页的同时使用Chat GPT，提高工作效率。
GPT Spreadsheets Visualization是一个工具，使用大型语言模型（如ChatGPT）自动探索数据、生成可视化和信息图表格。它可以与任何编程语言和可视化库一起使用，例如matplotlib、seaborn、altair、d3等，并与多个大型语言模型提供商（ChatGPT、PaLM、Cohere、Huggingface等）一起使用。它包括四个模块：摘要生成器、目标探索器、可视化生成器和信息图表格生成器。GPT Spreadsheets Visualization利用最先进的大型语言模型的语言建模和代码编写能力，实现了数据摘要、目标生成、可视化生成、信息图表格生成以及对现有可视化的操作、可视化解释、自动修复、推荐等核心自动化可视化功能。
evyAI是一个AI助手，能够智能地为你创建个性化评论、帖子和回复。它可以帮助你节省时间和精力，在社交媒体上提升可见度，建立信誉和网络机会。
RIZZ是一款AI驱动的约会助手应用，它利用先进的GPT技术为用户生成个性化的回复，帮助用户在约会、社交或专业沟通中留下深刻印象。产品通过分析用户的沟通风格，理解用户的语气、幽默感和词汇量，生成反映用户个性的回复。RIZZ的主要优点在于其个性化和适应性，它不仅能提升用户的沟通技巧，还能增加用户的魅力，帮助用户建立持久的联系。
Sonio是一款AI驱动的软件，旨在提高产前超声检查的效率、准确性和专业性。它通过自动化图像质量控制、报告生成、数据集成和计费来解决医疗团队面临的挑战。Sonio通过实时指导和最新的临床研究，提升团队技能，同时减少IT维护成本，提供现代化的集中解决方案。
ibisPaint 是一款专业的绘画应用，旨在帮助用户轻松创作出精美的绘画作品。该应用提供了各种绘画工具和功能，如画笔、颜色调整、图层管理等。用户可以通过该应用绘制插画、漫画、动画等作品，适用于艺术爱好者、插画师、漫画创作者等。ibisPaint 在用户群体中享有良好的口碑，是绘画领域的热门应用之一。
ChatGLM-Math 是一个基于自我批评流程定制的数学问题解决模型，旨在提高大型语言模型（LLMs）在数学问题解决方面的能力。该模型通过训练一个通用的Math-Critique模型来提供反馈信号，并采用拒绝采样微调和直接偏好优化来增强LLM的数学问题解决能力。它在学术数据集和新创建的挑战性数据集MathUserEval上进行了实验，显示出在保持语言能力的同时，显著提升了数学问题解决能力。
MistoLine是一个SDXL-ControlNet模型，能够适应任何类型的线条艺术输入，展示出高精度和出色的稳定性。它基于用户提供的线条艺术生成高质量图像，适用于手绘草图、不同ControlNet线条预处理器和模型生成的轮廓。MistoLine通过采用新颖的线条预处理算法（Anyline）和基于stabilityai/stable-diffusion-xl-base-1.0的Unet模型的重新训练，以及在大型模型训练工程中的创新，展现出在复杂场景下超越现有ControlNet模型的细节恢复、提示对齐和稳定性的优越性能。
kan-gpt是一个基于PyTorch的Generative Pre-trained Transformers (GPTs) 实现，它利用Kolmogorov-Arnold Networks (KANs) 进行语言建模。该模型在文本生成任务中展现出了潜力，特别是在处理长距离依赖关系时。它的重要性在于为自然语言处理领域提供了一种新的模型架构，有助于提升语言模型的性能。
ImageInWords (IIW) 是一个由人类参与的循环注释框架，用于策划超详细的图像描述，并生成一个新的数据集。该数据集通过评估自动化和人类并行（SxS）指标来实现最先进的结果。IIW 数据集在生成描述时，比以往的数据集和GPT-4V输出在多个维度上有了显著提升，包括可读性、全面性、特异性、幻觉和人类相似度。此外，使用IIW数据微调的模型在文本到图像生成和视觉语言推理方面表现出色，能够生成更接近原始图像的描述。
AlphaFold Server是一个基于AlphaFold3模型的网络服务，能够生成包含蛋白质、DNA、RNA、配体、离子等的高精度生物分子结构预测，并能模拟蛋白质和核酸的化学修饰。该平台由Google DeepMind和Isomorphic Labs合作开发，对于科学研究和生物制药领域具有重要意义，尤其在非商业用途中，它提供了一个强大的工具来预测和分析生物分子结构。
Maimo是一款旨在提升信息处理效率的智能助手，它通过先进的技术帮助用户从日常内容源中快速提取关键信息，包括电话会议记录、财务报告、网页等。Maimo的主要优点在于它的高效率和易用性，用户无需逐行扫描文本，即可通过简单的问答形式检索数据。此外，Maimo还支持与日常应用程序的无缝集成，通过Chrome扩展和Telegram连接，使得数据提取和知识管理更加便捷。
AlphaFold 3是一个革命性的AI模型，它能够预测蛋白质、DNA、RNA、配体等生命分子的结构和相互作用，与现有预测方法相比，对蛋白质与其他分子类型的相互作用预测准确度至少提高了50%，在某些重要类别的相互作用中，预测准确度甚至翻倍。该模型将极大地推进我们对生物世界和药物发现的理解。
AI视频生成器让每个人都能通过文本创作出令人惊叹的视频。功能包括：创意转视频、博客转视频、PPT转视频、推文转视频、头像视频、产品转视频等。适用于内容创作、商业营销、教育培训、电子商务等领域。
SmartSolve是一款最先进、准确的AI作业、练习测验和考试解答工具。它使用下一代人工智能技术，由业内领先的公司支持，确保提供的每个答案都是详细准确的。用户可以直接集成到各种学习平台上，通过直接集成、高亮解答和拍照识别等方式，快速解答作业问题。SmartSolve的目标是辅助学习和加强学习体验，而不是用于作弊或未经授权的协助。
Cici是一款基于GPT的浏览器AI助手，可以回答问题、摘要复杂网页、智能整理搜索结果等。使用Cici，您可以像ChatGPT一样快速获取答案，浏览复杂的网页和视频时，只需一键摘要和互动，写邮件时，Cici可以为您起草正式而恰当的文本。Cici还可以执行快速搜索和总结，帮助您更快地完成任务。
