与菲尔兹奖得主Timothy Gowers对话：整个数学研究的范式将被AI改变
近日，我在巴黎GOSIM会议上与著名的数学家、菲尔兹奖的获得者Timothy Gowers教授做了一场深度的对话。Timothy Gowers是当代最杰出的数学家之一，剑桥大学和法兰西公学院的教授，他在35岁因“在泛函分析和组合数学领域的突出贡献”荣获菲尔兹奖，被誉为数学领域的诺贝尔。近年来涉足自动定理证明领域，活跃于AI和数学的交叉领域。 Timothy最近也因为使用AI解出复杂的博士级数学难题，而在AI领域引起震动。我和他的对话围绕 当前最受关注的“AI与数学研究的十个话题”展开。这场对话，有很多精彩的
