韦东奕在全球数学界应该可以排全国前十位，
本以为韦东奕够牛了，那么接下来这位可以说是韦东奕无法靠近的存在，
他就是天才神童陶哲轩，在全球数学界无人能敌，
7岁学微积分，
8岁高考760分
14岁拿硕士毕业，
21岁博士学位，
24岁成为加利福尼亚大学正教授，
随后获得数学界的诺贝尔奖“菲尔兹”奖
可惜他至今好像没有回国，实则令人惋惜，
陶哲轩最近把20年前写的经典教材《AnalysisI》用计算机语言Lean重新改写了一遍，把书里的定义和证明过程都变成了可执行的代码，放在GitHub上开源了。这个项目不只是给学生用，还成了学Lean编程的入门教程，连数学证明都能用计算机辅助完成了。
他五月底刚和DeepMind的AI工具AlphaEvolve联手，一个月里三次刷新了一个18年没解决的数学难题纪录。这个难题叫“和差集问题”，AI负责从天文数字的组合里筛选方案，陶哲轩团队再提炼出数学规律，最后把理论下限推高了近3%，连他自己都说这是“人机互补的完美例子”。
不过这位数学家最近也遇到头疼事。美国国家科学基金会（NSF）今年砍了67%的数学研究经费，人均经费只剩22美分，是十年最低。陶哲轩在博客里说，自己现在只能自掏腰包做AI辅助数学的实验项目，连长期课题都启动不了。他比喻这种基础研究像“种慢熟的种子”，砍经费等于断了未来的技术突破机会。
很多人不知道他和数学大师埃尔德什的渊源。1985年，10岁的陶哲轩在澳大利亚见到72岁的埃尔德什，对方亲自审阅他的论文，还推荐他去普林斯顿读博。30年后，陶哲轩破解了埃尔德什差异问题——这个难题曾困扰学界80年，而恩师当年给他的鼓励成了关键动力。
虽然没回国工作，但2009年他来过中国，担任“丘成桐中学数学奖”评委，在清华演讲还受到国家领导人会见。后来他在博客提到，很多中国奥数选手缺的不是天赋，而是对“数学研究需要十年磨一剑”的认知转变。
评论列表