Sympy

本周陶哲轩发布的新项目通过GitHub Copilot和Lean证明助手的形式化一个数学证明仅需约33分钟，展示了AI工具在复杂证明中的辅助效果。该工具已在GitHub上开源。