我更新了一个自动验证工具，使其成为灵活的证明助手，支持符号代数和交互式证明。用户可以输入高层策略，助手会执行计算，并支持渐近估计，计划进一步增强功能。

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