「可验证计算」共找到 5058 篇相关文章
DeepSeek-V3.2-Exp：用稀疏注意力打破长文本效率瓶颈
在NLP领域，处理长文本时传统注意力机制效率低。DeepSeek团队推出DeepSeek-V3.2-Exp模型，引入稀疏注意力机制，在保持性能同时提高长文本处理效率，降低计算复杂度，在多基准测试中表现良好。
The Sentient Interface: Art, Technology, and the Expanded Mind
在计算与数据主导的时代，艺术、科学与技术边界渐趋模糊。本次活动汇聚四位从业者，探讨如何将无形元素转化为审美体验，从生态数据到AI叙事，跨越学科探索人机关系与环境依存。
华为云的组合新范式，引爆了Agentic AI应用革命
在2025全球计算大会上，华为云提出Versatile智能体平台与CloudDevice云终端协同方案，致力于破解大模型行业落地痛点。该方案激发AI端侧应用可能，释放云端潜力，已在多行业展现变革价值。
先设计再写代码，还是先实现再重构？AI 编程让这种选择变的简单
传统手工编程时代，先设计再写代码和先实现再重构存在争论。AI编程让选择变简单，可先设计生成代码，再改进设计生成。还需在开发工具和流程上配合，新人更易适应。
一键开关灯！谷歌用扩散模型，将电影级光影控制玩到极致
Google推出LightLab项目，可从单张图像精准控制光影，解决传统光影控制难题。其通过特殊数据集微调扩散模型，让模型学会控制光照，还介绍了方法、后处理流程等，实验显示表现优，有多种应用。
闭源RSI的严父来了：18个Agent自主科研，Kimi K3靠Harness逼近Opus 5
开源AI基础设施公司Prime Intellect研究表明，借助多智能体Harness，让开源模型负责监控和实现，可让‘AI开发AI’更便宜、效果更好。实验中，Kimi K3搭配Harness逼近Opus 5。
混元开源PhoneBuddy-4B与5篇系列论文：多项手机Agent真机评测超过GPT-5.4
腾讯混元Phone - use Agent团队发布PhoneBuddy - 4B及5篇系列论文。研究探讨如何训练真实可用的Phone - use Agent，采用Real + Mock方式，实验显示该方法提升效果显著，4B模型多项任务超GPT - 5.4。
TRM思考奖励模型上线，大模型推理质量终于能量化了 | ICML‘26 Oral
大模型推理评测多只看答案，忽略推理过程。上海多校团队提出TRM，用ME² principle刻画推理质量，DAG-based pairwise evaluation还原结构，训练奖励模型，让推理质量可度量、训练和优化。
狂揽近4万Star！这份Claude Code最佳实践，效率翻倍！
GitHub上`claude - code - best - practice`项目爆火，Star近4万。它是Claude Code全功能实战指南，将「Agentic Engineering」落地开发，解决开发者接入AI的痛点，有结构化方法论、可复用模板等亮点。
具身Scaling Law押对了！独角兽新品1小时学会新任务，重复1800次成功率99%
具身智能独角兽Generalist推出新模型Gen - 1，它在精细任务上表现出色，成功率大幅提升、效率加快，验证了机器人领域的Scaling Law。研发团队重写数据处理架构，采用新技术提升性能。