今天被称为MIUI 8先行版的MIUI 7.5正式开启推送，用户更新后将获得部分MIUI 8当中所包含的新特性和新功能。主要包括：MIUI 8悬浮球、小米兰亭字体、小米公交、全新输入法等等。MIUI 7.5 稳定版首批发布机型包括小米Max 高配 64G/128G、小米Max 标准 32G、小米手机5、小米手机4S、小米Note 顶配、小米Note 双网通/全网通、小米手机4c、小米手机4i、小米手机4 联通/电信3G/移动、小米手机4 电信4G、小米手机3 移动等。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
2024年4月10日晚，小米发布了全新的电视新品——小米电视S85MiniLED。小米电视S85MiniLED提供高亮、高刷、高分区的超高水准的配置，配合自研大师画质引擎，弥补目前中端电视画质以及体验的短板。除了85英寸版本，小米还为用户提供了55、65、75三个尺寸，其中55寸首发2799元，65寸首发3499元，75寸首发4599元。
备受期待的GeminiPro1.5以及其百万上下文功能已经向所有用户开放。这一新功能的推出，无疑将为AI领域的应用带来更多可能性。我们期待看到更多的创新和突破。
在人工智能领域，一款名为Kimi的智能助手横空出世，其长文本阅读解析能力甚至超越了业界领先的ChatGPT4。Kimi由月之暗面科技有限公司开发，最初支持约20万汉字的无损上下文输入在短短半年内，这一数字被提升至200万字，创造了消费级AI产品中的新纪录。这一系列的动作显示出国产AI技术的快速发展和市场对其潜力的高度认可。
Google宣布开放其AI模型Gemini1.5Pro的API，这一版本在原有基础上进行了大幅度的功能扩展，现已在180多个国家提供。Gemini1.5Pro引入了对原生音频的理解能力，以及文件API和系统指令等新功能。这个新模型在MTEB基准测试中取得了更强的检索性能，超过了具有可比维度的所有现有模型。
今晚小米电视SMiniLED系列电视发布，号称MiniLED电视普及风暴。小米电视SMiniLED系列推出了55英寸、65英寸、75英寸和85英寸四种尺寸，价格分别定为2799元、3499元、4599元以及5999元。这款小米电视SMiniLED系列的发布，无疑将为消费者带来更高品质的观影体验，同时也推动了MiniLED电视的普及。
4月4日消息，海联金汇科技股份有限公司（下称“海联金汇”）在深交所发布公告称，4月3日，与天津同融电子商务有限公司（下称“天津同融”）签署了《股权转让协议》，公司拟将全资子公司联动优势科技有限公司（下称“联动优势”）持有的联动优势电子商务有限公司（下称“联动商务”）100%股权转让给天津同融。本次股权转让的价格为：人民币7.5亿元的基准转让对价 �
小米计划在今年上半年推出旗下首款小型折叠屏手机MIXFlip。MIXFlip将采用后置双摄系统，主摄像头采用了光影猎人800传感器，这是RedmiK70Pro所采用的图像传感器。在核心配置方面，MIXFlip搭载了高通骁龙8Gen3移动平台，这是目前市场上最强悍的小型折叠屏手机之一，也是首款搭载骁龙8Gen3的小型折叠屏手机，同时支持67W有线闪充技术。
台电即将推出的M50Mini平板电脑是一款功能丰富、性能强大的设备。这款8英寸小平板新品搭载了8.7英寸的IPS屏幕，为用户提供了出色的视觉体验。M50Mini价格尚未公布，预计很快将会上市与大家见面。
今晚，小米汽车发布最新一期SU7答网友问，回答了SU7标准版代客泊车、运动声浪能否自行调节声音大小等网友关心的问题。小米SU7各车型版本均支持代客泊车辅助AVP功能。到达目标车位后，如果被占用，小米SU7也能自主选择旁边空余车位，适合新手司机或不想自己停车的用户。
一位专注于人像摄影的艺术创作者。从涉足摄影领域起，已经历了九年的时光，最初陪伴我一路走来的伙伴是佳能单反相机，成为了我七载光阴里的“贴身男友”及并肩作战的战友。再次感谢您的关注，下次更新时，我们将继续探讨有关S5M2的更多实战心得。
Meta AI 是一款功能强大的 AI 助理,建立在 Meta 的先进 AI 技术之上。它可以帮助您完成各种任务,如创建备忘单、润色电子邮件写作、回答问题等。同时它还具有图像生成功能,可以根据您的文字描述生成相应的图像。Meta AI 免费使用,致力于为用户提供高效、智能、多功能的 AI 体验。
Meta Llama 3是Meta公司推出的新一代开源大型语言模型,性能卓越,在多项行业基准测试中表现出色。它可支持广泛的使用场景,包括改善推理能力等新功能。该模型将在未来支持多语种、多模态,提供更长的上下文窗口和整体性能提升。Llama 3秉承开放理念,将被部署在主要云服务、托管和硬件平台上,供开发者和社区使用。
HuggingChat是一款iOS应用程序,旨在促进用户与多家提供商(如Mistral AI、Meta和Google)的多个顶尖大型语言模型之间的无缝沟通。它可以满足多种场景需求:激发创意,提供专家指导,促进教育与自我提升,提高工作效率,快速响应日常问题等。作为变革性AI技术的先锋采用者,HuggingChat将让您体验与先进大语言模型对话的无限可能。
SpeedLegal是一个利用机器学习技术（特别是深度学习、大型语言模型和通用AI）来突出合同中的条款和关键风险的技术初创公司。我们分析您的文档并发送给您一个简化的报告，以便您在签名前做出更明智的决策。
FCK.School是一个为学生提供AI写作工具的在线平台。它可以帮助学生改善写作技巧，提升学术表现。通过FCK.School的AI驱动工具，学生可以进行文本改写、文摘、语法纠错等操作，还能生成各种写作素材，如标题、论点、大纲等。FCK.School提供免费工具以供试用，同时还有付费订阅计划。
CompliantChatGPT是一款专为医疗保健行业设计的AI助手，它通过HIPAA合规的方式，帮助医疗工作者安全、高效地处理医疗相关任务。产品具备以下特点： - 保护患者数据安全，通过令牌化技术确保个人健康信息（PHI）的安全。 - 提供个性化的医疗模式，包括血液分析、PHI匿名化、诊断和治疗规划等。 - 用户友好的界面设计，支持语音到文本的笔记功能，便于记录和回顾。 - 定价策略灵活，提供免费试用，以及多种付费套餐选择。 - 适用于医疗提供者、专业人士、医疗机构、研究中心和健康科技初创企业。
Healax是一款创新的AI驱动的心理健康解决方案，专为学生设计，帮助他们主动应对日常生活中的压力和焦虑。该产品通过建立学生、行政人员和提供者之间的信任沟通渠道，提供定制化活动和内容，以促进更全面的教育体验。
Snowflake Arctic Embed是一系列基于Apache 2.0许可开源的文本嵌入模型，专为检索用例设计。这些模型在Massive Text Embedding Benchmark (MTEB)检索基准测试中提供了领先的检索性能，为组织在结合专有数据集与大型语言模型（LLMs）进行检索增强生成（RAG）或语义搜索服务时提供了新的优势。这些模型的尺寸从超小型（xs）到大型（l），具有不同的上下文窗口和参数数量，以满足不同企业的延迟、成本和检索性能需求。
DuerOS X是小度基于百度文心大模型推出的全球首个AI原生操作系统。它彻底颠覆了传统的人适应系统的模式，实现了端到端连接用户的意图与任务，极大地拓展了操作系统的边界。DuerOS X全面应用了文心大模型，通过模型路由架构，能够灵活调度不同的文心模型去解决不同难度的问题，更高效、更精准、更经济。个性化长短记忆的存储、提取和理解能力，使得DuerOS X能够更清楚地记住历史内容与用户个性化偏好。此外，多模态感知技术的应用，让DuerOS X产生更丰富的感知力，无论是通过语音、文字还是表情与小度沟通，都能准确地理解用户的意图，并给出恰当的回应。
abab 6.5系列包含两个模型：abab 6.5和abab 6.5s，均支持200k tokens的上下文长度。abab 6.5包含万亿参数，而abab 6.5s则更高效，能在1秒内处理近3万字的文本。它们在知识、推理、数学、编程、指令遵从等核心能力测试中表现出色，接近行业领先水平。
mistral-common是一套帮助您处理Mistral模型的工具。它不仅包含文本到token的转换，还增加了工具解析和结构化对话。目前发布了三个版本的tokenizer，分别适用于不同的模型集合。
AI语法检查与改写工具- LanguageTool是一款免费的语法检查工具，可以检测文本中的语法错误并提供改写建议。它能够检测出拼写错误、语法问题、常见词汇混淆和标点符号错误，并提供改写建议、同义词替换和简洁句子重写。该工具适用于多种语言，支持多个平台和应用场景，如社交媒体、电子邮件和网页。
AI 3D Generation是Spline推出的一款3D设计工具，它支持文本到3D生成和图像到3D生成，允许用户通过简单的文本提示或2D图像自动创建出详细且精确的3D模型。该工具具有生成变体与混合、直观且适合初学者、创建独特的3D库、平台集成与实时协作、易于集成和发布等功能。
FocuSee 自动跟踪光标移动，应用动态缩放效果，为您节省宝贵时间和额外的努力。适用于演示，教程，推广视频等多种场景。
Ai-to-pptx 是一个使用 AI 技术 (ChatGpt 和 Gemini) 制作 PPTX 的助手，支持在线修改和导出 PPTX。主要功能包括使用 ChatGPT 等大语言模型生成大纲、允许用户再次修改内容、选择不同模板、在线修改 PPTX 的文字、样式、图片等，支持导出 PPTX、PDF、PNG 等多种格式。价格为付费，商业授权价格为 22000 元人民币或 3000 美元。
CodeQwen1.5是一个基于Qwen语言模型的代码专家模型，拥有7B参数，支持92种编程语言，最长支持64K的上下文输入。它具备代码生成、长序列建模、代码修改和SQL能力等，旨在提高开发人员的工作效率，简化软件开发流程。
PixArt-Sigma是一个基于PyTorch的模型定义、预训练权重和推理/采样代码的集合，用于探索4K文本到图像生成的弱到强训练扩散变换器。它支持从低分辨率到高分辨率的图像生成，提供了多种功能和优势，如快速体验、用户友好的代码库和多种模型选择。
InstantMesh是一个基于LRM架构的前馈框架，用于从单张图像高效生成3D网格。它支持低内存GPU环境，并能生成具有纹理映射的3D网格模型。
MagicClothing是一种基于潜在扩散模型（LDM）的新型网络架构，专门用于服装驱动的图像合成任务。它能够根据文本提示生成穿着特定服装的定制化角色图像，同时确保服装细节的保留和对文本提示的忠实呈现。该系统通过服装特征提取器和自注意力融合技术，实现了高度的图像可控性，并且可以与ControlNet和IP-Adapter等其他技术结合使用，以提升角色的多样性和可控性。此外，还开发了匹配点LPIPS（MP-LPIPS）评估指标，用于评价生成图像与原始服装的一致性。
FireCrawl 是一款由 Mendable.ai 开发的开源项目，它能够无需站点地图即可抓取任何网站的所有可访问子页面，并将这些内容转换为干净、格式化的Markdown文档。它特别适合数据科学家、机器学习工程师、内容创作者和市场分析师使用，以从网站内容中提取有价值的信息。FireCrawl 能够处理使用JavaScript动态渲染的内容，提供API服务，支持自托管，并与多种开发者工具和框架集成。
