人工通用智能（AGI）被视为人工智能领域的圣杯，各大科技公司正在投入前所未有的资源来追求这一目标。然而，目前尚无统一的正式定义，仅存在一些经验性的AGI基准框架。该研究旨在构建一个通用的、代数的和范畴论的框架，以描述、比较和分析不同的AGI架构。通过这种范畴论的形式化，可以比较多种候选AGI架构，如强化学习（RL）、通用人工智能（Universal AI）、主动推理（Active Inferenc...