So I was reading the method page and found something strange. It says “In order to achieve this goal we need to analyse the behavior of every single 5-state Turing machine. We quickly run into a problem: there are roughly 167 trillion 5-state Turing machines (21^10 to be exact).”
Notice it says 167 trillion and then 21^10. 21^10 is 16679880978201. Which is 16 trillion 679 billion 880 million 978 thousand 201 not 167 trillion. It’s a contradiction, what gives?