#AI数学研究

想知道AI怎么帮数学家干活？这篇论文用Grothendieck常数当例子，讲AI怎么把已知界限又收紧了一截，还聊了AI的强项和翻车点，挺实在的。