「自动化定理证明」共找到 812 篇相关文章
上交大 x vivo 团队：一个简单改动，让 diffusion 全面提升丨CVPR 2026
上交大与 vivo 团队提出 C²FG 方法，针对当前 diffusion 模型缺稳定可控生成机制问题，通过 score 差异实现动态引导控制。实验显示，该方法能提升多维度指标，改进生成分布，揭示生成机制新方向。
从它石智航的世界纪录里，我看到了具身大模型落地干活的希望
在上海AWE展会，它石智航的A1机器人获“机器人在一小时内装配亚毫米级线束最多次数”吉尼斯世界纪录。这得益于它石自研通用具身大模型「AWE3.0」，该模型实现多项突破，推动具身智能落地。
OpenClaw 走红背后：Agent、AI Coding 与团队协作的新问题
InfoQ《极客有约》X QCon 直播栏目邀请专家探讨 OpenClaw 爆火、使用体验等问题。指出它并非低门槛产品，AI Coding 核心问题是不稳定与不可控，还讨论了团队落地方式及未来 AI Coding 可能的拐点。
ICLR 2026 | 别再让大模型“想太多”了！最新研究揭示 LLM 推理效率的关键瓶颈
大语言模型推理计算成本失控，存在过度与思考不足问题。研究揭示推理失衡是根源，提出BAM模型及Plan - and - Budget框架，实验显示其能提升准确率与效率，转向‘推理价值’范式。
劝视频博主别拿龙虾起号，7×24小时全自动，碳基生物真卷不过
X上网友分享的AIVideo Agent可7×24小时全自动完成视频制作流程，上手无技术难度，还能与多平台集成。AIVideo.com功能全，实测生成速度快且操作空间大，或改写传统视频生产流程。
ICLR 2026 | 异常需要定义！中传团队提出开放世界视频异常检测新范式
现有视频异常检测（VAD）方法泛化能力不足，无法适应开放世界需求。中传吴晓雨团队在ICLR 2026发表论文，提出LaGoVAD模型，联合建模视频与异常定义，解决样本密度下降等问题，实验显示泛化性强。
破解机器人「慢半拍」难题：南洋理工解决VLA致命短板，动态世界断层领先
南洋理工大学NTU S-Lab团队提出DynamicVLA，解决主流VLA模型在动态场景下反应迟缓等问题。它从多层面设计，构建自动化数据体系和DOM Benchmark，在实验中多维度领先。
MiniMax海螺视频团队首次开源：Tokenizer也具备明确的Scaling Law
MiniMax海螺视频团队首次开源，揭晓视觉分词器难题答案。其推出的VTP框架可提升模型性能，解决传统Tokenizer缺陷，还展示了Tokenizer的Scaling Law，为行业提供新路径。
独立开发者,写爬虫写麻了？这款开源命令行「Katana」帮你全自动扫站
如果你常做站点资产收集等工作，又懒得维护Python爬虫脚本，开源命令行工具Katana会很适合你。它能全面高效爬站，输入输出适配流水线，功能亮点多，不同需求者可按需选用。
华为新开源！扩散语言模型突破32K上下文，还解锁了「慢思考」
今年文本生成领域从自回归向扩散语言模型转变，但长序列训练不稳定是痛点。华为发布 openPangu-R-7B-Diffusion，将上下文长度扩至 32K，在多基准创 7B 参数量级 SOTA，还解析了其技术革新。