AI 摘要Discussion on architectural patterns of new AI math-solving systems.AImathematicssystem design正向情感本摘要由 AI 生成，请从原始来源核实细节。