「可验证计算」共找到 5054 篇相关文章
Kimi推出Kimi Claw，原生集成OpenClaw
Kimi.com原生支持OpenClaw，推出新功能Kimi Claw，可在浏览器标签页运行且全天候在线。有ClawHub访问权限、40GB云存储空间等特性，现开启Beta测试，对特定等级会员开放。
黄仁勋CES最新演讲：Rubin 今年上市，计算能力是 Blackwell 5 倍、Cursor 彻底改变了英伟达的软件开发方式、开源模型落后先进模型约6个月
英伟达CEO黄仁勋在CES 2026演讲宣告AI转折，披露‘物理AI’路线图。提到开源模型突破但落后先进约6个月，还发布多款成果，如AlphaMayo、GROOT 1.6等，以及AI超算Vera Rubin，展现全栈式AI布局。
用75亿募投资金理财？摩尔线程：合理提高资金收益；豆包手机“可查询银行卡余额”？官方辟谣侵犯用户隐私；小扎宣告元宇宙死亡｜Q资讯
本文汇总 AI 行业近期热点，有摩尔线程拟用 75 亿闲置募资理财，Meta 砍元宇宙投入转 AI，豆包手机回应隐私质疑，宇树推人形机器人应用商店等，还涉及阿里、腾讯等大厂动态及 IT 业界消息。
长三角破局：技术跑进无人区，产业链如何跟上？
中国制造业正从「跟随者」变为「开拓者」，但产业化体系滞后。长三角推出「一条龙」计划，解决供应链、验证和迭代难题，初步成果显现，正开启产业化范式革命。
Angular 官方的智能体 Skills 助力 AI 编程工具生成现代化的 Angular 代码
谷歌 Angular 团队发布 angular/skills 仓库，含两种智能体 Skills，能让 AI 编程智能体编写现代化 Angular 代码。这些 Skills 针对特定工具设计，开发者可安装使用，社区对此看法不一。
告别玄学选LLM！弗吉尼亚理工选型框架入选ICML 2025
弗吉尼亚理工大学研究人员推出选型框架LensLLM，可预测微调后性能走势，解释大模型微调“玄学现象”。它基于全新PAC - Bayes泛化界限推导，降低成本近90%，被ICML 2025收录。
津渡生科邓司伟：「AI+生物制造」到底是什么？全链智能已经实现
当前生物制造迈向大规模工业化，AI深度介入。津渡生科邓司伟在大会指出，应构建全链路智能闭环，将AI渗透到发现、验证、生产三阶段，重塑工艺边界，实现专业经验去中心化。
微软CEO和奥特曼失了和，OpenAI被“断粮”
《华尔街日报》爆料，OpenAI的奥特曼与微软纳德拉分歧加大，关系变微妙。在计算需求、通往AGI时间、内部竞争等方面有矛盾，微软暂停部分AI数据中心项目，双方合作关系面临挑战 。
几分钟扫完细菌全基因组，MIT团队用AI找出大量未知的抗病毒防御系统
MIT科学家开发AI模型DefensePredictor，能从细菌基因组快速找防御系统。用约1.7万个细菌基因组训练，借助ESM2蛋白语言模型，几分钟扫描完一个细菌全基因组，还开源供科学界使用，潜力巨大。
一键检测你的电脑能跑哪些大模型，这项目6！
介绍工具`LLMFit`，它用Rust编写，能自动检测硬件配置，判断大模型能否流畅运行，还可推荐最优量化版本和运行模式。该项目在Github获5.9k+ star，有多种安装方式。