本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 ——在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。

copilot 引理 陶哲轩 lean sympy 2025-05-12 16:10  2