本文探讨了符号数学软件在验证渐近估计中的不足，并提出了自动化工具的构想。作者利用Python编程开发了初步的验证工具，能够处理简单不等式，期望未来与AI结合以提高验证效率，并希望与数学家和程序员合作完善该项目。