随后因一处符号错误及其连锁影响撤回 3 份，现公开目录为 719 份。尽管该公司称发布前曾咨询数学与人工智能顾问小组，但从公开情况看，其流程尚未完全达到该小组提出的标准，尤其缺少对人类理解、形式化验证和同行审查的充分保障。