「可验证性」共找到 4894 篇相关文章
用第一性原理超越AlphaFold：告别蛋白质工程的「碰运气」时代
在‘AI生物制造专场’中，杨晓锋副教授指出AI4S重塑蛋白质全生命周期，但面临维度鸿沟挑战。其认为AI需有外推能力，还展示可切割自聚集标签法简化流程，推动生物制造发展。
Valkey 9.0 引入多数据库集群、原子级槽位迁移，并带来大幅性能提升
Linux 基金会宣布开源内存存储方案 Valkey 9.0 正式发布。它有原子级槽位迁移、哈希字段过期等新特性，支持编号数据库集群，可扩展到 2000 节点，每秒处理超 10 亿次请求，性能大幅提升。
具身智能一步踏入Scaling Law！10B+基础模型，27万小时真实数据
AI机器人创业公司Generalist推出新型具身基础模型GEN-0，参数量10B+，专为多模态训练构建。该模型展现强大Scaling Law，能力可扩展，有和谐推理等特性，在多方面有突破，成果备受赞誉。
AI当员工，24小时不休息，17天干完人类数年活！
劳伦斯伯克利国家实验室正将人工智能、自动化技术和数据系统融入科研，构建“人机共生”科研生态。像A - Lab、Autobot等工具发挥重要作用，AI还让大科学装置更智能，实现实时决策，开创“AI设计，实验验证”模式。
NVIDIA提出小型LLM才是未来，并将重塑Agentic AI
人工智能代理快速渗透企业场景，但当前系统依赖大型语言模型，存在经济成本和效率错配痛点。NVIDIA团队提出小型语言模型才是代理AI未来，论证其能力、经济性和操作适配性优势，并给出迁移路径。
用 Codex 读 DeepSeek 最新论文 DSpark，AI 改变了读书方式
作者用 Codex 加‘论文 Skill’读 DeepSeek 最新论文 DSpark，省一半时间还获图文并茂中文解读材料。介绍了使用方法、优势，如叠三层能力让读论文成共读之事，处理词、段及全文后可重构知识材料。
我手搓的橙皮书专家，去腾讯入职了！
作者将橙皮书方法手搓成「橙皮书专家」放于 QClaw 专家广场。该专家可把陌生领域拆成地图，通过五步流水线让使用者快速搞懂。QClaw 有多种造专家入口，普通人也能借其接 AI 红利。
DeepSeek不惜代价保住它！V4关键特性被挖出来了
DeepSeek V4技术报告被深挖，为保留核心设计「batch invariance」不惜代价。该设计能保证线上推理稳定、各环节对齐，是复杂上下文系统底座，但会牺牲GPU利用率等，换来训练等多阶段可复现和稳定度。
“商业的HTTP”来了：谷歌CEO劈柴官宣 UCP，Agent 直接“剁手”下单，将倒逼淘宝京东“拆家式重构”？
谷歌CEO近日宣布开放标准UCP，目标是让Agent在线购物，将购物流程拆解成可复用组件。风险投资人认为其想成商业领域的“HTTP”，不少行业人士看好。它还能与其他协议协同，发布首日吸引众多伙伴。
谷歌DeepMind深夜放核弹：世界模型Genie 3登场，重新定义“生成式AI”
谷歌DeepMind推出第三代通用世界模型Genie 3，能生成多样化交互式环境，可实时导航。它较前代有诸多突破，有模拟物理特性等核心能力，能赋能具身智能体研究，但也存在行动空间有限等局限。