尝试了。尽管有一些误报，但它发现了模型方程中的错误，许多符号不一致，很多提高写作清晰度的机会，以及许多其他细节。真是一个惊人的工具，我会再次使用并强烈推荐。 @ben_golub