陶哲轩升级数学证明助手并探索AI辅助证明

菲尔兹奖得主陶哲轩开发的开源数学工具已升级至2.0版本，成为一款灵活的基础证明助手，支持自动与半自动证明，基于Python的sympy库实现。工具旨在验证渐近估计及简化繁琐的数学任务。此外，陶哲轩通过GitHub Copilot和Lean工具完成了一项数学证明的形式化实验，展示了AI在处理技术推导中的潜力，但也揭示了现有工具在协作管理上的不足。
来源：https://mp.weixin.qq.com/s/rPVyuU5KdjuZnKkdY3MeMg