Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.
What’s the dashboard’s purpose? Why are there colors? Why can’t I compare schools? How might the dashboard be improved?