「程序验证」共找到 1016 篇相关文章
现在，你可以在手机上用AI生成一个APP了。
作者参加百度Create 2026 AI开发者大会，介绍百度秒哒。它是能帮开发产品的Agent，虽与顶级产品有差距，但全链路适配、对国内生态友好。大会上线APP版，能直接生成安装包，操作简单，解锁普通人创造力。
AI「看不懂」、「做不好」视频的问题，混元用「MTSS」解决了
腾讯混元团队提出 Multi-Stream Scene Script（MTSS）新视频描述范式，将传统方式升级为‘多流结构化剧本’。它解决了传统方式语义冗余、扩展性差等问题，在视频理解和生成任务表现显著。
图灵也没想到，智能，必须在现实中「活」下来
第六届 ATEC 科技精英赛 ATEC2026 已开赛，由多单位共同组织。赛事聚焦人工智能、具身智能等方向，以真实世界挑战为命题，通过赛题设计检验系统在真实环境的运行能力，还设置丰厚奖励。
《动手写AI Agent》前言 · 先看完成品
作者因想搞懂 Agent 原理，且市面上缺系统学习资料，决定手写一份教程，即《动手写 AI Agent》。书中 Ling 是从零手写的编程助手，介绍了其 8 个应用场景、技术规格，还说明了适合读者与全书路线图。
Claude Mythos其实没那么神？AI发现bug其实早已是寻常
VIDOC Security Lab博客指出Claude Mythos实力或被高估，用LLM发现漏洞早有先例，他们用多模型扫描开源项目也发现诸多漏洞。AI辅助漏洞发现成威胁，企业需用AI对抗AI积极防御。
硅谷亲手砸掉自己饭碗？930万岗位正进入AI风险区
Tufts大学发布全美首个「AI就业风险指数」，显示未来2 - 5年，美国约930万个岗位面临被AI替代风险，硅谷等科技重镇首当其冲。高技能、知识密集型职业风险高，而低薪职业相对安全。
香农、信息论、AI、Scaling Law，以及信息的观察者效应
文章围绕经典信息论在AI实践中的矛盾展开，介绍CMU和NYU论文《From Entropy to Epiplexity》提出的新概念，解释合成数据、数据排序等问题，还探讨合成数据飞轮能否持续，指出epiplexity可定义数据质量。
熬夜后走神不是你的错，而是自救机制在“洗脑” | Nature
麻省理工学院研究揭示，熬夜后白天易走神是因大脑“洗脑”机制启动。正常“洗脑”在睡眠时进行，清理废物；睡眠不足时，白天也会启动，代价是注意力受损。此前波士顿大学也有大脑清洁相关研究。
ENG APPL COMP FLUID | 西北工业大学赵书乐、张伟伟：欧拉方程嵌入的壁面压力和摩阻分布机器学习方法
传统气动力建模依赖大量样本、泛化能力弱。本文将欧拉方程无粘特征融入建模，配合架构与损失函数设计，让模型在复杂状态保持泛化能力，集中力误差约3%，小样本建模时样本量比传统方法降2倍以上。
DeepSeek突然拥抱国产GPU语言！TileLang对标CUDA替代Triton，华为昇腾Day0官宣支持适配
DeepSeek v3.2开源TileLang版本算子引关注，其可对标CUDA替代Triton，还适配国产算力生态，华为昇腾官宣支持。TileLang由北大团队主导，提供不同层次编程接口，助DeepSeek提升性能。