法院驳回谷歌与 Character.AI 的撤诉请求，AI 引发自杀案诉讼继续进行 133 0 近日，佛罗里达州的一名法官驳回了谷歌及其子公司 Character.AI 提出的撤诉请求，此案涉及一名14岁用户因使用聊天机器人而导致自杀的指控。此案被认为是一起具有开创性的诉讼，因其首次将 AI 技术的潜在危害推上法庭。图源备注：图片由AI生成，图片授权服务商Midjourney诉讼于2023年10月提起，原告梅根・加西亚（Megan Garcia）指控 Character.AI 的聊天机器人在
通义灵码接入Qwen3：上线编程智能体 集成魔搭MCP广场 133 0 通义灵码团队宣布其编程智能体全面支持Qwen3，并上线了全新的编程智能体功能。这一智能体具备自主决策、环境感知和工具使用等能力，能够根据开发者的诉求，使用工程检索、文件编辑、终端等工具，端到端地完成编码任务。此外，通义灵码还支持开发者配置自己的MCP工具，更加贴合开发者的工作流程，并集成魔搭MCP广场，开发者可以一键下载MCP服务。通义灵码的编程智能体提供了多种会话模式，包括问答模式、文件编辑模式
Kimina-Prover Qwen2.5-72B 大规模强化学习 数学定理证明 月之暗面Kimi开源数学定理证明模型Kimina-Prover 133 0 Kimi 技术团队近日发布了 Kimina-Prover 预览版的技术报告，并开源了1.5B 和7B 参数的模型蒸馏版本、用于数据生成的 Kimina-Autoformalizer-7B 模型以及修订过的 miniF2F 基准测试数据集。Kimina-Prover 是由 Numina 和 Kimi 团队联合研发的一款数学定理证明模型，它在形式化定理证明领域采用了一种新颖的、由推理驱动的探索范式，
AI 搜索企业 Perplexity：公司资金充裕，2028 年前无 IPO 规划 133 0 IT之家 4 月 1 日消息，AI 搜索企业 Perplexity 联合创始人兼首席执行官 Aravind Srinivas 当地时间 3 月 28 日在 Reddit 发帖回应了网友近期对该企业状况和产品的关切。在财务方面，他表示 Perplexity 目前资金充裕，收入正处于上升轨道，没有在 2028 年前进行 IPO 计划；此前推出的 Auto 自动选择模型搜索模式不是为了节约成本，而是为
杭州机场推出全国首个AI大模型智能呼叫中心，服务体验再升级 133 0 杭州萧山国际机场于5月16日成功启用全国民航首个基于 AI 大模型的智能呼叫中心，标志着其96299热线进入了一个全新的智能化时代。这一升级采用了前沿的 DeepSeek 大模型技术，旨在提升客户服务的效率和质量。自2014年首次上线以来，96299热线为旅客提供24小时不间断的接听与在线咨询服务。经过此次升级，AI 语音机器人能够应对高峰期的来电量，有效分担人工服务压力，并自动实现智能问答。结合
Ollama推出全新多模态AI引擎，推理性能显著提升 133 0 前不久，Ollama 宣布推出一款全新的多模态 AI 引擎，这款引擎的研发是独立于原有的 llama.cpp 框架进行的，标志着公司在人工智能领域迈出了重要一步。这一引擎是基于 Golang 编程语言开发，旨在大幅提高本地推理的精度，同时增强大型图像处理的能力。新引擎的亮点在于其引入了图像处理元数据、KVCache 优化及图像缓存功能。这些创新使得在内存管理和资源利用效率上都取得了突破，确保 AI
AI排班系统 瑞幸咖啡 门店管理 销售数据分析 瑞幸的Ai革命：AI正在淘汰最会排班的店长 132 0 声明：本文来自于微信公众号 晏涛营销笔记，作者：晏涛，授权站长之家转载发布。最近网上在热议，瑞幸的AI排班系统，它要求门店实际值班人员必须与AI系统一致，如果需调整，必须要备注申请。有人说，AI比店长更懂高峰，这么做能提高门店效率。也有人调侃说，AI能算出杯量，但能算出打工人的崩溃瞬间吗？光有效率，这还有人情味吗？那什么是AI排班系统，它的底层逻辑是什么？它跟未来线下门店发展趋势有什么关联，瑞
特朗普 特朗普政策 马斯克 openai 特朗普引发驱逐潮，包括马斯克，AI创业者60%系移民 132 0 你所驱逐的，却是你所需要的……站长之家(ChinaZ.com) 4月21日 消息:美国国内排名前 42 的人工智能（AI）企业中，有 60% 的企业是由移民者和他人共同创办的。这一研究结果与特朗普第二届政府对留学生和教授群体“持敌对态度”的政策基调形成了鲜明对比。据美国 Axios 等外媒当地时间 20 日报道，美国产业技术智库进步政策研究所（IFP）于 16 日发布了这样一份关于 AI 企业
Claude 4 Sonnet与Opus即将发布！Anthropic“Keynote”流揭秘，AI编码革命还是另有玄机？ 132 0 Anthropic的下一代AI模型Claude4Sonnet和Claude4Opus即将发布的消息在社交媒体引发广泛讨论。据悉，这两款模型将在未来几周内亮相，具备在“思考模式”与“工具使用模式”间灵活切换的能力，旨在以更少的用户干预处理复杂任务。与此同时，Anthropic定于本周四（5月22日）举办的“Keynote”流和Claude Code功能备受关注，引发业界猜测其是否与Claude4的发
高德发布 AI 导航智能体：高速驾车场景下可感知车道级交通流变化、事件事故 132 0 感谢IT之家网友 西窗旧事 的线索投递！IT之家 4 月 14 日消息，高德地图今日宣布推出基于地图的 AI 导航智能体（NaviAgent）。据技术负责人介绍，其核心架构采用 Planner-Executor 模式，通过感知、规划、执行、表达四大模块构建智能闭环，集成多项高德核心技术。官方表示，该智能体“更像经验丰富的‘老司机’”，能实时感知路况、预判风险并主动调整策略。据IT之家了解，以高
PaperBench AI代理 大型语言模型(LLM) 基准测试 OpenAI推出AI Agent评测基准PaperBench 132 0 OpenAI 团队推出了一个名为 PaperBench 的基准测试，旨在评估AI代理在复制先进 AI 研究方面的能力。该测试要求 AI 代理从头开始复制20篇2024年国际机器学习会议（ICML）中的重点和口头论文，整个过程涉及理解论文贡献、开发代码库以及成功执行实验。为确保评估的客观性，研究人员设计了详细的评分标准。这些标准将每项复制任务分解为多个层级的子任务，并设定明确的评分标准。PaperB
BrowseComp OpenAI AI代理 网络浏览能力 OpenAI开源BrowseComp，衡量 AI 代理浏览网页能力的新基准 132 0 人工智能领域的测试标杆再添新成员!OpenAI宣布开源BrowseComp，一个专为评估AI代理网络浏览能力设计的创新基准测试。这一举措不仅为AI研究社区提供了全新的工具，也为推动更智能、更可靠的浏览代理奠定了基础。AIbase为您深入解读BrowseComp的核心价值与行业影响。BrowseComp:AI浏览能力的“终极试炼”BrowseComp，全称“Browsing Competition”
北京首个少年人工智能学院成立：中学生可直接参与国家级前沿科研项目 132 0 IT之家 4 月 5 日消息，IT之家从“首都教育”公众号获悉，在今年中关村论坛年会上，北京首个少年人工智能学院正式成立。据了解，北京少年人工智能学院（海淀）是在市教委指导下，由北京中关村学院联合海淀区教委推动成立，通过让青少年早进项目、早进产业、早进科技前沿，探索跨学段、长链条、贯通式的系统培养体系，培育人工智能领域顶尖人才，打造具有世界影响力的人工智能赋能教育新范式。北京少年人工智能学院（海
魅族Note16 Flyme AIOS2 智能助手Aicy 魅族Flyme AIOS 2宣布接入阿里云端到端大模型Qwen Omni 132 0 站长之家(ChinaZ.com) 5月6日 消息:今日，星纪魅族正式宣布将于5月13日举办新品发布会，推出魅族Note16系列手机及Flyme AIOS2操作系统。据官方透露，此次升级的Flyme AIOS2系统在智能交互与性能优化方面实现多项突破。Flyme AIOS2系统引入全新设计的智能助手Aicy，其界面设计更具呼吸感与动态效果，同时搭载升级后的思考引擎，可实现更精准的语义理解和场景响
xAI 推出 Grok Studio 功能：可 AI 编辑创建文档、代码、报告等 132 0 IT之家 4 月 16 日消息，Grok 官方账号今天（4 月 16 日）发布推文，宣布新增 Grok Studio 功能，类似 OpenAI 的 Canvas 工具，支持用户编辑和创建文档及基础应用程序。IT之家附上演示视频如下：用户使用 Grok Studio 工具，可以编辑和创建文档、代码、报告，甚至是简单的浏览器游戏。官方表示，Grok Studio 会在独立窗口中打开内容，用户可以与
AI 数学推理新王：英伟达发布两款 OpenMath-Nemotron 模型，刷新 AIME 准确率纪录 132 0 IT之家 4 月 25 日消息，科技媒体 marktechpost 今天（4 月 25 日）发布博文，报道称英伟达专为数学推理设计，发布 OpenMath-Nemotron-32B 和 OpenMath-Nemotron-14B-Kaggle 两款先进 AI 模型。数学推理一直是 AI 领域的巨大挑战。传统的语言模型擅长生成流畅文本，却在解决复杂数学问题时显得力不从心，这些问题不仅需要理解抽象
