「智能小 Q」共找到 4311 篇相关文章
一个问题几百美元，DeepMind智能体一次搞定了9个Erdős问题
DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题，还自动验证，解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器，研究展示了AI辅助正式证明搜索技术潜力。
端到端智驾新SOTA | KnowVal：懂法律道德、有价值观的智能驾驶系统
北京大学王勇涛团队提出新型自动驾驶系统 KnowVal，通过感知与知识检索模块协同实现视觉 - 语言推理。它构建驾驶知识图谱，有价值模型用于轨迹规划，实验在多基准测试表现佳，还通过定性分析验证效果。
AI Agent的“祛魅与归真”：当超级智能体开始懂行｜甲子光年
AI Agent正迎来“祛魅”时刻，市场关注焦点从“模型有多大”转向“业务有多懂”。甲子光年智库分析，其角色进阶为“数字员工”，重塑人机协作模式。众安信科深耕企业级场景，构建闭环体系，其AI Agent成效显著。
阿里开源Mobile-Agent-v3：多模态GUI智能体，实现跨平台自动化突破！
全新自动化时代，GUI智能体融入日常。阿里巴巴通义实验室推出GUI - Owl与Mobile - Agent - v3，实现跨平台自动化突破。文章解析其发展历程、技术创新，且项目开源，商业化潜力引关注。
把PLC仿真搬进浏览器，小参数模型也能实现高工程通过率
上海交通大学联合Sema研究团队推出SemaPLC，将AI Agent与PLC工程工具链连接，让自然语言需求转化为可编译、验证、仿真的控制程序。它是面向全流程的智能工作台，实验效果优于业界方案。
具身智能一步踏入Scaling Law！10B+基础模型，27万小时真实数据
AI机器人创业公司Generalist推出新型具身基础模型GEN-0，参数量10B+，专为多模态训练构建。该模型展现强大Scaling Law，能力可扩展，有和谐推理等特性，在多方面有突破，成果备受赞誉。
Demis Hassabis：AGI 还缺什么，智能体到底行不行，下一个科学突破长什么样
Google DeepMind CEO Demis Hassabis 做客直播，探讨当前 AI 范式距 AGI 差距、智能体水平、科学突破模式等话题。指出当前范式或需关键突破，记忆方案待优化，AlphaGo 技术复活，还给出创业建议。
开出10亿美元天价，小扎挖人Mira创业公司惨遭拒：俺们不差钱
七月，Meta 超级智能实验室挖人不停。扎克伯格瞄向 Mira Murati 创立的 Thinking Machines Lab，开出超 10 亿美元报价却无人接受。同时，Meta 还挖走苹果第四位核心成员，苹果小幅提薪仍难留人。
当人形机器人还在画饼，这家公司已用“带大脑的机械臂”实现批量落地 | 甲子光年
当资本热捧人形机器人时，微亿智造已率先将工业具身智能规模化落地。其‘创TRON’机器人解决多行业痛点，实现降本增效，落地版图不断扩大，还构建技术护城河，未来将迈向群体智能。
MIT和加州联手打造多智能体大语言模型的金融交易框架TradingAgents
MIT和加州联手打造多智能体大语言模型的金融交易框架TradingAgents，将交易任务分解为专业角色，含分析师、研究员等。介绍了安装、CLI使用、包的实现细节等，还提及项目地址。