「可验证计算」共找到 5172 篇相关文章
Chiplet（芯粒） —— 后摩尔时代的芯片“乐高”玩法
当单芯片逼近物理极限，Chiplet技术应运而生，它将大芯片拆分成小芯片，通过先进封装技术整合。该技术成本低、良率高，应用场景多元，但面临热管理、测试和标准统一等挑战，未来发展前景广阔。
瞄准AI、图形顶端战场：摩尔线程上演国产GPU硬核实力路演
摩尔线程首届 MUSA 开发者大会集中亮相技术体系。发布新一代统一计算架构 MUSA 路线图，介绍新架构、芯片及万卡集群，还涉及前沿布局，发起开发者培训，推出 AI 算力笔记本，宣告国产算力自主化时代加速到来。
2025年度盘点·值得一看的50件文化遗产创新作品
文章对MANA网站优秀创作者2025年上传作品做年度盘点，精选50件文化遗产创新作品。这些作品用当代语言和技术，让文化遗产不再是陈列品，而是可被感知的文化现场，探索文化当下生长与未来延展。
“特斯拉延期交付机器人是卡在灵巧手上，中国灵巧手遥遥领先”| 灵心巧手@MEET2026
特斯拉人形机器人因灵巧手延期交付，灵心巧手联合创始人张延柏表示，灵巧手是具身智能核心执行平台，不依赖人形本体，可率先应用。好的灵巧手要有高自由度、耐用性等，中国在该领域优势明显。
完爆ChatGPT！谷歌这招太狠：连你的「阴阳怪气」都能神还原
谷歌发布Gemini 2.5 Flash原生音频模型，可保留语调进行实时语音翻译，实现拟人化交互。还具持续监听、风格迁移等功能，提升开发者所需的函数调用、指令遵循等能力，另有实验产品Disco。
安卓党狂喜！Open-AutoGLM让手机自己订外卖、抢票、刷小红书
Open - AutoGLM是能让手机自己干活的黑科技，给手机装了「AI打工人」。它整合视觉语言模型与ADB远程操控技术，适配50 + 款主流应用，自带安全边界，普通人易安装，开发者可自定义流程。
DeepSeek 模型技术之旅：从 V3 到 V3.2
本文深入剖析了 DeepSeek 模型从 V3 到 V3.2 的技术演进，对比了基座与推理模型，介绍了架构、训练方法变化，如 V3.2 结合 MLA 与 DSA，更新奖励和 GRPO 算法，还提及 V3.2-Speciale 扩展思考特性。
无需训练的3D生成加速新思路：西湖大学提出Fast3Dcache
在AIGC浪潮中，3D生成模型虽进化快，但‘慢’和计算量大制约其应用。西湖大学AGI实验室提出无需训练、即插即用的Fast3Dcache框架，能在加速同时保持或提升模型几何质量。
估值7.5亿美元初创意欲「撬动」8000亿半导体市场？前谷歌AlphaChip主导者创业研发「AI芯片设计自动化」
由前谷歌研究员创办的 Ricursive Intelligence 公司，尝试开发自动设计芯片的软件。其核心技术将递归智能用于芯片设计，分三阶段改进，已获 3500 万美元融资，估值 7.5 亿美元，有望变革半导体行业。
AI三国杀！OpenAI狂卷，DeepSeek封神，却被Mistral偷了家？
中美忙着堆算力打AI战，欧洲Mistral杀出，推出Large 3和Ministral 3，全开源、多模态、能落地。Large 3规格高，Ministral 3小而强，可跑在多设备上。Mistral还想成平台，挑战巨头。