「形式化验证系统」共找到 2435 篇相关文章
颠覆无线电常识！新技术把干扰信号变算力，自动驾驶掉线难题有望解决
一项名为空中计算（OAC）的新技术有望颠覆无线网络系统设计标准，它能将无线信号干扰转化为计算能力，降低拥塞和能耗。目前已有原型机实现95%图像识别准确率，预计30年代走向标准化，但面临移动性等挑战。
AI教母李飞飞空间智能开源大动作：上亿节点3D高斯场景塞进手机网页
AI教母李飞飞的空间智能公司World Labs开源3D高斯泼溅网络渲染器Spark 2.0，打破硬件与平台壁垒，将亿级渲染能力带到网页和移动端，解决Web端痛点，还采用三大核心技术系统及更多黑科技。
智谱GLM-5.1深度评测：8小时连续工作，开源大模型进入"工程交付"新纪元
2026年4月8日智谱发布GLM-5.1，它是全球首个通过真实工程任务验证8小时持续工作能力的开源模型，在SWE-Bench Pro上超越GPT-5.4等登顶。该模型性价比高、技术创新多，还适配国产硬件，开源生态友好。
不拼GPU！中兴扔出AI超节点，把token价格打下来
在万亿级大模型时代，传统‘芯片堆砌’方式面临通信开销剧增等痛点。中兴通讯推出超节点技术，从系统级协同架构出发，通过六大维度创新，绕开单GPU芯片瓶颈，重构AI算力基础设施，推动行业向开放、融合发展。
Karpathy：写了20年代码，现在像作弊
Karpathy曾造词“vibe coding”，一年后弃用。他开源autoresearch项目，让AI Agent自主跑实验，自己不写代码。他还展示家庭监控分析系统也由Agent完成。他提出“agentic engineering”，认为工具虽变，但深度技术专长更重要。
黄仁勋罕见发长文：APP形态或将消失
英伟达CEO黄仁勋发表长文，系统阐释AI产业底层逻辑，定义AI“五层架构”。他指出AI产业尚处早期，潜力待发掘，未来还需巨额投资完善基础设施。还预判传统软件和 APP 形态或消失，AI Agent 将成主流。
超20万个高质量Skills！浙大等联合推出SkillNet，告别孤立Skill实现自进化
浙江大学联合多家机构推出开源基础设施SkillNet，拥有超20万个高质量Skills。它能让AI智能体告别失忆式工作，将互联网资源和人类经验转化为可执行Skills，构建Skills网络，经严苛评测，在真实场景验证了强大实战能力。
为什么BF16的FlashAttention会把训练「炸掉」？清华首次给出机制解释，用极简改动稳住训练
社区里长期存在的FlashAttention+BF16训练GPT - 2时loss突然爆炸的问题，清华团队论文给出机制解释。指出是特定条件下数值偏置被放大所致，还给出极小修改稳定训练，且在多模型和硬件上验证有效。
40倍推理加速！复旦&微软：用「非线性流」拟合复杂轨迹，2步生成媲美原画
ArcFlow是复旦与微软提出的图像生成加速方案，引入非线性流拟合复杂轨迹。它在仅2步推理下保持画质，实现约40倍推理加速和4倍训练收敛加速，微调极少参数，在多模型验证效果出色。
字节悄咪咪上线了 AI 版抖音「随变」，在下什么棋？
临近春节，字节跳动 1 月初上线的「随变」App 在年轻人中流行。它类似「纯净版」AI 抖音，核心功能有 AI 形象生成等。字节借此在小体量社区验证功能，解决抖音年轻用户留存问题，也想抢占 AI 视频市场。