【陶哲轩：计算机辅助数学证明的历史】“人类与计算机在数学创造领域的贡献比是95%和5%，那么（在ChatGPT为代表的神经网络与大模型走进数学后）过十年或者二十年，这个比例就会变成五五开。”

https://dig.chouti.com/link/39836794