DeepSeek-Prover-V2-671B 模型开源，数学推理领域迎来新突破 172 0 中国 AI 初创公司 DeepSeek 再次掀起开源 AI 领域的热潮，正式发布其最新开源模型 DeepSeek-Prover-V2-671B。这一拥有6710亿参数的超大规模语言模型，专为数学推理和问题解决设计，展现了 DeepSeek 在高效 AI 开发上的持续创新能力。根据社交媒体上的最新讨论，这一模型被认为是 DeepSeek 在数学领域的重要里程碑，或将推动全球 AI 研究与应用的进一步
谷歌DeepMind发布新AI音乐生成模型Lyria2，支持实时创作 172 0 谷歌DeepMind正式发布了其最新音乐生成模型 Lyria2，标志着人工智能在音乐创作领域的又一重大突破。作为前代Lyria模型的升级版本，Lyria2以其高保真音质、实时交互功能和多风格适配性，为音乐家、制作人和内容创作者提供了前所未有的创作工具。高保真音质，捕捉音乐细微之美Lyria2在音质表现上实现了显著突破，能够生成48kHz立体声音频，达到专业级水准。无论是古典音乐的优雅旋律，还是电子
AI生成图片 Midjourney 人工智能焦虑 皮尤研究中心 美国民众对人工智能的信任危机加剧 171 0 最近，皮尤研究中心发布的一项新报告显示，美国民众对人工智能的看法与行业专家之间存在明显的差距。该调查包含了超过1，000名人工智能专家和超过5，000名美国成年人，揭示出公众对这一技术的焦虑和不安日益加剧。图源备注：图片由AI生成，图片授权服务商Midjourney调查结果显示，约四分之三的人工智能专家认为，这项技术将对他们个人带来好处。而在公众中，只有四分之一的人持相同看法。专家们普遍认为人工智
昆仑万维推出 Skywork-OR1 系列模型：全面开放、免费使用、完全开源 171 0 IT之家 4 月 13 日消息，昆仑万维今日发文宣布，天工团队在首款中文逻辑推理大模型 Skywork-o1 基础上迭代优化，推出了全新升级的 Skywork-OR1(Open Reasoner 1) 系列模型。据介绍，该系列模型在同等参数规模下实现了业界领先推理性能，进一步突破了大模型在逻辑理解与复杂任务求解方面的能力瓶颈。同时，Skywork-OR1 将全面开放、免费使用，以完全开源的形式回
Anthropic推出“Integrations”连接应用，Claude新增“高级研究”深挖信息 171 0 Anthropic周四发布重大更新，为旗下AI聊天机器人Claude引入全新的应用连接方式“Integrations”，并扩展了“深度研究”功能至“Advanced Research”，使Claude能够搜索网络、企业账户等更广泛的数据源。“Integrations”和“Advanced Research”目前面向Claude Max、Team和Enterprise计划用户开放Beta测试，Pro
微软为华盛顿州科研项目颁发AI公益奖，助力健康与可持续发展 171 0 在庆祝公司成立50周年之际，微软公司于4月29日宣布了 “AI for Good” 奖项，旨在利用人工智能技术来应对社会和科学领域的挑战。此次奖项共颁发给20个来自华盛顿州的多样化实体，UW 医学中心的多个研究机构获得了其中的三项大奖。在西雅图的 UW 保罗・艾伦计算机科学与工程学院的颁奖典礼上，微软同时向华盛顿州立大学的计算与工程信息通信技术实验室颁发了奖项。奖项总金额高达500万美元，旨在推动
苹果 人工智能 Siri AI功能 苹果AI广告具有误导性：苹果官网页面紧急调整 171 0 快科技4月23日消息，如果你最近访问苹果官网的Apple Intelligence页面，可能会注意到一些变化，苹果官网移除了Available Now（现已推出）”这一表述。据报道，广告审查部门NAD发布公告，认定苹果的AI广告具有误导性，苹果在AI功能详情里没有加任何限定词，这会让消费者误以为iPhone16系列能体验到苹果的所有AI功能，因此苹果删除了Available Now”。此前苹果
人工智能医疗 疾病检测AI Leidos Midjourney Leidos投资 1000 万美元推进 AI 辅助疾病检测工具开发 171 0 Leidos近日宣布，将在未来五年内投资1000万美元，与匹兹堡大学计算病理学与人工智能卓越中心（CPACE）合作，致力于开发基于人工智能的疾病检测和管理工具。此次合作的首要任务是利用 AI 技术加速心脏病和癌症的检测，提高诊断的周转时间，进而促进更有效的医疗管理。图源备注:图片由AI生成，图片授权服务商MidjourneyLeidos首席执行官汤姆・贝尔表示，这项投资的目标是加速对每年影响数百万
教育部两项人工智能指南发布，小学生禁止独自使用开放式内容生成功能 171 0 IT之家 5 月 12 日消息，近日，教育部基础教育教学指导委员会发布《中小学人工智能通识教育指南（2025 年版）》和《中小学生成式人工智能使用指南（2025 年版）》。据介绍，此次发布的两项指南是科学规范推进人工智能全学段教育，进一步落实培养具有人工智能素养的创新人才的重要举措，为全球教育领域应对技术变革贡献中国方案。IT之家注意到，《中小学人工智能通识教育指南（2025 年版）》旨在构建一
日立中央空调已接入小米米家 App 171 0 感谢IT之家网友 Autumn_Dream、辣手摧花、backfrom、袁深沉 的线索投递！IT之家 5 月 7 日消息，日立中央空调已接入小米米家 App，用户可以更加便捷地管理和控制家中的中央空调系统，享受智能化带来的舒适生活体验。用户可以通过简单的步骤将日立中央空调绑定到米家 App。首先，在米家 App 中选择“添加设备”，然后通过扫描附近设备或手动添加设备的方式，将日立中央空调纳入智
比尔・盖茨乐观预测：AI 有望缓解困扰全球数十年的医生、教师紧缺问题 171 0 IT之家 4 月 19 日消息，微软联合创始人比尔・盖茨以长期专注于全球健康和教育议题而著称，据外媒 TechSpot 今日报道，盖茨近期表示，AI 或许“很快”就能缓解全球持续多年的劳动力短缺问题。在播客节目《People by WTF》中，盖茨表示，随着 AI 技术迅速进步，困扰发达国家和发展中国家数十年的医生与教师紧缺问题有望得到缓解。盖茨指出：“AI 将填补医疗领域的智识缺口，届时医生短
3D生成功能 Krea 生成式AI 混元 Krea推出3D生成功能并全面升级网站界面，或采用混元技术优化体验 171 0 近日，人工智能创意平台Krea宣布正式上线3D生成功能，并同步完成了网站界面的全面重构。这一更新不仅为用户带来了全新的视觉体验和操作流程，还显著扩展了平台在生成式AI领域的应用范围。据业内人士推测，此次升级可能整合了腾讯研发的“混元”（Hunyuan）技术方案，以进一步提升3D生成的质量与效率。这一动态迅速引发了科技圈和创意社区的广泛关注。Krea作为一款以实时图像和视频生成为特色的AI工具，此前
人工智能医院 AI+医疗 清华大学 清华长庚医院 清华大学成立人工智能医院 迈向智慧医疗新篇章 171 0 清华大学正式成立人工智能医院，标志着该校在 “AI + 医疗” 领域迈出了重要一步。4月26日，清华大学举行了人工智能医院的揭牌仪式，并在医学院全体教职工大会上进行了相关介绍。校长李路明、副校长王宏伟等多位领导出席了此次仪式，共同见证了这一历史性时刻。清华大学人工智能医院（Tsinghua AI Agent Hospital）将分阶段建设，初期将依托北京清华长庚医院及其互联网医院进行试点。这一新医
AI伴侣机器人 Ballie 三星 智能家居 三星或将于本周发布AI伴侣Ballie，智能家居新篇章即将开启 170 0 4月8日消息，据社交媒体平台上的最新消息和业内动态，三星有望在本周正式发布其备受期待的AI伴侣机器人Ballie。这款自2020年首次亮相以来多次迭代的球形机器人，被认为是三星智能家居生态的重要一环，可能为消费者带来全新的交互体验。Ballie最初于2020年CES展会上作为概念产品亮相，其独特的设计和AI驱动的功能引发广泛关注。经过多年的技术优化，三星在2025年CES上宣布Ballie将于今年
OpenAI 与 FDA 洽谈利用 AI 加速药物评估 170 0 据知情人士透露，美国食品药品监督管理局（FDA）近期与 OpenAI 进行了多次会议，讨论如何利用人工智能(AI)技术来加快药物审批流程。FDA 专员马提・马卡里(Marty Makary)在社交媒体上发文指出，“为什么一款新药需要超过10年的时间才能上市?我们为何不利用 AI 等现代技术?” 他强调，FDA 已经完成了首个 AI 辅助的科学评审，这仅仅是个开始。图源备注:图片由AI生成，图片授权
谷歌搜索上线 AI Mode：一问一答，聊天式智能解决你的复杂难题 170 0 IT之家 5 月 2 日消息，谷歌公司昨日（5 月 1 日）发布博文，宣布为 Google Search 逐步推出专用 AI Mode 标签页，目前已邀请少数美国用户测试体验，并计划未来几周扩大测试范围。IT之家注：AI Mode 作为谷歌搜索的一个独立选项，与现有的新闻、图片和购物标签并列，直接在搜索界面为用户提供由 AI 生成的答案。此前，该功能已在 Google Labs 的测试环境中运行
