Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频

菲尔兹奖得主陶哲轩开发了一个开源项目，旨在通过大模型协助自动或半自动验证渐近估计。该项目的2.0版本现已发布，增强了证明助手的功能，并支持更多数学任务。陶哲轩计划进一步扩展该工具，使其能够处理更多类型的数学问题。

此外，陶哲轩还尝试利用现代自动化工具半自动地形式化一个一页纸的数学证明，展示了利用AI工具进行数学形式化证明的新方法。