小米10系列被雷军视为小米重新冲击高端化的起点机型，它最终的市场表现也超乎预期。
雷军演讲中公布的数据显示，截至今天，小米10系列累计销量已达577万台，而且小米10S仍在持续销售中。
要知道，当初规划时，内部预期的小米10销量是200万台。雷军表示，小米10的表现意味着高端之路首战告捷。
雷军指出，小米手机今后的高端产品还要延续小米模式，依靠米粉、相信米粉。
据悉，在演讲过后，雷军将发布小米MIX 4新机，爆料称该机采用一块6.67英寸CUP全面屏，2400x1080分辨率，骁龙888+处理器，LPDDR5+UFS 3.1存储，1亿像素+800万+1300万三摄，前置2000万像素屏下摄像头，4500mAh电池，120W有线+50W无线快充，价格预计4999元起。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
TechInsights的报告显示，苹果的市场份额仅为13.7%，跌出了前五名成为Others，位居OPPO、荣耀、华为、vivo和小米之后。对于小米来说，今年的智能手机出货量增速依旧很高，特别是旗下高端系列。
截至4月20日，小米汽车SU7的锁单量已经突破了7万台大关。这一成绩不仅彰显了小米汽车在市场上的强劲表现，也预示着其未来的巨大潜力。雷军在之前的直播中介绍称，该车型已经在北京和深圳两地开启了正式版汽车的交付工作，并计划近期逐步向全国开放交付。
大众汽车集团发布了第一季度财报。2024年第一季度销售额为755亿欧元，同比下降1%，营业利润为46亿欧元，同比下降20%。在欧洲本土市场，销量为90.67万辆，同比下跌0.3%，纯电动汽车销量为7.44万辆，同比下跌2%。
据媒体报道奇瑞公布了4月销量成绩。奇瑞控股集团4月份销售汽车182，049台，同比增长43.7%；其中出口89，377台，同比增长18.3%；新能源销量32995台，同比增长165.2%。按品牌来看，奇瑞品牌4月份销量117726台；1-4月份销量482947台，同比增长57.5%；星途品牌4月份销量8235台；1-4月份销量31728台，同比增长28%；捷途品牌4月份销量37248台；1-4月份销量144724台，同比增长104%；iCAR品牌的首款产品iCAR03刚刚上市2个月，其中4月份销量7524台；累计销量13011台。
不少消费者推崇的法国巴黎水”出事了，被曝细菌超标，并且遭大规模销毁。当地时间本月25日，法国卫生总局发布通知称，知名气泡矿泉水品牌巴黎水”的200万瓶气泡水，因被怀疑沾染了有害细菌已被销毁。值得一提的是，这并非是雀巢首次因饮用水安全问题被曝光，今年1月份，雀巢方面承认违法使用紫外线灯、碳过滤等方法给天然矿泉水做消毒处理，法国检察机关对其在法国经营饮用水的分公司就净化天然矿泉水的方法展开刑事调查。
2024年北京车展盛大开幕，小米汽车借此时机举行了备受瞩目的发布会，小米集团董事长雷军亲自上台发表演讲。雷军分享了一系列令人振奋的消息。小米汽车在北京车展的发布会上展现出了强大的实力和发展潜力，雷军的演讲更是为小米汽车未来的发展注入了强大的信心和动力。
大型语言模型往往会追求更长的「上下文窗口」，但由于微调成本高、长文本稀缺以及新token位置引入的灾难值等问题，目前模型的上下文窗口大多不超过128k个token最近，MicrosoftResearch的研究人员提出了一个新模型LongRoPE，首次将预训练LLM的上下文窗口扩展到了2048k个token，在256k的训练长度下只需要1000个微调步骤即可，同时还能保持原始短上下文窗口的性能。论文链接:https://arxiv
刚刚，小米卢伟冰发布微博表示，雷总在今日举办的小米投资者大会上宣布，截止到4月20号，小米SU7锁单量已经超过7万台，今年的产能已经卖完了。锁单的7万台里，标准版占比28.57%，Pro版占比28.27%Max版占比最多，达到了43.16%，可见顶配最受欢迎。全民开始公测，几乎每一个小的细节，大家都用放大镜来看。
如今很多带货直播间热度极高，不了解的人很容易轻信认为该直播间比较权威，从下单，但其实背后是满满的套路。宁波鄞州区人民检察院受理了浙江首批因造假手段操控软件虚增直播间人气被判非法经营罪的案件。该系列案共有17人进入检察院审查起诉阶段，其中10人已获得法院有罪判决。
Kimi智能助手在节后迎来了首次大规模更新，为用户带来了全新的Kimi功能。用户只需在网页聊天框中轻松输入@，或在左侧工具栏一键点击，即可畅享Kimi带来的便捷与智能。全新升级的Kimi功能无疑将为用户带来更加便捷、智能的使用体验。
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还可以执行快速搜索和总结，帮助您更快地完成任务。
