陶哲轩：感谢ChatGPT，4小时独立完成了一个开源项目

菲尔兹奖得主陶哲轩利用五一假期，借助ChatGPT开发了一款用于验证渐近估计的开源工具。该工具可自动判断特定形式的不等式是否成立，为数学研究提供自动化支持。整个开发过程历时约4小时，体现了大模型在编程和数学领域的潜力。陶哲轩表示，AI有望在2026年成为数学研究的合著者，并建议数学家与程序员协作开发类似工具。
来源：https://mp.weixin.qq.com/s/mh-lNCOxXacfIgEifdN3vg