「可验证智能」共找到 7238 篇相关文章
机器人进入“边做边学”时代：星尘发布在线强化学习框架，让动态投掷成功率提升超141%
星尘智能基座模型团队公布在线强化学习框架SmoothRL，解决异步执行环境中具身模型在线微调难题。该框架让策略更新对应硬件实际执行，攻克延迟失准问题，在多项真机测试中大幅提升任务成功率。
刚刚，OpenAI Astra核心架构爆出：大模型第三条Scaling法则诞生
The Information记者爆料OpenAI即将推出的Astra模型采用“recurrent depth”新推理方法，该技术能降本提效，但引发AI安全与可观测性担忧。清华与字节论文解决了循环模型“算力不公平”问题，并给出Scaling Law。
一个「流浪」数学家的遗产，正在被AI公司疯抢
2026年，OpenAI等公司用AI解决多个匈牙利数学家Paul Erdős提出的问题，震动数学界。这些问题分布广、难度跨度大，适合模型测试。不过，AI证明的验证和人类数学家地位受关注。
Claude半个月连崩7次！全球宕机3小时，强制实名精准封号
Claude半个月内7次大规模故障，全球宕机3小时，开发者破防。原因是Anthropic算力储备告急，为自救拟自研芯片。此外，Anthropic还通过改定价、加闸、实名验证等措施控制成本。
ICDE 2026 | 从匹配困境到推理突破：阿里REG4Rec 激活生成式推荐的个性化潜力
阿里国际智能技术团队提出生成式推荐模型 REG4Rec，从表征学习、训练目标和推理策略层面设计，提升推理能力与稳定性。离线实验表现优，已在 Lazada 部署，带来显著商业收益，成果被 ICDE 2026 接收。
用Spring AI Alibaba把MultiAgent实现从5天压到5小时
Spring AI和Spring AI Alibaba新版本支持Multi - agent编排。文章展示基于Spring AI Alibaba实现Multi - agent，从原理到实战，给出示例代码，解决手写框架问题，对比两种编排方式优劣，强调选对框架可提升开发效率。
5亿买一个域名，这个币圈狠人，想让你60秒拥有自己的AI贾维斯
币圈狠人Kris Marszalek豪掷7000万美元购入AI.com域名，打破人类域名交易纪录。他坚信这是通往AGI的入场券，想借此推个人AI智能体，构建去中心化网络，但此举是豪赌还是愚蠢仍未知。
全球TOP 13战队翻车实录！机器人极限求生，比科幻片还残酷
第五届ATEC科技精英赛线下赛，13支精英战队机器人在真实世界极限挑战中状况百出。比赛打破舒适区，考验机器人行走、操作等能力，暴露了环境感知、智能决策、硬件算力等技术瓶颈。
“坏”数据让模型更“好”？重新审视数据过滤
传统观点认为大型语言模型预训练应过滤“坏数据”，但论文《When Bad Data Leads to Good Models》提出反直觉观点，适度加入有毒数据，通过后训练技术可降低模型毒性，保持一般能力，挑战常规做法。
10年前押中英伟达：这位复旦学霸如何用AI Agent重新定义投资
文章讲述投资老手赖蕴琦创立RockFlow、开发AI助手Bobby，欲用AI Agent重新定义投资。她认为投资应回归本质，做简单有趣之事，AI可降低门槛，将灵感变交易机会，还探讨了产品发展、影响及行业趋势。