月之暗面Kimi开源数学定理证明模型Kimina-Prover
Kimi 技术团队近日发布了 Kimina-Prover 预览版的技术报告，并开源了1.5B 和7B 参数的模型蒸馏版本、用于数据生成的 Kimina-Autoformalizer-7B 模型以及修订过的 miniF2F 基准测试数据集。Kimina-Prover 是由 Numina 和 Kimi 团队联合研发的一款数学定理证明模型，它在形式化定理证明领域采用了一种新颖的、由推理驱动的探索范式，
挑战第一方 Siri：Perplexity 在苹果 iOS 平台推出 AI 语音助手
IT之家 4 月 24 日消息，AI 企业 Perplexity 北京时间昨日宣布为旗下苹果 iOS 平台应用程序推出 AI 语音助手功能。这一第三方程序可在一定程度上实现近似苹果第一方 Siri 助手的使用体验。Perplexity 称其 AI 助手可通过网页浏览和多应用操作来执行用户语音中想要的操作，在介绍视频中这包括自动的地图搜索、餐厅预订、电子邮件草拟、提醒设置和媒体播放。广告声明：文内
昆仑万维开源Skywork-R1V 2.0版本 视觉与文本推理能力提升
4月24日，昆仑万维宣布正式开源其多模态推理模型Skywork-R1V2.0（以下简称R1V2.0）。这一升级版本在视觉与文本推理能力上均实现了显著提升，特别是在高考理科难题的深度推理和通用任务场景中表现出色，堪称当前最均衡兼顾视觉与文本推理能力的开源多模态模型。R1V2.0的开源，不仅是昆仑万维在多模态领域技术实力的体现，也为全球开发者和研究者提供了强大的工具，推动多模态生态建设。该模型在多个权
豆包深度思考和文生图3.0模型正式开放API 对企业客户开放
豆包大模型近日发布了系列更新，其中豆包1.5·深度思考模型和豆包文生图模型3.0正式通过火山引擎开放 API，供开发者和企业客户使用。这两款模型在推理任务和通用任务的综合表现达到了业界前沿水平，并在视觉推理和图像生成方面取得了显著进展。豆包1.5·深度思考模型在专业领域推理任务中表现出色，数学推理 AIME2024测试得分追平 OpenAI o3-mini-high，编程竞赛 Codeforces
马斯克：未来还会有AI 5/AI 6/AI 7智能辅助驾驶硬件
快科技3月21日消息，近日马斯克在特斯拉员工大会上分享了公司最新信息，涵盖电动车、储能、智能辅助驾驶等多板块进展。他指出可持续发展需能源生成、存储和交通运输三大支柱，人形机器人将解放生产力降低成本。特斯拉赛博越野旅行车获美国国家公路交通安全管理局五星安全”评级，运营成本低，其电动商用车Semi被多家知名企业纳入车队。特斯拉布局纯电车型和锂电池产业链，制造全球最高效锂电池。当前，人形机器人已试生
Shopify CEO要求团队要招聘新成员前，需先证明AI无法完成工作
近日，Shopify 首席执行官托比・吕特克（Tobi Lütke）向员工发出了一份备忘录，强调在寻求增加人手或资源之前，团队必须证明为什么他们 “无法通过人工智能(AI)完成所需工作”。吕特克在备忘录中提到，这个要求旨在促进团队思考如何将 AI 融入工作流程，并激发创新。图源备注：图片由AI生成，图片授权服务商Midjourney吕特克在备忘录中提出了一个重要问题:“如果自动化 AI 代理已经是
小米米家无线吸尘器 3 开售：260AW 吸力、90 分钟续航，国补价 849.15 元起
IT之家 4 月 24 日消息，小米米家无线吸尘器 3 今日在京东等平台开售，首发价 999 元，国补价 849.15 元起。据介绍，这款新品支持最大 260AW 电机吸力，最高转速可达 11 万转 / 分钟，配备智能脏污识别传感器，智能挡状态下，实时感知灰尘量，自动调节吸力大小。140° 广角绿光探测技术，通过独特“L 型”精密透镜折射，探照昏暗环境下微尘。此外，该产品还搭载 8 x 2500
微信首个AI助手元宝上线：支持分析公众号文章、文件、图片
快科技4月17日消息，日前，微信首个AI助手元宝上线，用户可在微信搜索元宝”，添加好友后可进行对话。与元宝AI助手对话无需下载或跳转其他App、小程序，而是以好友的形式出现在通讯录，聊天时甚至还会显示对方正在输入...”，就像与真实好友对话一样。据介绍，元宝AI是腾讯元宝App入驻微信的AI助手，搭载混元和DeepSeek双模引擎，无缝衔接微信生态。元宝AI可一键解析公众账号介绍号文章和任何图
Anthropic Claude应用更新引入“Glassy”语音，语音模式开发持续推进
Anthropic在其Claude移动应用程序的最新更新中新增了名为“Glassy”的语音选项，进一步推动其语音模式（Voice Mode）的开发进程。据AIbase了解，“Glassy”作为Claude语音模式的新增声音，以其独特音色引发社交平台热议，被认为是迄今最具吸引力的语音选项之一。相关细节已通过Anthropic官网(anthropic.com)与Hugging Face社区公开。核心功
OpenMath-Nemotron – 英伟达开源的数学推理系列模型
OpenMath-Nemotron是什么OpenMath-Nemotron是英伟达推出的系列开源数学推理模型，专门用在解决复杂数学问题，包括奥林匹克级别的难题。模型基于大规模数据集OpenMathReasoning进行训练，包含54万个独特问题及320万个长推理解决方案。OpenMath-Nemotron系列包含，OpenMath-Nemotron-1.5B、OpenMath-Nemotron
Reply扩大创意实验，推出AI音乐大赛与重返AI电影节
意大利都灵消息 ——Reply 公司近日宣布，出于对创新文化的追求以及对年轻一代使用新技术的热情，他们将启动一项全新的 AI 音乐大赛，并且迎回第二届 AI 电影节。这两个国际赛事旨在为创意人才提供展示自己才能的舞台，并通过人工智能来推动艺术创作的新边界。首先，Reply 与欧洲著名电子音乐节 Kappa FuturFestival 联手推出的 AI 音乐大赛，邀请年轻艺术家们在音乐中融入 AI
答对有资格入职特斯拉？马斯克这道数学题，我们用七大 AI 模型测了一遍
此前，马斯克在社交平台 X 上贴出了一道数学题，并表示如果有人解开这个问题，就有资格在特斯拉公司工作，引起了很多网友的讨论。这是一道算式题：6÷2 (1+2)。在推文下面，网友纷纷给出了自己的答案，但结果却呈现“两极化”，有人认为答案是“1”，有人认为答案是“9”。其实对于这道题目，美国史丹佛大学教授、数学家塔沃克（Presh Talwalkar）在 8 年前就曾发视频做过解释，大致意思是遵循从
百度文库网盘联合发布“全球首个内容领域操作系统「沧舟 OS」”
感谢IT之家网友 xuanzeee 的线索投递！IT之家 4 月 30 日消息，在上周的 Create2025 百度 AI 开发者大会上，百度创始人、董事长兼首席执行官李彦宏宣布，百度文库与百度网盘联合推出全球首个内容领域操作系统「沧舟 OS」，支持全模态内容输入输出、多智能体调用，并适配 MCP 协议，突破场景、入口限制，端到端交付结果。百度副总裁，文库事业部、网盘事业部负责人王颖重点介绍了
GPT-4o图像生成能力集成GPTs，开启个性化图像机器人新篇章
OpenAI宣布GPT-4o的图像生成能力正式集成到GPTs（自定义GPT）平台，为开发者与创作者提供了构建个性化图像生成机器人的强大工具。据AIbase了解，这一更新允许用户通过GPTs打造专属图像生成应用，如海报设计机器人或特定艺术风格生成器，极大地提升了创作灵活性与共享性。社交平台上的热烈讨论凸显了其广泛影响力，相关功能已向ChatGPT Plus、Pro及Team用户开放。AIbase为您
海信小墨 E5Q Pro 电视发布：首发千级分区 U+Mini LED 光晕控制系统、300Hz 系统级高刷，3699 元起
IT之家 4 月 14 日消息，海信小墨 E5Q Pro 电视今日正式发布，新品电视首发千级分区 U+Mini LED 光晕控制系统、300Hz 系统级高刷，售价 3699 元起。京东海信电视小墨 E5Q Pro 首发千级分区 U+Mini LED 光晕控制系统 3699 元起直达链接IT之家附售价如下（国补 8 折）：55 英寸：售价 3699 元65 英寸：售价 4799 元75 英寸：售价
阿里巴巴旗下Lazada推出AI助理Lazzie Seller助力商家运营
阿里巴巴集团旗下东南亚电商平台Lazada于4月14日宣布推出人工智能助理Lazzie Seller，旨在提升商家的运营效率和市场竞争力。这款AI助理基于Lazada在电商运营领域的深厚积累，利用自然语言处理技术，能够快速回应商家在日常运营中遇到的各种问题。其核心功能包括功能导航、店铺风险评估以及提供专业建议等，有效帮助商家降低运营成本。Lazzie Seller的推出标志着Lazada在电商领域
9块9的AI女友游戏，正在攻陷你的朋友圈
声明:本文来自于微信公众号定焦One（dingjiaoone），作者:李唐，授权站长之家转载发布。AI女友游戏广告，正在悄悄入侵你的朋友圈。母胎单身二十年的阿宝躺在沙发上刷手机，朋友圈一则游戏广告引起了他的注意。此时的他还不知道，一次出于好奇的点击，不仅让他打开了新世界的大门，还即将令他莫名其妙损失9.9元。虚拟恋人游戏已不是新奇事物，但在AI的加持下，该品类隐约有翻红的势头。2024年10月
王小川发布百川智能两周年全员信：强调专注医学方向并减少多余动作
IT之家 4 月 10 日消息，今日，百川智能创始人兼 CEO 王小川在公司成立两周年之际发布全员信。王小川回顾了过去两年百川智能的成就与不足，并再次强调公司当前面向医疗领域的技术愿景和业务方向，及其“造医生-改路径-促医学”路径。王小川表示，公司接下来将在百小应、AI 儿科、AI 全科和精准医疗四个方面发展应用和服务。“接下来我们需要围绕上述方向专注聚焦，减少多余的动作，深度思考，坚定不摇摆；
全球首部AI生成电影《海上女王郑一嫂》上映 时长70分钟
近日，由新加坡影视制作公司FizzDragon出品的70分钟华语AIGC（人工智能生成内容）电影《海上女王郑一嫂》正式在新加坡院线上映，成为全球首部进入商业院线公映的AI技术长片。该片以18世纪中国传奇女海盗郑一嫂为原型，其人物形象曾启发《加勒比海盗》系列中“清夫人”一角的创作。与传统影视制作相比，AI技术在本片中的应用显著降低了创作门槛。FizzDragon团队表示，AI工具无需考虑天气、演员档
黄仁勋5000亿豪赌：AI超算首次Made in USA
声明:本文来自于微信公众号新智元，授权站长之家转载发布。英伟达宣布了一项开创性计划，在美国制造AI超级计算机，通过与台积电、富士康等巨头合作，打造价值5000亿美元的AI基础设施。英伟达周一抛出重磅消息，宣布将首次在美国制造AI超级计算机。未来四年内，英伟达将通过与台积电、富士康、纬创资通、安靠（Amkor）和矽品(SPIL)的合作，在美国打造出价值5000亿美元的AI基础设施。目前，位于亚利