「语言智能体」共找到 4323 篇相关文章
OpenAI盯上苹果开发者生态，吞了家AI编程公司
OpenAI收购AI编程初创公司Alex，其产品是苹果Xcode量身定制版Cursor，集成智能助手到Xcode。此前OpenAI宣布GPT - 5内置于Xcode 26，收购或为与Anthropic竞争。
“神经-符号”融合规划器性能显著超越o1：借鉴人类运动学习机制｜中国科学院磐石研发团队
中国科学院磐石研发团队提出新型“神经 - 符号”融合规划器，融合神经与符号规划系统优势，借鉴人类运动学习机制构建双向规划机制，在规划覆盖率和效率上显著超越OpenAI o1，已加入“磐石·科学基础大模型”。
比NotebookLM更好的「开源播客」，可根据多模态内容生成30分钟以上播客音频。
Podcastfy是开源Python工具，能把文本、图片等多模态内容，借生成式AI转化为播客。它支持自定义，适配多种语言和文本转语音模型，能生成2 - 5分钟或30分钟以上的播客，使用体验比NotebookLM好。
Meta全新AI组织架构曝光，这范儿有点字节
Meta内部组织调整后，全新架构浮出水面，围绕‘超级智能实验室’整合出3400多人的新组织，负责人是亚历山大·王。其分工类似字节AI架构，还在挖人，有反噬风险。
马斯克Grok的AI男友还在取名，开源版AI女友已经火了，还是3D的
前几天Grok推出‘智能伴侣’功能，马斯克在线征集男性Grok数字伴侣命名。网友Jackywine复刻出3D版开源AI女友‘Bella’，介绍了其工作流、愿景及规划的‘AI原生’演进路径。
陶哲轩看傻：三破18年数学纪录！谷歌推出「AI爱迪生」，科研不再靠灵感？
5月中旬谷歌发布AlphaEvolve，30天攻克18年未解难题。它利用Gemini模型发现新算法，从AlphaGo获启发，能在编程空间搜索方案，或开启不靠‘灵感’的科学革命，还将改变科学家角色。
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。
奶牛版 Oura 估值 10 亿美金，AI+PDF 让它拿了 1700 万美金融资
市场上多数AI PDF产品是ChatPDF模式，用于C端。企业关键非结构化数据多在PDF等传统载体中，难以获取。硅谷工程师做的Extend AI产品，获1700万美金融资，解决传统文档处理难题，打造平台。
企业数字化转型新引擎：MCP + LLM + Agent 架构赋能！
本文介绍MCP（Model Context Protocol）模型上下文协议，它是Anthropic于2024年11月底推出的开放标准，可统一大模型与外部数据源和工具通信协议，打破数据孤岛，有诸多优势，还适用于多个场景。
Git 是给工程师的，YoYo 是给 Vibe Coders 的！网友：“这才是 AI 时代的版本控制！”
大家常用的Git用于交付最终产品，适合工程师。但编码探索过程混乱，这正是YoYo要解决的问题。它能捕捉凌乱试验，核心功能有保存、预览、恢复，还支持代理AI搜索，适配主流IDE。