Can confirm. Am a programmer and my first thought was that mathematicians had recently come up with one of their wacky proofs that 2 does not equal 2, like how 1 is equal to 0.