Mathematicians can't agree what 'equals' means, and that's a problem

What does "equals" mean? For mathematicians, this simple question has more than one answer, which is causing issues when it comes to using computers to check proofs. The solution might be to tear up the foundations of maths