「可验证材料模型」共找到 8292 篇相关文章
豆包推出专业版，能成为你的「工作搭子」吗？
6月24日，豆包发布基于最新豆包2.1系列大模型的专业版，新增Agent驱动办公任务模式，支持理解目标、拆解任务等。它回应了用户需求分化，还改变评价标准，有望成生产力入口。
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
AI进军数学界速度惊人，谷歌DeepMind发布由Gemini驱动的AlphaProof Nexus框架，解决9个埃尔德什开放问题，还证明44个猜想、搞定代数几何难题、改进凸优化理论边界，推理成本低且代码开源。
中国首次提出半导体演进新原则：华为“韬定律”5 年内冲刺等效1.4nm制程，麒麟、昇腾将先后落地量产
5月25日，华为何庭波在研讨会上提出“韬定律”，以“时间缩微”替代“几何缩微”。论文展示验证案例，预计2031年高端芯片达1.4nm等效水平，今年秋季麒麟新芯片将首发“逻辑折叠”技术。
DeepSeek押注的Harness，被这篇最新综述彻底讲透了
这篇综述讲透了Agent Harness Engineering，CMU等联合提出ETCLOVG七层架构，证明Harness Engineering是LLM Agent工业落地主战场，介绍了其发展阶段、各层架构及作用等。
知情人士：DeepSeek正在组建Harness团队，对标Claude Code｜甲子光年
据知情人士，DeepSeek正组建Harness团队，对标Claude Code，开放产品经理和研发工程师岗位。其强调Harness，是要让产品成模型进化一部分；补Code Harness，是因竞争转向工作流入口。
苏姿丰上海开讲：AI正在重新定义计算的每一层
AMD AI开发者大会首次落地上海，AMD董事会主席苏姿丰指出AI正在重新定义计算的每一个层次，AI竞争焦点正从模型能力转向系统工程与全栈优化能力，AMD带来系统性回应。
CNCF 警告：仅靠 Kubernetes 不足以保障 LLM 工作负载的安全性
云原生计算基金会（CNCF）指出，企业在 Kubernetes 上部署大语言模型（LLM）存在安全缺口。Kubernetes 无法理解或控制 AI 系统行为，需增加额外控制层，引入 AI 特定控制。
3.2K Star！这个开源字幕神器，对剪视频的创作者来说，救了大命！
视频创作中字幕制作耗时费力，剪映等工具各有局限。开源字幕工具 AutoSubs 能有效解决痛点，可一键生成高质量字幕、自动区分说话人，本地运行保障隐私，还具备多种亮点功能，使用简单。
11.4K Star！基于 AI 大神 Karpathy 的编程经验开源的 Claude Code 技能插件。
AI写代码常遇盲目假设、过度设计、乱改代码等问题。开发者把AI大神Andrej Karpathy经验总结成Claude Code插件andrej - karpathy - skills，设定四大原则，还介绍使用、验证及自定义方法。
USC团队发布HumDex：攻克人形机器人数据瓶颈，低成本实现全身灵巧操控
南加州大学团队提出HumDex系统，结合高精度便携追踪、手部控制算法和人类数据预训练机制，打破人形机器人高质量数据采集瓶颈，提升全尺寸操作泛化能力，经实验验证效果显著。