「可验证计算」共找到 5172 篇相关文章
从少样本到千样本！MachineLearningLM给大模型上下文学习装上「机器学习引擎」
新研究 MachineLearningLM 提出轻量可移植「继续预训练」框架，突破 LLM 在上下文学习局限，能学上千示例，在多领域分类任务超基准模型。它有三项核心创新，效果惊艳且应用潜力大，还指明未来研究方向。
李国杰院士：AI4S里程碑式重大成果综述
本文由李国杰院士撰写，对AI for Science近年里程碑式突破做全面综述，涵盖数学、物理、化学等多领域成果，如李雅普诺夫函数构造、AI辅助核聚变等，还探讨了AI4S潜力与挑战。
老黄太难了！英伟达Q2营收467亿美元创纪录，股价盘后还跌了5%
英伟达Q2财报营收和每股收益超预期，达467亿美元，数据中心业务贡献大，Blackwell平台表现亮眼。尽管给出高营收指引并扩大回购授权，股价盘后仍下跌。各业务均有进展，正重新定义计算产业规则。
狂砸百亿美元后，仅5%企业成功落地AI，他们做对了什么？
企业在生成式AI领域投入数百亿美元，但95%的机构未获可衡量商业回报，此为「GenAI鸿沟」。原因包括工具缺乏学习能力、预算分配失衡等。少数成功企业聚焦高价值用例，选易部署工具，与供应商深度合作。
LLM本质上永远无法实现真正的正确推理
日本埼玉大学荣誉教授Jingde Cheng论文指出，以ChatGPT为代表的大语言模型（LLM）本质上无法实现真正的正确推理。论文定义了“正确推理”，从逻辑和计算原理论证其局限性，为推理智能体研究指明方向。
最高提效8倍！腾讯游戏发布专业游戏AI大模型，美术师做动画不用辣么“肝”了
在Devcom开发者大会上，AI成焦点。腾讯游戏发布游戏创作AI全链路解决方案VISVISE，含动画制作等四大管线，能辅助美术完成重复工作。如MotionBlink可自动补帧，GoSkinning已在多游戏应用，提升了制作效率。
训练数据量降低1万倍，谷歌提出超高质量数据主动学习方法
将大模型应用于特定领域需数据微调，但筛选高保真训练数据难度大、成本高。谷歌提出新主动学习筛选流程，能将训练数据规模降1万倍，还提升模型与人类专家一致性。经实验验证，该方法效果显著。
Claude Code 究竟牛在哪里？（以及如何在你的 AI 智能体中复刻它的魔法！）
文章介绍Claude Code是出色的AI智能体，比Cursor等好用。它设计简单，提示词和工具弥补模型缺点。作者基于使用经验，给出打造类似智能体的要点，包括控制循环、提示词、工具和可引导性等方面。
首个为手机而生的通用Agent？！苹果做不到的事，“野路子”智谱抢先实现了
苹果预计2026年升级Siri实现自主行动，但完整落地的执行型Agent仍未推出。8月20日，智谱发布AutoGLM 2.0，宣称是全球首个可在手机用的Agent，开创‘Agent + 云手机 / 云电脑’范式，能代理操作高频应用。
Meta视觉基座DINOv3王者归来：自监督首次全面超越弱监督，商用开源
Meta推出并开源视觉基础模型DINOv3，采用自监督学习，首次全面超越弱监督，可生成高质量高分辨率视觉特征。它在多任务表现出色，参数和数据量提升，还构建模型家族，已在多领域产生实际影响。