标签：开源

德州联邦法官批律师用AI生成动议，威胁制裁三名辩护律师

德州联邦法官 Mark Pittman 驳回一名被告的候审释放动议，认定其三名辩护律师提交的文件充满“明显的AI垃圾”，并威胁对律师实施制裁。这再次把“AI代写法律文书”的责任归属问题推到台前。

Hugging Face 的 Open ASR Leaderboard 与数据公司 Liva AI 合作，新增埃及和尼日利亚两种英语口音的私有评测集，让语音识别榜单覆盖更多非美式口音，也进一步降低刷榜空间。

开发者孟健于2026年11月发布实测，用5段提示词让Claude Code两版对比开发在线切图工具：不装前端设计技能的第一版功能可用但界面简陋，启用开源技能frontend-design后的第二版达到专业软件质感，4轮生成重构合计约14.5分钟。

OpenAI于2026年11月4日宣布收购代码管理与审查创业公司Pierre，计划将其分布式存储和代码审查技术整合进Codex系统。这起收购显示OpenAI正从模型能力竞争延伸到开发者工作流的端到端工具链。

arXiv 新论文提出 FINCOSMOS，一个让金融智能体在开放网页环境中自行找数据、做回测、交付可验证结果的评测范式；在摘要披露的 150 次会话中，没有一次被系统接受。这为“看起来可信”的金融 AI 输出提供了一个更严格的检验视角。

腾讯轻量云团队开源了云端自进化 AI 研发平台 LoopForge，把单机 Coding Agent 升级为支持多角色共享、工程级 SOP 和无人值守自动化的团队级系统，内部已覆盖 20+ 业务，单月自动完成 200+ 需求与日常单据。

arXiv 于 2026 年 11 月 6 日发布论文 EFXPLORER，提出一种带约束的探索框架，试图在不牺牲既有任务表现的前提下，让多智能体强化学习发现更复杂的协作策略。

Axiom 于 2026 年 11 月 5 日发布 Stacks Project 的完整 Lean 形式化版本，将这部约 7500 页的代数几何基础参考书转成约 1600 万行机器可验证代码，研究者与 AI 代理可直接导入其定义和定理。

NVIDIA 在开发者博客中介绍了开源软件层 DSX OS 及其三个 Apache 2.0 项目 AICR、NVCRE、NVSentinel，分别负责 GPU Kubernetes 集群的配置、认证与运维，目标是让集群在全生命周期内保持可验证的就绪状态。

针对大型物体双臂抓取往往只能拿到部分点云的现实，alphaXiv 上发表的 PartialBiGrasp 提出用占用网络隐式推断被遮挡区域，再生成并局部优化力封闭抓取对，在 DG16M 测试集上力封闭率为 55.16%，高于基线 DAGDiff 的 22% 左右。