Archon
PulseAugur coverage of Archon — every cluster mentioning Archon across labs, papers, and developer communities, ranked by signal.
-
机器人学者李宏洋荣获RSS奖，聚焦智能人形机器人
香港大学助理教授李宏洋成为首位获得机器人领域享有盛誉的RSS早期职业聚光灯奖的中国学者。他的研究领域广泛，从自动驾驶（代表作包括BEVFormer和UniAD）到具身智能，再到新兴的全身智能（Whole-body Intelligence, WBI）概念。李宏洋计划将重心转向创业，致力于打造领先的具身AI系统，并认为智能人形机器人将是下一个由WBI驱动的主要物理终端。
-
AI框架使用形式化验证解决数学难题
研究人员开发了一个新颖的框架，将非正式推理与形式化验证相结合，以解决复杂的数学问题。该系统由一个名为Rethlas的非正式代理和一个名为Archon的正式代理组成，利用定理搜索和自动证明合成来确保机器可检查的正确性。该框架在最少的人工干预下成功解决了一个交换代数领域的开放性问题，并对其证明进行了形式化验证，展示了AI辅助数学发现和协作的有前景的途径。
-
Archon模型统一七种模态用于数字人生成
研究人员开发了Archon，一个新颖的统一多模态模型，旨在生成逼真的数字人。该模型使用独特的自回归方法集成了包括文本、音频和视觉内容在内的七种不同模态。Archon通过采用一种内存高效的技术，在保持详细动态的同时减少了令牌使用，从而解决了高保真视频生成中的挑战。
-
Archon模型统一七种模态，实现整体数字人生成
研究人员推出Archon，这是一种新颖的统一多模态模型，旨在实现数字人的整体生成。该模型通过特定于模态的标记器和自回归架构集成了文本、音频、运动和视觉内容等七种不同的模态。Archon在同步模态和72个不同任务上进行了预训练，以有效地模拟联合分布。为了管理高保真对话视频的复杂性，该系统采用了内存高效的语义视频重参数化技术，将令牌数量减少了4倍，同时保留了动态性，并辅以语义驱动的视频扩散解码器。此外，“以模态思考”的方法将模糊的跨模态任…