What could be SP and TM's objective functions?

Not that it matters to everyone but seeing mathematical models such as what you’ve mentioned being proven to have simulated biological behavior really amazes me. For one the XCAL function that approximated/simulated backpropagation in ANNs became useful in deep predictive learning - Deep Predictive Learning: A Comprehensive Model of Three Visual Streams .