「消息系统」共找到 1943 篇相关文章
AI哪怕答案正确，逻辑链却惨不忍睹，奥数级不等式证明成功率不到50%｜ 斯坦福&伯克利&MIT
斯坦福、伯克利、MIT等联合研究，系统评估29个大模型在奥数级不等式证明任务的能力。研究发现，模型答案正确多靠猜，推理漏洞多，参数大、思考久也不能提升推理严谨度，但自我反思和定理线索策略有改善效果。
AI搜索平台Glean获1.5亿美元，估值72亿美元
CNBC消息，AI搜索平台Glean完成1.5亿美元F轮融资，估值升至72亿美元。其核心产品是企业级搜索平台，可集成多应用。资金将用于团队扩张和拓展市场，但也面临激烈竞争，技术可与大模型互补。
GPT-5七月上线？内部爆料+奥特曼疯狂暗示，自曝前方时刻「令人恐惧」
近日，多方消息显示OpenAI可能7月发布GPT - 5，奥特曼也确认o3 pro快来了。人们对GPT - 5期待颇高，猜测其能力有提升也有局限。奥特曼访谈透露AI会带来多方面变化，应服务个人意志。
4个文件，1个超级目标，我用Trae搭建了一个不会"失忆"的AI分身，还免费
AI产品黄叔分享用字节AI IDE Trae搭建AI分身的经验。他指出原用的Monica有价格高、记忆受限等局限，新系统含个人档案等四模块，由智能体串起，能自动同步，体验更好，还适合PDCA循环助力自我提升。
提示词注入攻击的检测和数据集介绍
提示词注入攻击是攻击者操纵AI系统的技术，OWASP将其列为2025年大模型应用风险首位。Meta发布测试数据集，还有多个工具和数据集可用于评估。防护可用AI防火墙，Meta开源小模型。还提到安全性与实用性权衡。
SGLang Custom AllReduce v1 与 v2 实现原理详解
文章聚焦 SGLang 里两代自定义 all-reduce 实现（v1 和 v2），前者从 vLLM 移植，后者是默认版本。详述其负载特征、前提条件、分发链、同步机制、算法及 CUDA graph 支持等内容，还对比了两代差异，并提及相关环境变量。
Harness Engineering: C 端 AIGC 内容生产自优化实践
文章介绍蚂蚁保保险快查深度解读页面生成系统（DIPG），它将Harness思想用于C端AIGC生产链路。DIPG采用‘离线生成+校验+刷入DB’模式，解决LLM实时生成时延和质量问题，还阐述多Agent协作、校验机制及回灌流程等。
三年时间市值翻了25倍，广告新巨头AppLovin任命了一名华人CTO
在Google和Meta“垄断”的广告领域，AppLovin成为新巨头。新任CTO葛小川分享工程数据，该公司基于机器学习的广告竞价系统日处理超1000亿次请求，核心工程团队不到100人。文章讲述其发展历程、技术突破及未来规划。
Meta“Token榜”逼疯打工人，一夜烧掉公司几万刀！AI时代Token焦虑越来越离谱
据报道，Meta 公司内网出现 AI token 消费排行榜，追踪超 8.5 万员工 token 使用情况，过去 30 天消耗超 60 万亿 token。这反映“Token 最大化”文化，引发 token 消耗是否等同于生产力的争议。当前 Agent 系统高 token 消耗是补偿机制，应提升使用效率。
独家丨清华00后团队「零次方机器人」获超亿元融资，聚焦可真实落地的具身智能
AI科技评论独家消息，零次方机器人近日完成超亿元融资，由润泽集团领投。该公司由清华00后创办，团队超百人。已实现单月量产百台，订单破亿，推出具身操作基础模型，融资将用于软件、硬件和生态建设。