搜索
卡兹克开源其打磨一年的Agent自动化系统Agent-Autoloop，重写为约1600行代码的轻量内核，采用万物皆插件架构，事件、Agent、通知通道与CI交付均插件化，并内置挂起零消耗、事件溯源、指令数据分离、跳数熔断等机制，当前版本为1.0.0。
“个人 Agent创业窗口期就到春节前。”
据机器之心了解，17 岁 AI 研究者陈广宇，已经加入 Jeff Dean 等人创立的 Discovery Loop 团队。
近日，由清华大学、原力灵机与极寰时代联合研发的世界动作模型LoopWAM，登顶真机评测榜单RoboChallenge Table30 V2，成功率与过程分双双位列榜首，成绩超过VLA-DM0.5等同期方案。同时，LoopWAM在仿真榜单RoboTwin 2.0和RoboCasa365上同样取得SOTA表现。
近年来，Loop Transformer 逐渐从简单的模块复用走向更复杂的分层循环计算，探索如何通过共享参数持续更新模型状态。一个自然的问题是：当模型开始看图，这套机制还成立吗？
随着前沿模型进入长链推理、工具调用、代码修复与科研任务，一个关键缺口随之显现：模型不断生成和修改候选，但“新状态是否真的更可靠”不能只由模型自己判断。
清华团队开源以Qwen 3.8-27B为基础模型的VeriLoop E2，通过VGR外部证据门控实现可验证状态提交，并取得黎曼猜想临界线零点比例下界67.350003708785593%的严格有限维证书，但上游形式化桥接尚未完成。
哈佛物理学家Matthew Schwartz用Claude和开源工具BootLoops处理可验证的科研任务，90天产出横跨18个学科的36篇论文初稿，并主张由人挑题、追问和验收，让AI发挥辅助而非替代科学家的作用。
哈佛大学物理教授马修·施瓦茨用Claude三个月内与19位合作者攻克了18个领域的36个学术难题，并将提炼出的AI科研框架BootLoops 1.0以MIT协议正式开源。
工具调用使大语言模型能够通过外部 API 获取信息、执行操作。训练这类能力，需要建立用户请求与具体函数调用之间的对应关系。一条合格的训练样本，不仅要符合函数定义，还要保证工具选择、调用次数和参数取值与用户意图一致。