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

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

吴宝珠1972年出生于越南一个学者家庭，15岁时进入越南国立河内大学附属高中的数学专修班，1988年和1989年，他连续两届参加国际奥林匹克数学竞赛，获两枚金牌。他在法国完成大学学习，在博士研究生阶段开始研究朗兰兹纲领；2008年，他证明了朗兰兹纲领的基本引理

论文 吴宝珠 引理 2024-11-22 09:11  2