实体
Archon
Archon
PulseAugur coverage of Archon — every cluster mentioning Archon across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
AI框架使用形式化验证解决数学难题
研究人员开发了一个新颖的框架，将非正式推理与形式化验证相结合，以解决复杂的数学问题。该系统由一个名为Rethlas的非正式代理和一个名为Archon的正式代理组成，利用定理搜索和自动证明合成来确保机器可检查的正确性。该框架在最少的人工干预下成功解决了一个交换代数领域的开放性问题，并对其证明进行了形式化验证，展示了AI辅助数学发现和协作的有前景的途径。
-
Archon模型统一七种模态用于数字人生成
研究人员开发了Archon，一个新颖的统一多模态模型，旨在生成逼真的数字人。该模型使用独特的自回归方法集成了包括文本、音频和视觉内容在内的七种不同模态。Archon通过采用一种内存高效的技术，在保持详细动态的同时减少了令牌使用，从而解决了高保真视频生成中的挑战。