搜索：自主智能测试

「自主智能测试」共找到 5166 篇相关文章

普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B

近日，普林斯顿大学牵头多机构推出开源数学定理证明模型 Goedel-Prover-V2。其 32B 旗舰模型在多基准测试超 DeepSeek-Prover-V2-671B，8B 小模型特定基准性能与之持平。该模型有三项关键创新，团队已公开模型及数据集。

近日，新加坡AI应用开发商Orion Arm获1100万美元A轮融资，投后估值达1亿美元。其创始人是前饿了么联合创始人汪渊，已发布智能日程管理应用Toki AI和资讯工具Syft AI两款产品，目标三年内让用户达1亿。

8月11日，戴盟机器人完成数亿元战略轮融资，由蚂蚁集团领投。蚂蚁此前已在具身智能赛道多处布局，此次是首次延伸至触觉感知层。戴盟推出全球首个“物理交互脑”，有稀缺团队支撑，多方面获产业支持且多项指标全球领先。

当下推理模型流行在测试时多循环，以打磨答案。但新研究发现，7B模型LoopCoder v2只多循环1次（共2次），就能大幅提升性能，继续增加循环次数，性能反而下降。研究还分析了收益与成本，给出选择循环次数的诊断方法。

苏度科技发布软硬件全栈自研的机器人系统R1，采用世界模型与强化学习一体化设计，在不使用真机数据的前提下，实现关键任务近100%的Zero-shot成功率。苏度团队通过重新定义数据范式，解决了具身智能发展的核心瓶颈。

本文是对原力灵机创始人范浩强的访谈。他认为AI是一生的事业，原力灵机成立于25年3月，强调模型是主轴。还指出评判机器人好坏的关键指标是回本时间，要从真实场景找突破，也介绍了具身智能应用等内容。

OpenAI和Anthropic同时发布旗舰级模型GPT - 5.3 - Codex与Claude Opus 4.6。前者有网络攻防与自主代码修复能力，被评定为网络安全高风险；后者用自适应思考与上下文压缩处理长程任务，在多领域表现出色，但二者也都存在安全风险。

国产视频大模型Vidu Q3在国际权威AI基准测试机构Artificial Analysis的最新榜单里，于Video Arena冲到全球第二、国产第一。它是全球首个支持16秒音视频直出模型，声画同出、高清直出，还有镜头控制、多语言文字渲染等优势。

近日，「AI教父」Geoffrey Hinton在采访中预警，「杀手机器人」等致命自主武器让战争更易发动，降低了战争成本、改变了战争方式。他更担忧人类被AI接管，还指出AI公司在安全方面做得不够，同时也提到了AI在医疗等领域的应用。

开源大模型进入中国时间，Kimi K2风头正盛时，Qwen3迎来升级，235B总参数量仅为Kimi K2四分之一，基准测试性能却超它。Qwen官方不再用混合思维模式，新模型仅支持非思考模式，此次是小更新，大招在后头。