Post #2798893

Formalizing research #mathematics with #leanprover is normal these days, but now people are formalizing #physics results as well, to bring it up to that level of rigor – and already the first paper they look at falls apart, with the main theorem being (provably) incorrect: https://arxiv.org/abs/2603.08139