「新能源汽车」共找到 3697 篇相关文章
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。
VLA统一架构新突破：自回归世界模型引领具身智能
北京智源研究院联合中科院自动化所提出 UniVLA 全新 VLA 模型架构，基于全离散、自回归机制建模多模态信号，后训练引入世界模型。它刷新多项基准纪录，在真机操控和自动驾驶有潜力，为多模态感知决策融合带来新思路。
刚刚，AI大牛Karpathy又提新概念：像细菌一样写代码？
AI大牛Andrej Karpathy继Vibe Coding后提出「细菌式编码」，受细菌代码启发，有小而精简、模块化、自包含特点，其核心是让代码利于共享。它适合快速原型开发，也有局限，建议兼顾两者。
刚刚，英伟达任命新首席研究科学家！95后，本科来自清华
老黄现身与两位华人合影，确认Banghua Zhu加入Star Nemotron团队，Jiantao Jiao入职英伟达，两人曾联合创办Nexusflow。他们背景硬核，成果丰富，英伟达或借此布局企业级智能体。
1分钟烧掉165万元！马斯克死磕OpenAI，300亿新融资豪赌AGI
xAI每月烧钱10亿美元，正进行43亿美元股权融资，计划明年再筹64亿，还有50亿债务融资。马斯克有三张王牌，xAI预计2027年盈利，其目标是创造AGI，这场豪赌结果待时间揭晓。
工业异常检测新突破，复旦等多模态融合监测入选CVPR 2025
复旦大学等机构联合发布高精度多模态数据集Real - IAD D³，提出多模态融合检测方法D³M，成果被CVPR 2025收录。该数据集含多类数据，提升检测性能，此前相关工作也被CVPR 2024收录。
通义实验室最新成果WebDancer：开启自主智能Deep Research的新时代
通义实验室推出 WebDancer，解决自主信息检索智能体构建难题。它创新合成训练数据，采用两阶段训练策略应对开放网络训练挑战，在多个基准测试中表现卓越，未来还将拓展能力。
“我的新爱好：眼睁睁看着Copilot慢慢逼疯微软程序员”
近日，Reddit上关于GitHub Copilot的风波引发开发者关注。微软发布Copilot Agent，虽称其擅长开发任务，但在GitHub实践中表现不佳，引发开发者不满，也反映出技术理想与现实落地的差距。
智源技术分享：大模型行业应用新模式和关键实现路径
在 AICon 大会上，智源研究院周华分享大模型行业应用。分析落地问题，提出以大模型为核心的技术路径，涵盖数据、训练等环节，还给出数据生产流程建议，分享最新开源成果。
天文预测新SOTA！紫东太初&国家天文台联手攻克恒星耀发难题
紫东太初与中国科学院国家天文台联合开发天文耀发预测大模型FLARE，能精准预测恒星耀发事件。该模型整合恒星物理属性和历史耀发记录，提升预测准确性，相关论文被IJCAI 2025录用。