Mathematical Circuits in Neural Networks — LessWrong