That problem of pen-and-paper calculations featuring unintended errors is what I try addressing in a project I work on [1]. My approach is to use Sympy (which has a lot of Physics support) to validate expressions entered by a human. Not quite the AI-focus of this thread, but still a machine augmenting the work of researchers. To your point about the complexity of the math, the Physics Derivation Graph is able to handle simple inference rules but there's nothing preventing more advanced use.

[1] https://derivationmap.net/