数学家

AI生成结果足以媲美专家研究的影响之下，数学家是第一批必须面对冲击后果的学术圈学科之一。

7月23日，在美国费城举行的2026年国际数学家大会开幕式上，中国数学家邓煜获得菲尔兹奖。

从奥赛金牌保送北大，到本科未毕业即留美深造，再到问鼎菲尔兹奖，新晋菲尔兹奖得主、青年数学家邓煜的人生经历，似乎完美符合大众印象中“数学天才”的定义。

首个获菲尔兹奖的中国籍数学家邓煜，虽在外界看来有着“数学天才”的人生经历，但在他自己看来，他可能只是在数学上有一定天赋，这本身也不决定任何东西。

他表示，大规模项目会尽量放在长期缺乏关注的数学“长尾”问题上，避免与年轻数学家的研究方向直接竞争；

由此可见，陶哲轩、邓煜等数学家真正反对的，是AI公司不加验证和解释的“AI攻占数学”的叙事。

由此可见，陶哲轩、邓煜等数学家真正反对的，是AI公司不加验证和解释的“AI攻占数学”叙事。

在其举办的“数学蒸馏挑战赛”（MathematicsDistillationChallenge）中，参赛者的目标不是让AI尽可能生成更长、更复杂的推理，而是把机器产生的大量推演结果压缩成数学家真正能够阅读和检查的证明文本。

中国籍女数学家王虹获数学界殊荣菲尔兹奖。

奖项专门表彰40岁以下的优秀学者，今年获奖者中，包括中国籍女数学家王虹。

刚刚，菲尔兹奖名单提前泄露，中国数学家王虹、邓煜双双上榜。

中国数学家王虹荣获菲尔兹奖，成为史上第三位女性得。

过去，“解决猜想的人”只能是另一个数学家，这事百年一遇。

最后这条评价分量尤其重，因为它来自一位菲尔兹奖得主——这是人类数学家的最高荣誉之一。

事实上，人类数学家已经在这一解法基础上继续推进，并尝试解决其他长期存在的问题。

他也由此成为首位在加拿大高校任职期间摘得菲尔兹奖的数学家。

多年来，解决埃尔德什问题的数学家通常更看重荣誉而非奖金，在AI出现之前便是如此。

《中国科学报》：这一研究沿用了数学家提出的多维筛法，这个方法的核心是什么？

研究沿用了数学家提出的多维筛法，但在既有框架内更充分地利用包括三重稠密可分性在内的因子分解结构，扩大了筛权的可使用范围。

宣言给数学家的建议是：披露工具使用情况、支持审查需求、坚持开放科学原则、保留对正确性的责任、肯定作者的人性、务必认真做好归属工作、参与公共讨论、随时了解新兴技术、欢迎新贡献者、仔细考虑要使用哪些工具、评估你行为的伦理后果并采取相应行动。

这当然不能代表所有数学家的选择，但折射出一种正在发生的变化：未来数学家的工作，也许不再只是生产新的证明，而是设计验证体系、解释机器生成的结果，并参与塑造人与AI协作的新规则。

当机器越来越擅长生成和验证证明之后，人类数学家的工作不会随之结束，而是转向另一件同样重要的事情：解释证明、组织知识，并帮助数学共同体真正理解这些成果。

未来数学家如何与AI协作？

9月4日，人工智能（AI）公司Anthropic宣布，其Claude模型仅用11天，就将英国数学家安德鲁・怀尔斯1995年完成的费马大定理证明转化为计算机可逐步验证的形式化证明

9月4日，人工智能（AI）公司Anthropic宣布，其Claude模型仅用11天，就将英国数学家安德鲁·怀尔斯1995年完成的费马大定理证明转化为计算机可逐步验证的形式化证明

华盛顿邮报19日报道，全球各地最顶尖数学家今年8月初参加在ChatGPT研发机构OpenAI旧金山办公室举行的一场高峰会议

英国《自然》网站在7日发表的文章中称，这一成果表明，AI将在数学家的工作中发挥越来越重要的作用，不仅可帮助检验数学证明，也可能参与产生新的数学推理。

马骁在接受知乎科学播客《知无不言》独家专访时评价邓煜是“反应快的数学家”里反应更快的一位，这或许得益于他中学就接触数学竞赛，且具备丰厚的数学技术积累。

数学家是否会无限次出现非常小的情况？

未来数学家如何与AI协作？