微比恩 > 信息聚合 > 陶哲轩:AI 让业余数学家也能做出贡献

陶哲轩:AI 让业余数学家也能做出贡献

2024-02-25 13:37:20来源: IT之家

AI 影响之一是让业余数学家也能做出贡献。数学下一次文化转变在于 AI 生成的证明是否会被接受。很快会有个 AI 聊天机器人坐在你旁边。当你完成证明时,他可以回答问题,帮你解释每一步。在 Quantamagazine 最新长达七千字的访谈中,陶哲轩如是说。除此之外,他还谈到了数学本质、 “好的”数学研究的构成要素,以及如何应对新技术的出现。作为菲尔兹奖、数学突破奖、麦克阿瑟奖等多个奖项的获得者,陶哲轩目前已累计撰写 300 多篇研究论文,覆盖傅里叶分析、偏微分方程、组合学、数论、数据科学、随机矩阵等多个领域,还被誉为数学界的莫扎特。而这些研究成果背后,还有强大的技术工具加以辅助。像之前的互联网、计算机辅助证明软件,到现在的人工智能。时不时可以看到他安利 AI 工具,并且作为 ChatGPT 首波用户,将其并入自己的工作流。为此他还透露了个小秘密:我用维基百科学习数学。在此摘取部分访谈内容,完整版可戳底部链接。“我用维基百科学习数

关注公众号