「集合和差问题」共找到 8750 篇相关文章
文库 GenFlow 2.0，如何把 AI Agent 卷成“专家级”？
百度启动文库与网盘AI重构工程，8月18日GenFlow2.0发布。它生成的报告格式专业，能让用户实时干预任务运行，HTML在线报告交付体验好。其靠100多个专家Agent工作，构建了清晰产品层次和分层策略。
麻省理工大学：《通往通用人工智能之路》的研究报告
麻省理工科技评论洞察与Arm公司合作发布《通往通用人工智能之路》报告，探讨AGI定义、实现时间表、当前AI局限性及技术路径等。指出当前AI有局限，实现AGI需解决诸多障碍，还强调计算能力和异构计算的重要性。
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。
扎克伯格看OpenAI直播挖人，北大校友孙之清加入Meta
本周五，前OpenAI研究科学家Hyung Won Chung晒照，显示他、孙之清与Jason Wei已加入Meta新成立的超级智能实验室。孙之清曾是ChatGPT Agent核心开发者，还和山姆・奥特曼直播发布该产品，一个月后跳槽。
双手取货+漂移搬运，WRC明星机器人告诉大家：什么是高级操作｜甲子光年
去年90后创业者王鹤提出具身智能产品化思路，一年后银河通用在零售和工业找到业务切口。2025 WRC上其Galbot机器人表现亮眼，会前还发布银河太空舱，开启‘十城百店’计划，以务实方式推动人形机器人商业化。
比RAG高出8.9%，百度TURA：让搜索引擎“动”起来的下一代AI Agent架构
现有检索增强生成（RAG）系统只能读取已索引的静态网页，无法满足用户需实时数据的问题。百度TURA用工具调用把RAG升级为动态交互，其核心分检索、规划、执行三步，已在百度亿级流量场景跑通。
欢迎 GPT OSS —— 来自 OpenAI 的全新开放模型家族！
OpenAI推出GPT OSS开放模型家族，含117B参数的gpt‑oss‑120b和21B参数的gpt‑oss‑20b。采用Apache 2.0许可证，资源占用低、推理快，适多场景，已接入Hugging Face服务，还介绍了推理、部署等内容。
谷歌开源结构化信息提取神器！4K+ Star，精准定位+交互式可视化！
在医疗、法律等领域，手动从非结构化文本提取信息费力，传统NLP工具需复杂训练。谷歌开源的LangExtract是高精度信息抽取Python库，能自动提取结构化信息，有精确源定位等功能，还给出使用示例和典型场景。
Claude Code + GLM-4.5，最强性价比编程组合教程首发
7月国产开源大模型竞争激烈，智谱发布的GLM - 4.5刷新开源大模型编程和agent能力。它成本低、速度快，还能与Claude Code配合。文章介绍该模型特点，分享二者使用教程及原型设计、网站开发等实测案例。
我花12小时深度实测，阿里Qwen-3 Coder被Kimi K2“吊打”！
作者花12小时在真实项目中实测阿里Qwen - 3 Coder和Kimi K2。结果显示，Kimi K2在任务成功率、指令遵循、Bug修复、代码重构等方面全面领先，成本还更低，作者更推荐Kimi K2用于代码开发。