Comment by scholaronroad

Are there any specific mathematical properties that you find beautiful that arise out of this field?

I personally find the reasoning on graphs(neurons) to make the verification tractable really beautiful. :)