在Build2015大会期间，微软宣布了Project Astoria，即安卓应用“一键”移植到Windows平台。那现在进度如何了呢？
据WMPU报道，他们在Wind10最新公开的预览版Build 10149的系统升级包中发现，共计300MB的内容里，1/3被“projecta”文件夹占据。经分析后发现，该升级包文件中包含一些DLL文件以及Android-on-Windows应用框架。
出乎意料的是，它还包含一个Android文件系统，拥有adbd、安卓系统调试器守护程序等工具以及本地的Hyper-V驱动。
我们几乎可以得出这样的结论，最新的Win10 Mobile系统已经内嵌了一个完整的安卓子系统（隐藏在在System32之下，并且包含一个OpenGLES翻译器）。
看来微软已经做好准备了，是“相爱”还是“相杀”，我们且等等看。
（举报）
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产品的更新等。
根据最新发布的统计机构Statcounter报告，Windows10市场份额重返70%。在Statcounter的全球排行榜上，Windows11的市场份额已进入第二个月的下滑期。目前的情况是，Windows10即将于2025年10月结束支持，因此希望微软能够加快向更多符合条件的设备推广Windows11。
Windows蓝屏死机背后的原因千千万，很多时候来自驱动程序，比如Intel早就确认，他们的无线网卡和蓝牙驱动会导致Windows10/11出现蓝屏死机，官方也多次尝试修复，但一直不是很理想。Intel又放出了新版驱动，其中Wi-Fi驱动版本号23.40.0.4，蓝牙驱动版本号23.40.0.2，正是为解决蓝屏问题来。至于新版蓝牙驱动，也有一些质量更新，包括使用BR/EDR、LE耳机时的性能更好。
小米SU7汽车的方向盘设计引起了众多消费者的关注。特别是方向盘12点钟位置的独特圆环设计，其功能引发了一些好奇。正确确保方向盘回中是安全驾驶的关键要素，特别是在执行泊车或紧急避险操作时，正确的方向盘位置对于车辆控制至关重要。
小狐狸AI付费创作系统是一款功能强大的SaaS版AI对话与Midjourney绘画系统，提供官方正版授权。它支持联网搜索、对话生图、网页分析等功能，完全开源并支持SaaS多开，集成了多个国内接口如百度文心等支持二级分销功能，允许用户进行分销裂变。使用小狐狸AI创作系统，可以显著提升创作效率，缩短创作周期，减少错误率，提高作品的质量和可读性。
鲁大师4月电动两轮车排行榜数据来源于鲁大师智慧实验室，测评的车型均为市面上主流品牌的主流车型。鲁大师智能化电动车测评的车型高达160余台，且还在不断增加和丰富中。通过雅迪T60-D的车机交互功能提升我们也能感受到智能化已经覆盖到几乎所有价位车型，不过传统品牌的高、低端车型智能化仍停留在相对简单移植阶段。
realme真我GT5Pro手机迎来了系统更新。该版本为系列手机带来了全新的5.5G移动网络技术支持，并对相机及系统部分特性进行了优化。此次系统更新将进一步提升了用户使用体验，为用户提供更好的通讯和摄影功能，并对系统的稳定性和流畅性进行了优化。
微软将在年度Build大会上揭示全新的人工智能工具，用于PC和云端应用。CEOSatyaNadella在一月份告诉分析师，2024年将成为“AI成为每台PC的头等部分”的一年五月的会议议程也反映了这一目标。你可以在这里找到2024年Build大会的完整会议目录。
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还可以执行快速搜索和总结，帮助您更快地完成任务。
