「验证闭环」共找到 1105 篇相关文章
OpenAI连破10道数学难题，Fable 24小时「复现」5道
这个周末，OpenAI与Anthropic两大AI巨头在数学前沿短兵相接。先是OpenAI用未发布模型Astra证明10项数学成果，不到24小时，Anthropic的Fable复现了其中5项。AI解难题成本降低，成果验证成新考验。
当「变大」不再是唯一的路，又一国产模型开源了
2026年6月智谱开源GLM - 5.2，心洲科技前沿实验室Mind Lab开源Macaron - V1，基座升级至GLM - 5.2。它押注持续学习与群体智能，成绩优于基座，相关理念和工程路径获验证。
LiveWorld：视频世界模型新范式，让镜头之外的世界继续演化
现有视频世界模型存在“静态世界假设”，物体离开视野后状态不再更新。阿德莱德大学等研究者提出 LiveWorld，将世界演化与观察渲染解耦，使事件在视野外持续推进，并通过实验验证其有效性。
在一台1970年代的PDP-11上训练Transformer需要多久？答案是5.5分钟
近日，开发者复现1970年代技术环境，用PDP - 11汇编语言实现Transformer并训练成功，项目叫ATTN - 11。在低资源下实现功能闭环引热议，大家思考Transformer到底需要什么。
不止修bug：Agentic Coding评测走向复杂feature交付新阶段
中国科学院自动化研究所联合华为提出 FeatureBench，构建端到端基础设施并开源。它从单元测试出发构造评测任务，引入多种机制保障任务可执行、可验证，能有效区分模型能力，还提供易用的评测流程。
当世界在谈论AI替代人类时，松鼠Ai在达沃斯带回了什么答案？
2026年达沃斯论坛上，松鼠Ai创始人栗浩洋展示教育普惠新路径，其智适应学习系统成本低且效果好。该系统经科学与规模验证，还引发经济核算思考，其全球化发展受国际资本关注。
Agent 狂欢热潮下的冷思考：为什么规模化落地总是陷入僵局？
Agent热潮下企业规模化落地遇阻，因其与传统AI应用不同，面临弹性、运维和治理挑战。腾讯云Agent Runtime围绕Agent生命周期构建基础设施，覆盖两大核心场景，已获批量验证。
让 Claude 自己循环干到完成——Ralph Loop 原理与实战指南
文章介绍了Ralph Loop技术，它由程序员Geoffrey Huntley发明，核心是让AI持续工作直到外部验证通过。对比了与主流Agent框架的差异，还列举其真实战绩、使用方法及适用场景。
告别胶水代码，5倍飚速！无问芯穹首次揭秘，Infra智能体蜂群登场
无问芯穹推出基础设施智能体蜂群，这是新一代基础设施智能化解决方案。它封装多个智能体模块，构建全生命周期智能闭环，提升资源利用率等。在重点客户业务流程落地效果好，能让开发者解放价值。
20000 GPU·h砸出 106 个SOTA模型架构：AI 科研进入“自我加速”时代
模型架构发现领域迎来突破，ASI - ARCH超级智能体无需人类预设搜索空间，完成科研闭环。经20000 GPU·h、1773次实验，发现106个超越人类SOTA的线性注意力架构，且已开源。