「智能操作」共找到 3865 篇相关文章
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
大小模型协同架构在金融智能投顾中的应用与挑战
本文整理自北银金科高级算法专家尹辰轩分享，介绍大小模型协同架构下的大模型投顾方案，能解决幻觉问题、优化回答深度。还提到 12 月 19 - 20 日 AICon 北京站聚焦多热门方向。
M2模型杀回Coding和Agent领域，MiniMax想要「普惠智能」
如今大模型竞争转向综合比拼，MiniMax 发布并开源 M2 模型，在权威测评跻身全球第一梯队。它定位轻量级，Coding 与 Agentic 能力强，性价比高，还升级 Agent 产品，以技术普惠策略让用户零成本体验。
首个开源多模态Deep Research智能体，超越多个闭源方案
首个开源多模态Deep Research Agent登场，整合多种工具并优化决策。其WebWatcher技术方案覆盖全链路，实验中在四大核心领域领先主流模型，展现复杂推理和信息检索实力。
GAIR Live 预告｜世界模型——通向通用智能的关键拼图
随着AGI议题升温，‘世界模型’成前沿焦点。GAIR Live将邀顶尖学者与专家，探讨其定义、趋势等问题，还有直播议题如Lecun观点看法、不同领域世界模型差异等。
ChatGPT智能体正式发布，多个创业赛道昨夜无眠
OpenAI正式发布ChatGPT Agent，将思考与执行能力统一，可接管电脑，能处理工作和生活多种事务。它优化后能力达SOTA，但也有风险。这或重塑互联网，让Agent创业者重新审视竞争力。
一站式智能分析引擎，快速构建企业级数据分析 Agent
在数据驱动的商业环境中，传统数据分析流程有诸多局限。本文介绍基于阿里云实时数仓 Hologres 和阿里云百炼的联合方案，结合 Function AI 平台，可构建企业级数据分析 Agent，实现端到端加速。
对话刘靖康：镜头之外的「智能」和「审美」，才是 Camera Agent 的主战场
影石 Insta360 创始人刘靖康在 AGI Playground 2026 上提出未来影像设备“前轻后重”趋势。他介绍了 Cameraman 愿景，涵盖 Imaging、AI、Robotics 三技术方向，还提到云端 AI 剪辑服务情况及对行业多方面的见解。
具身智能空间视觉死穴，终于被最新顶会彻底解决！
招商局先进技术研究院下属实验室提出新的移动数据范式，以极低成本破解 VLA 的空间泛化瓶颈。研究团队识别出 VLA 模型三种捷径学习模式，提出层次化数据解耦策略，该方案在主流 VLA 模型上验证有效。
龙虾之后，为什么说「主动式智能」才是Agent的终极形态？
OpenClaw爆火展现AI Agent主动性，但止步屏幕。Looki最新上线Proactive Intelligence Engine，将自动驾驶工程范式迁移到可穿戴设备，实现从被动到主动的跨越，面临技术和隐私挑战。