超越LLM裁判，结合机械数值验证与LLM语义审查，为Lean自动形式化提供可验证、高保真的新验证范式
近7日信号 1 条
提出跨接口一致性训练范式，提升LLM智能体对动作命名、符号等语义保持扰动的鲁棒性，解决后训练绑定接口缺陷
近7日信号 1 条
提出潜空间压缩（Latent Compaction）方法，在推理时压缩KV缓存，兼顾长上下文生成的信息保真与内存效率
近7日信号 1 条
提出Player-1框架，利用合成游戏体验训练计算机使用智能体，攻克视觉丰富、机制多样的真实游戏交互挑战
近7日信号 1 条
提出连续注意力（CA）机制，用积分替代离散KV查表，构建因果、内存友好的新型Transformer注意力算子
近7日信号 1 条
首次形式化建模AI智能体竞拍市场中的博弈均衡，分析首价拍卖下的无效率代价（PoA），为agentic经济系统设计提供理论基础
近7日信号 1 条
揭示Transformer隐式弹性特性，支持运行时动态缩放计算资源，突破固定尺寸模型家族限制
近7日信号 1 条
面向真实世界移动操作（MoMa）提出分层残差策略学习框架，在稀疏人类指导下实现异构模块解耦微调
近7日信号 1 条
用扩散模型建模人形机器人策略权重，揭示其神经表征结构，推动具身智能可解释性研究
近7日信号 1 条
提出协同演化的动作执行与预测机制，缓解语言智能体长程rollout训练的高成本瓶颈，利用中间步骤监督信号提升agentic RL效率
近7日信号 1 条
OpenAI发布的GPT-6系列低成本高可靠性模型之一
「GPT-6.1 Sol不是模型升级，而是OpenAI向中国B端市场投下的‘价格锚定弹’：以1/5 Astra成本提供95%专业任务能力，正快速重构SaaS、法律科技、智能办公等赛道的API采购决策链。」
近7日信号 22 条
运行于终端的通用型AI Agent，支持general与code双模式，采用AGPL-3.0协议开源
近7日信号 5 条
集成Spring AI框架的原创文学内容管理系统，支持AI生成小说封面等功能
近7日信号 1 条
面向艺术家、设计师和电影人的意图驱动式内容创作引擎，支持多模态提示与结构化工作流
「一个尚未落地但理念前沿的创意Agent架构原型，核心看点在于其‘意图驱动+结构化工作流’的设计哲学能否成为下一代创作者工具的标准范式。」
近7日信号 3 条
支持模型调度工具链的AI编程框架，采用客户端/服务器架构
近7日信号 1 条
面向电商企业的千问AI办公Agent解决方案
近7日信号 1 条
阿里巴巴千问发布的AI眼镜硬件，定位Personal Agent入口
近7日信号 1 条
常春藤盟校达特茅斯学院自研AI工具，帮助学生进行职业探索与决策
近7日信号 1 条
30多国领导人联合呼吁建立的全球性AI治理协调机制
近7日信号 1 条
为全球顶级天气预报系统添加轻量级AI纠错模块，次季节预报能力翻倍，发表于Nature
近7日信号 1 条
AI从头设计靶向致病蛋白的精准分子剪刀，发表于Nature
近7日信号 1 条
面向高功耗AI服务器的液冷散热解决方案，已成为数据中心基础设施刚需
近7日信号 1 条
利用AI实时监测并预警社交媒体潜在公关危机的企业级平台
近7日信号 1 条
田渊栋联合创办的具身智能与世界模型初创公司
近7日信号 2 条
面向OCR解析器的开源基准测试集，含16288个二元判定样本
近7日信号 1 条
麦肯锡用于校招面试的AI客户模拟对话系统
近7日信号 1 条
基于OpenAI技术构建的AI驱动安全威胁响应系统
近7日信号 1 条
2026年9月底至10月初，AI赋能的自动化攻击波及韩国七家金融机构，暴露新型AI安全威胁
近7日信号 1 条
由AI驱动的虚拟K-pop女团，曾以成员怀孕退团事件引发全网热议
近7日信号 1 条
Liquid AI发布的开源24B MoE推理模型，2B激活参数，专为端侧智能体优化
「首个在苹果M5 Max实现实用级性能的开源24B MoE端侧模型，技术标杆意义大于短期商业落地，是端侧智能体技术选型的关键参照系。」
近7日信号 2 条