Source: /cirosantilli/mortal-matrix-problem

= Mortal matrix problem

https://en.wikipedia.org/wiki/Zero_matrix\#Occurrences

One of the most simple to state <undecidable problems>.

The reason that it is undecidable is that you can repeat each matrix any number of times, so there isn't a finite number of possibilities to check.