Mathematicians are struggling with a problem - what does "equals" mean? The symbol in an equation like 2 + 2 = 4 is just one of two definitions, which is causing a major headache when it comes to using computers to check proofs.
Source:
About New Scientist
The best place to find out what’s new in science – and why it matters.