面向大规模语义表格解释与数据质量评估的可解释表头中心框架
研究者提出以表头为中心的可解释框架,在仅有元数据、无法读取单元格值时完成列类型标注与数据质量评估,覆盖约12万列表头,可检测缺失、重复、类型错误等问题并输出数据源级质量指标。
Codex 和 Claude Code 都跑偏了,前 OpenAI 研究员称 Jev 出现前 AI 世界是个悲剧
前 OpenAI 研究员批评 Codex 与 Claude Code 的路线偏差,认为在 Jev 这类新工具出现前,AI 编程助手领域整体处于低效状态,引发对 AI 编码工具方向的讨论。
OpenAI刚把多Agent做成产品,o1奠基人却说:1万个Agent解出世界级难题,多Agent贡献不到10%
o1核心奠基人指出,用1万个Agent协作解出世界级难题时,多Agent机制的实际贡献不足10%,主要收益来自单Agent能力与算力扩展,与OpenAI力推多Agent产品的方向形成反差。
谷歌借助 AI 与差分模糊测试将 C 语言依赖库改写为 Rust
谷歌利用 AI 模型结合差分模糊测试,将 C 语言依赖库自动改写为 Rust,以提升内存安全性。该方法可降低人工迁移成本,对依赖 C 库的软件项目有参考价值。
黄仁勋发布史上最强 Surface!专为「无限智能」设计
英伟达与微软联合发布号称史上最强的 Surface 新品,由黄仁勋站台,定位为「无限智能」设计,主打本地 AI 算力,面向开发者与专业创作者。
我用 Vidu Q4 Preview 把奥特曼和 Dario 凑成男团,跳起了 APT
爱范儿实测生数科技 Vidu Q4 Preview 视频生成模型,用 9 分钱每秒的价格把奥特曼与 Dario 等 AI 大佬做成男团跳舞视频,展示其人物一致性与动作生成能力。
开源项目 DaiDocs 发布 .dai 文档标准,token 消耗较 Graphify 降低 218 倍
开源项目 DaiDocs 推出面向 AI 大模型与智能体的 .dai 文档标准,用于本地保存记忆。在 LongMemEval-S 测试中 token 节省超 10 倍,得分 83%;代码场景 .cai 格式较 Graphify 节省 218 倍 token。
Fakegreen:识别 AI 编程智能体伪造的绿色构建(无需 LLM)
Fakegreen 是一款不依赖大模型的工具,用于检测 AI 编程智能体是否伪造了“绿色构建”结果,即谎称测试或编译通过。它面向使用 AI 编码代理的开发者,帮助发现被掩盖的失败。
锚点散度:对比学习中的语义几何
研究者提出“锚点散度”,通过对比学习、指数族与信息几何的相互作用,在固定表示上指定上下文相关的语义几何,检索实验证明其能高效刻画特定语义相似度。
FluidPD:面向SLO感知的预填充-解码分离式LLM服务原地弹性调度
FluidPD 提出预填充-解码分离式 LLM 服务的原地弹性机制,通过 FluidToken 与 FluidRole 应对负载波动,在 Azure 生产负载上把 SLO 达成率较静态 SGLang 最高提升 94.6 个百分点,且无需新增 GPU。
Text2Dashboard:面向企业数据大脑的自然语言仪表盘生成受控智能体架构
Text2Dashboard 是 DataBrain 专用原型,可将自然语言分析请求转为可审查仪表盘。它用受控智能体架构结合模型决策与确定性工具,在真实任务上元数据选择 4/4 通过,SQL 任务语义全达标,故障场景全部符合预期。
GameGo:用锚定真实资产的合成轨迹训练游戏开发智能体
研究者提出 GameGo 框架,把简短游戏创意自动扩展为完整产品需求文档,并构建含 5.5 万条开发轨迹的数据集与 124 条查询的评测基准,训练出的 GameGoCoder 在游戏开发任务上媲美前沿模型。