这是用AI帮助证明一个问题。这里的问题是AI的方法为什么work