Bedrock Guardrails中的自动推理检查
总结在一段引人入胜的叙述中，Stefano和Byron揭示了Automated Reasoning Checks的力量，这是亚马逊云科技Bedrock Guardrails中一项开创性的功能。 然后，St…
标签:"推理"相关文章
从「案件进度追踪」到「指纹比对」：《寂静追凶录》细节控狂喜的 10 大系统
这款由国内独立团队打造的作品，以“复刻真实刑侦流程”为核心理念，通过五大实体档案盒、紫外线手电、化学试剂等实体道具，结合动态剧情生成、智能NPC对话等AI技术，首次实现“无预设路径”的刑侦体验。 基于AI生成…
综艺姐妹情深，剧宣搭档出击，田曦薇李一桐引领社交新潮流
这条短短的微博不仅点燃了《书卷一梦》的开播热度，也让两位女星因综艺节目结下的深厚情谊公之于众，展示了娱乐圈内日益多元化的合作模式与明星之间真挚的友谊。 这种高颜值与深厚默契兼备的搭档，不仅为两人吸引了大量粉…
大摩：OpenAI合作彰显谷歌(GOOGL.US)AI芯片实力
智通财经获悉，摩根士丹利表示，微软(MSFT.US)支持的OpenAI可能使用谷歌(GOOG.US,GOOGL.US)的张量处理单元(TPU)来执行其人工智能(AI)任务的推理工作，这将是对谷歌硬件技术的有力…
微软发布新一代存储优化型虚拟机：Azure Laosv4、Lasv4 和 Lsv4 系列
其主机规格方面，Laosv4 虚拟机十分适合分布式横向扩展工作负载，这类负载要求每个 vCPU 拥有大量本地存储容量，并且能够通过网络或Azure 远程存储后端快速移动数据。 其主机规格方面，与 Lsv3…
《朝雪录》定档，李兰迪敖瑞鹏主演，古装探案，惊悚无边，尺度大
《朝雪录》7月16日开播：古装探案走“大尺度惊悚”路线，能否成暑期档黑马？爱奇艺独播剧《朝雪录》官宣定档7月16日，由李兰迪、敖瑞鹏主演，主打“古装+惊悚+大尺度”探案，目标受众为“口味重”的观众。 …
华为重磅宣布！
6月30日，华为正式宣布开源盘古70亿参数的稠密模型、盘古Pro MoE 720亿参数的混合专家模型和基于昇腾的模型推理技术。据了解，盘古Pro MoE 72B模型权重、基础推理代码，已正式上线开源平台。…
持续推进“人工智能+”行动，培育金融业数字化转型新动能
同时，利用DeepSeek在强推理与复杂数据处理等方面的优势，建设了财报分析助手、AI财富管家等50余个应用场景，实现业务流程智能化升级和工作质效提升。 DeepSeek等先进大模型的出现是金融业推动数智化转…
百度：今日起正式开源文心大模型4.5系列
人民财讯6月30日电，6月30日，百度正式开源文心大模型4.5系列模型，涵盖47B、3B激活参数的混合专家（MoE）模型，与0.3B参数的稠密型模型等10款模型，并实现预训练权重和推理代码的完全开源。…
9.4分团队回归，发疯，变态，还是得看岛国！
她们边吐槽工作边八卦老板：一位年轻女社长奈津美（白石麻衣饰），曾是个小有名气的地方偶像，后来因与已婚男传出绯闻退圈，开了家家政公司。结果，食材变成一桌丰盛晚餐，她们还用社长家精致餐具吃得津津有味，聊得忘乎所以…
《开始推理吧3》刘宇宁喜当爹，沈月当小妈，张凌赫金靖竟成夫妻
五个人（包括老太爷、沈月、刘宇宁、白宇和周柯宇）被迫参加这个神秘的游戏，直到白宇在摸索中发现老太爷不见了。老太爷希望能通过古德家族的秘术，复活已故的妻子，但因为复活失败，妻子疯癫，而他却被深深卷入了这场恐怖的…
华为宣布开源盘古7B稠密和72B混合专家模型
上证报今日霍州讯（记者 时娜）6月30日，华为正式宣布开源盘古70亿参数的稠密模型、盘古Pro MoE 720亿参数的混合专家模型和基于昇腾的模型推理技术，推动大模型技术的研究与创新发展，加速推进人工智能在…
熬夜连刷12集！两集破一案，这部悬疑神剧让人根本停不下来！
亲们，最近我挖掘到了一部超级精彩的悬疑剧，通宵不睡一口气看完12集，简直让我欲罢不能，必须强推给大家！ 让人过瘾的是，每两集就是一个全新的案件，节奏紧凑到飞起，毫不拖沓。当真相浮出水面时，才会发现每个案件背后…
大模型“造梦”，推理引擎“还债”，CTO们正在还AI的“应用账单”
就像京东云JoyBuilder推理引擎的策略是把异构算力资源统一管理，把一张GPU“切成很多小份”（1%），显存也能按MB级别来分，按需分给多个模型、多个任务使用，谁需要多少就用多少，GPU利用率最高可提升7…
不再完全依赖英伟达，OpenAI首次使用谷歌AI芯片
此次租用谷歌的张量处理单元(TPU)，标志着OpenAI首次实质性使用非英伟达芯片，显示出这家公司正在逐步摆脱对其支持者微软的数据中心依赖。 路透社在本月早些时候独家报道称，OpenAI计划引入谷歌云服务，…
刚刚，马斯克官宣：Grok 3.5 被砍，Grok 4 即将发布！
4 月底，马斯克在 X 上预告：Grok 3.5 即将上线，主打专业问答能力，特别是工程、编程类问题。也就是先用 Grok 3.5（或Grok 4 的早期版本）对现有数据做一次增删改；然后再用这些“清洗过…
不再单一依赖英伟达，OpenAI被曝开始租用谷歌AI芯片训练ChatGPT
6 月 28 日消息，据路透社今日援引知情人士消息，OpenAI 开始租用谷歌的人工智能芯片，为 ChatGPT和其他产品提供算力支持。 OpenAI 是英伟达 GPU 的最大客户之一，长期依赖后…
腾讯混元开源首款混合推理MoE模型，激活参数仅13B
新京报贝壳财经讯（记者罗亦丹）6月27日，腾讯混元宣布开源首个混合推理MoE模型 Hunyuan-A13B，总参数80B，激活参数仅13B，效果比肩同等架构领先开源模型，但是推理速度更快，性价比更高。这意味着…
AgentAuditor: 让智能体安全评估器的精确度达到人类水平
左图比较了 AgentAuditor 与直接使用 LLM 的评估方法在 R-Judge 基准上的准确率（Acc）和 F1 分数；右图则比较了AgentAuditor 的准确率与在无讨论情况下单个人类评估者在…
科技云报到：算力之后，“存力”上位
存力中心围绕数据汇聚、存储、治理、开发、利用、供给等数据全生命周期流程，完成从数据资源到智能价值的高效转化，其不仅承载着大规模数据的存储需求，也对高效数据处理、分析、挖掘等技术领域起到支撑作用，推动从分散的…
腾讯研究院AI速递 20250619
1. 微软发布三大创新算法rStar-Math、LIPS和CPL，通过蒙特卡洛树搜索和代码增强CoT等方法突破大模型推理瓶颈； 1. 斯坦福研究1500名员工和844项职业任务，发现41%的AI创业投资流向…
MiniMax的好日子来了？
可以看得出来，在现在最火的Coding（代码）能力上，最新发布的MiniMax M1表现出的能力跟现在的第一阵营大模型并没有拉开差距，但这同时也意味着这个“开源”模型已经是第一梯队的了。现在，2025年刚过…
今年将要上线的10部超级韩剧，都太强了
改编自泡菜国作家全健宇作品，讲述四位为家庭牺牲自我的主妇，分别是推理之王、王牌刑警、保险女王和兼职女王，在公寓中遇到神秘未解案件后联手破案。导演是泡菜国版《七月与安生》的闵龙根，主演成侑彬、元志安、赵显哲等年…
《开始推理吧3》找到「活法」
在嘉宾配置上，第二季相比前一季有了较大变动，邀请到了迪丽热巴和张凌赫的加入，再度将流量拉高，同时它一改上一季大规模飞行嘉宾的加入，反而让白宇、迪丽热巴、刘宇宁、张凌赫、周柯宇成了绝对的固定组合，也正是这一改变…
对话特斯联邵岭：空间智能是构建世界模型的必要前提
此外，依赖在行业数据理解、数据处理及多模态领域多年的研发经验，我们正在研发AIoT领域的多模态空间智能大模型，融合多种端侧设备采集的多源异构数据，具有强大的空间感知、环境理解和因果推理能力，能够直接从传感器数…
谷歌Gemini 2.5 Flash-Lite亮相，编码、翻译、推理全面升级
援引博文介绍，谷歌官方表示，Gemini 2.5 Flash 和 Gemini 2.5 Pro两款模型已通过大规模测试，可稳定支持生产级应用开发。 谷歌同步推出 Gemini 2.5 Flash-…
突破扩散LLM瓶颈，英伟达港大提全新Fast-dLLM，推理加速27.6倍！
这是一张来自Fast‑dLLM论文的综合性能图，分成 (a)、(b)、(c) 三个小面板，直观展示了在GSM8K推理任务上，给扩散大模型（LLaDA 和 Dream）外挂KV Cache与并行解码之后，速度…
细粒度视觉推理链引入数学领域，准确率暴涨32%，港中文MMLab打破多模态数学推理瓶颈
相比传统基于矩形区域的方法，MINT-CoT 可以灵活选取任意形状的视觉区域，比如几何图形、坐标、线段等结构化数学元素，实现真正的“图文联合推理”。 为了支撑MINT-CoT的训练，团队还构建了 MINT…
深兰学院人工智能第五期
此外，课程还涵盖了模型部署实战，包括模型蒸馏技术，通过将复杂的大模型压缩成轻量级模型，在不显著降低性能的前提下，提高模型的推理速度和减少计算资源消耗；边缘端移植技术，使模型能够在移动设备、物联网设备等边缘端运…
迪丽热巴自曝：演高雯时差点被换，干脆“发疯”一搏
在巨大的压力中，迪丽热巴最终做出了一个大胆的决定：在一个高雯弹钢琴的戏份中，她放下了所有顾虑，选择“破罐子破摔”。这一场“发疯式”的表演意外获得了导演的好评，也使她成功保住了这个重要角色。 随着拍摄的深入，…
