「AI算力大会」共找到 12405 篇相关文章
从平面几何出发：形式化验证如何驱动MLLM的推理能力跃迁
多模态大语言模型在复杂数学与几何推理中有缺陷，现有训练方式让模型难有鲁棒推理能力。上海交大等团队提出“以形式化增强非形式化推理”方案，构建完整闭环，提升模型推理及泛化能力。
LLM规划能力飙升79%！Google：内在自我批评技术拿下多项SOTA
Google DeepMind研究《通过内在自我批评提升大语言模型的规划能力》，不借助外部验证器，让LLM反复“自评+重写”，使Blocksworld准确率从49.8%升至89.3%，还介绍了方法及跨模型验证情况。
【万字长文】Claude Skills完全指南：从概念到实战
这是万字Claude Skills指南，从概念到实战。介绍了Skills是模块化能力包，有渐进式披露设计，对比了与MCP、Subagent区别，阐述其优势。还讲了创建、设计、使用方法及分类体系，提示安全风险并推荐资源。
我所知道的闫俊杰
文章讲述了MiniMax掌门人闫俊杰的故事。他技术功底深厚，在商汤时提出创新算法成名。创业后，他以AGI为目标搭建人才体系，推出Glow等产品。虽面临DeepSeek竞争等困境，但坚持模型与产品一体化发展。
DeepSeek-OCR是「长文本理解」未来方向吗？中科院新基准给出答案
DeepSeek-OCR的视觉文本压缩技术降低长文本处理成本，中科院自动化所等团队推出VTCBench基准测试评估模型视觉认知，含三大任务及衍生版本，测试结果有‘U型曲线’，还评测多种尖端模型。
老黄200亿「钞能力」回应谷歌：联手Groq，补上推理短板
谷歌TPU威胁刚至，英伟达砸200亿美元联手Groq布局AI新时代。知名投资人指出Groq LPU推理速度远超GPU、TPU等，但内存容量小。英伟达借此补推理短板，入局竞争激烈的推理市场。
VGGT4D：无需训练，挖掘3D基础模型潜力，实现4D动态场景重建
香港科技大学（广州）与地平线研究团队提出 VGGT4D，无需训练，通过挖掘 Visual Geometry Transformer 注意力层运动线索，在动态物体分割等任务表现优异，为 4D 重建提供新思路。
安卓党狂喜！Open-AutoGLM让手机自己订外卖、抢票、刷小红书
Open - AutoGLM是能让手机自己干活的黑科技，给手机装了「AI打工人」。它整合视觉语言模型与ADB远程操控技术，适配50 + 款主流应用，自带安全边界，普通人易安装，开发者可自定义流程。
流片成功率低、研发成本高昂，EDA如何助力芯片产业破局？
全球半导体市场规模增长强劲，但芯片产业面临流片成功率低、研发成本高的挑战。西门子EDA全球副总裁凌琳提出，未来半导体产业突破需聚焦三大方向，核心是‘全面数字孪生’，并阐述了实现路径和布局策略。
座舱芯片，谁能从高通手中抢市场？
座舱芯片领域，高通凭借技术和生态优势成为霸主，与全球主流车企合作稳定。但本土厂商如MTK、芯擎等通过成本、本土化服务等错位竞争提升份额。同时，舱驾融合虽为趋势，但推进难度大。