「可验证推理」共找到 6204 篇相关文章
7000亿豪赌，扎克伯格买了众叛亲离
为拿下AI船票，扎克伯格让Meta猛踩油门，投入数百亿参与竞赛，还多次重组AI部门。但他的强硬作风使Meta内部混乱，老将出走，新人不满。Meta虽有新模型计划，可商业模式不明，还面临伦理风险。
智能体如何学会「想象」？深度解析世界模型嵌入具身系统的三大技术范式
长期以来具身智能系统缺预测力，世界模型让智能体有了‘想象’未来的能力。中科大等机构团队综述将现有研究划分为模块化、顺序、统一三大架构集成范式，并指出未来研究方向。
航空学报 | 西工大余囿铮、寇家庆等：基于生成对抗网络的通航飞行器气动布局设计方法
传统飞行器气动布局设计依赖专家经验，方案多样性受限。本文基于改进的生成对抗网络，提出端到端气动布局生成框架，以机翼和通航飞行器为对象研究，验证了其在创新飞行器设计方面的潜力。
模型大一统？1100多个模型殊途同归，指向一个「通用子空间」！
约翰斯・霍普金斯大学研究发现，1100多个不同神经网络，即便训练条件不同，最终权重会收敛到共享低维子空间。此研究为神经网络参数空间“通用性”提供严谨实证，虽成因待探索，但意义深远。
最高500万！6个项目签约！“决战紫金之巅”圆满收官 | Q推荐
12月12日，决战紫金之巅——云谷杯・2025人工智能应用创新创业大赛总决赛暨闭幕式在云谷中心举办。活动聚焦AI应用创新及“AI+”融合，现场有政策宣介、圆桌对谈等，6个项目签约，最高可获500万补贴。
产品研发AI提效实践：PRD智能体在需求领域的提效探索
随着AI发展，企业探索用其优化产品开发流程。文章介绍PRD和系分智能体落地进展，目标提升产研效率、规范文档管理，阐述技术方案、能力展示，也指出RAG链路等方面挑战及后续研究方向。
对话微分智飞高飞：看具身智能如何引发飞行认知革命 | GAIR 2025
雷峰网第八届GAIR大会邀请微分智飞高飞，探讨具身智能在飞行机器人领域应用。高飞指出其与传统无人机本质区别，介绍应用场景、分布式集群技术，还谈世界模型价值、挑战及创业契机，认为具身智能是历史拐点。
AI泡沫原罪：英伟达是AI戒不掉的“毒丸”？
海豚君通过产业链核心公司报表研究AI投资是否到泡沫阶段及原罪。指出AI产业初期利润分配不均，上游获利多。还分析各环节风险，如英伟达怕需求下滑，云服务商有成本和产能风险，OpenAI成本高、亏损大。产业链巨头开始博弈定价权。
谷歌DeepMind团队新框架：让AI告别每次从头开始，在任务流中越用越聪明
谷歌DeepMind团队联合伊利诺伊大学提出Evo-Memory框架和ReMem架构，改变大模型只能被动检索历史的现状，让智能体实现终身学习。通过基准测试验证其有效性，实验显示ReMem优势明显，还揭示记忆复用关键因素。
绕过Azure AI 护栏的方法及案例
本文指出Azure AI有安全漏洞，攻击者可利用漏洞绕过内容安全机制。介绍了重现步骤，阐述字符注入与对抗性机器学习规避两种攻击技巧，展示攻击效果，还提及微软已部署缓解措施并给出安全建议。