「可验证推理」共找到 6204 篇相关文章
Gemini 3.8，明日登场！
最新爆料，Gemini 3.8 Flash明日登场，谷歌已放弃Gemini 3.5 Pro。其编程实力强悍，之前还为Gemini植入智能体视频理解功能，降本提效，可应对多种高难度场景。近期多家AI发布计划撞车，混战升级。
十四年的「管家」局，科沃斯这回把应用定义权交了出来
2026年世界机器人大会上，科沃斯董事长钱东奇提出「未来应用，由用户定义」。回顾过去，从2012年推「亲宝」到2026年发布「八界」，其发展有迹可循。当前，科沃斯推出创新方案和开源生态欲破具身智能难题。
小扎万字檄文炮轰硅谷，Meta重磅开源30B小钢炮！一台MacBook就能跑
Meta发布全新30B大模型Muse Glimmer并开源，用4-bit量化等技术让其能在本地设备运行，有五大核心超能力且采用Apache 2.0协议。同时，Meta CEO小扎发表万字檄文暗讽OpenAI等，抨击AI末日论等观点。
从“会用”到“驾驭”：AI Coding 进入生产环境的真实碰撞
InfoQ《极客有约》X AICon 直播栏目，邀网易游戏林香鑫等探讨 Coding Agent 重构软件工程环节。嘉宾分享了 AI Coding 在生产环境的变化、MCP 等概念作用、代码质量保障、Agent 权限及 AI 原生研发体系建设等观点。
别让AI一上来就“进厂打螺丝”：智源悟界·Orca要先教模型理解世界如何变化
智源研究院悟界·RoboBrain Orca Team发布技术报告Orca，探索模型是否理解世界状态变化。Orca尝试在统一世界潜空间学习状态与规律，受海外关注。它先学世界表征，有独特学习方式，经实验验证效果良好。
深空探测美学色彩首个研发成果——“月壤色”主题发布活动在首钢园成功举办
7月5日，深空探测美学色彩“月壤色”主题发布仪式暨科普活动在首钢园举办。该活动由嫦娥奔月航天科技主办，众多专家出席。“月壤色”是基于科研成果的美学成果，可用于多领域，活动还展示相关成果进行科普。
长鑫科技，哪里值钱？
长鑫科技是国内最大DRAM芯片制造企业，过去十年累计亏损超366亿。2026年一季度，其营收508亿，归母净利润247.62亿，填平九年亏空。分析其利润可持续性，需从供需、产能、毛利率、HBM等维度判断。
Claude新政，抛弃最忠实的Agent用户
6月15日起，Anthropic将Agent SDK用量从订阅中剥离，按API零售价另给固定额度，重度用户可用量缩水近十倍。OpenAI趁机推出Codex企业免费迁移。这是ASI决赛圈定价战，AI付费或转向按实际消耗计费。
当SFT遇上RL：基于样本学习阶段的动态策略优化机制
在大模型推理能力增强研究中，SFT和RL两种后训练范式难有效融合。研究团队提出DYPO动态策略优化方法，先判断样本学习阶段再匹配优化路径，在多场景实验中表现出色，不过有实验边界。
颠覆法律行业！Anthropic一口气发布20+款MCP连接器，从合同审查到法庭诉讼全覆盖
Anthropic面向法律行业推出超20款新MCP连接器及12个专业插件，从底层打通法律技术栈。Claude可在办公软件中工作，覆盖合同审查到法庭诉讼等场景，还与多机构合作让法律服务更普及。