在Mathstodon上，陶哲轩称，自己联手ChatGPT攻克了一个MathOverflow难题，节省了数小时的编码时间。 AI不仅帮助他发现了初始尝试中的多处数学错误，还将原本可能耗费数小时的编程与调试工…...
)
