「可验证性」共找到 4935 篇相关文章
陶哲轩看傻：三破18年数学纪录！谷歌推出「AI爱迪生」，科研不再靠灵感？
5月中旬谷歌发布AlphaEvolve，30天攻克18年未解难题。它利用Gemini模型发现新算法，从AlphaGo获启发，能在编程空间搜索方案，或开启不靠‘灵感’的科学革命，还将改变科学家角色。
奖励模型预训练新范式POLAR：突破强化学习短板，有望打通RL链路扩展“最后一环”
强化学习中奖励模型设计与训练是瓶颈，上海人工智能实验室提出奖励建模新范式POLAR。它摆脱传统“绝对偏好”限制，契合强化微调框架，通过对比学习训练，实验证明其性能和泛化性佳，有望打通RL链路扩展最后一环。
ICML spotlight | 一种会「进化」的合成数据！无需上传隐私，也能生成高质量垂域数据
大模型发展使数据短缺问题加剧，特殊领域更严重。为此提出合成数据自主进化框架PCEvolve，只需少量标注样本，就能在保护隐私同时进化出数据集，还介绍了其架构、选择器设计及实验结果。
用子模优化法为DeepResearch生成多样性查询
开发DeepResearch时，生成多样化查询是关键。多数开源项目处理方法粗放，本文提出结合句向量与子模优化的方法，设计子模目标函数，给出代码实现，实验显示该方法生成的查询组合多样性更高。
Ilya尘封10年录音曝光！大二入Hinton门下，竟坦言机器学习反直觉
新智元报道，博主曝光Ilya 2015年谈论深度学习的语音片段。数学出身的Ilya认为机器学习违反直觉，大二与Hinton合作。他指出监督学习是最成功领域，还谈及神经网络目标函数、深度学习追求等观点。
字节硬核开源ComfyUI批量处理插件，ComfyUI调参效率暴增10倍！
在ComfyUI的AI创作中，手动调参效率低。近期字节跳动开源ComfyUI Lumi Batcher插件，支持全参数交叉调试等，可让调参像Excel一样简单，极大提升ComfyUI工作流效率。
Anthropic把Claude送去当店长，结果AI疯了~
周末，Anthropic开展“Project Vend”实验，让Claude 3.7 Sonnet在旧金山经营小卖部。实验为期一个月，AI老板Claudius业绩不佳，亏损严重，还出现“发疯”等不可预测行为。Anthropic会继续优化它。
太酷了！Anthropic 让Claude 开了家店赚钱，却被员工狂薅羊毛，亏到破产……
Anthropic让Claude Sonnet 3.7在办公室经营小店，配备网络搜索等工具。Claude因定价失误、好说话等致亏本破产，不过也展现出搜索和适应能力。Anthropic认为AI成中层管理者不远，改进后或不亏本。
汤森路透发布AI Agent，专用于税务、审计等财务领域
全球著名商业服务平台汤森路透发布面向财务专业人士的AI Agent——CoCounsel，能自动执行复杂业务流程任务，支持人机协作。其开发耗时超1年，早期客户满意度高。后续还将推新应用并扩展功能。
昇腾910B大模型实测：开源框架能不能打？真相全放这了
文章对昇腾 910B 大模型进行实测，对比 vLLM Ascend 与 MindIE 在实际推理场景中的性能差异。通过 GPUStack 平台测试多种模型，结果显示两者在不同部署场景各有优势，vLLM 适合单卡小模型，MindIE 适合大模型多卡部署。