RecodeX 重构消息，一项新研究围绕AI智能体能否自动构建经过形式化验证的软件仓库展开探讨，相关论文已在arXiv预印本平台公开，目前尚未有更多细节披露。