「程序验证」共找到 1087 篇相关文章
马斯克Robotaxi今日上路：画饼十年终兑现！团队合影C位武汉理工校友引关注
当地时间6月22日，特斯拉Robotaxi服务在美国奥斯汀南部启动，首批约10辆2025款Model Y运营。马斯克盛赞团队，AI团队合照C位是武汉理工大学校友段鹏飞，他是Autopilot关键技术负责人。
CS博士求职8个月0 offer，绝望转行！斯坦福入学停滞，全美仅增0.2%
曾经热门的计算机专业渐成「冷门」，全美入学率仅增0.2%，斯坦福等校招生下滑。AI自动化初级编程岗位，致就业前景暗淡，如田纳西大学博士生求职8个月无果。不过也有人认为低迷或为短期，专家建议选培养可迁移技能学科。
CVPR史上首次！中国车厂主讲AI大模型，自动驾驶也玩Scaling Law?
世界计算机三大顶会之一CVPR 2025落幕，小鹏汽车作为唯一受邀车企，其世界基座模型负责人发表演讲分享成果。小鹏用强化学习打造‘AI大脑’，还自研‘世界模型’，从云到端全流程优化，展现中国车企在自动驾驶的创新实力。
ACL'25 | CIGEval：一种基于多模态大模型的可控生图评测智能体
阿里国际AI团队提出CIGEval，这是基于多模态大模型驱动的图像生成评估智能体框架。它集成多功能工具箱，通过任务拆解与工具调度提升评估准确性与可解释性，已在ComfyUI - Copilot上线。
爆火论文颠覆RL认知！「错误奖励」让LLM推理暴涨24.6%，学界惊了
最新爆火论文颠覆传统RL训练认知，华盛顿大学等团队证实「伪奖励」可让LLM推理性能提升。研究设置多种伪奖励形式实验，发现其对Qwen模型有效，但并非对所有模型都有效。
LLM学习笔记：最好的学习方法是带着问题去寻找答案
文章总结拓展Andrej Karpathy教学视频，分析大模型聊天流程与原理，介绍LLM训练步骤，包括预训练、后训练和强化学习，还提及主流特性应用，如文件上传、网络搜索，强调带问题学习的重要性。
Nature Machine Intelligence｜不只是「像大脑」，人脑信号还能直接引导语言模型进行鲁棒推理
本文介绍发表于Nature Machine Intelligence的最新研究，系统探究语言模型与人脑推理表征的对应关系，验证人脑信号可引导提升语言模型推理鲁棒性，为脑启发AI提供了新研究路径。
刚刚，Claude发现神秘DNA系统！狂烧21 亿Token挖出「上帝手术刀」
Anthropic动用950个Claude并行运行，消耗2.1亿Token，仅21小时就完成人类科学家数月才能完成的基因组扫描，在噬菌体中发现类似CRISPR的全新未表征酶系统ART，改写了生命科学科研范式，有望推动生物医疗革命。
Meta新研究：字节模型蒸馏后，天花板破了
本文介绍Meta FAIR与华盛顿大学合作的最新研究，针对传统大模型蒸馏Token候选空间大、存储成本高的痛点，提出字节级蒸馏方案，验证其可突破Token天花板提升模型能力上限。
网页藏毒，劫持Agent？你需要会「追凶」的自进化女警系统
AI Agent接入外部环境后，易遭遇隐蔽的网页藏毒、prompt注入攻击，传统防御要么成本过高要么易被新型攻击绕过，本文介绍新提出的自进化防御系统CAITLYN，验证了其防御效果。