Интересно, во время разработки такого сложного мат-движка, как Wolfram Mathematica, у них когда-нибудь случались забавные казусы типа
Reduce[-2 - -2]
и ответ
Reduce[-2 - -2] = ζ(-2)

#матан #мысли