AI 将 Talagrand 卷积猜想证明从 40+ 页简化至 1.5 页
RT @PI010101：大约一年前，Talagrand 的卷积猜想被公布，其证明长达 40 多页，后来 Shaposhnikov 借助 AI 将其简化到 7 页：https://t.co/INoxgBatiy
此后 AI 进步如此之大，以至于我稍微试了试，它就把整个证明重写成 1.5 页，而且是按我的风格（我告诉 AI 我熟悉哪些工具，并要求它只在这些范围内操作，然后不断说“简化证明”）。
只要存在一个有效的证明，AI 似乎越来越有能力简化它（甚至找到更简单的替代证明），并用你的风格把它改写得短得多、干净得多。所以我想我同意 @ChrSzegedy 的看法：人类的“去冗余”（desloping）可能只是个暂时的问题，最终将不再需要：
https://t.co/nj24wP9053
看起来我们正在回到 Perelman 的立场：如果证明是对的，就不需要其他认可了。
此后 AI 进步如此之大，以至于我稍微试了试，它就把整个证明重写成 1.5 页，而且是按我的风格（我告诉 AI 我熟悉哪些工具，并要求它只在这些范围内操作，然后不断说“简化证明”）。
只要存在一个有效的证明，AI 似乎越来越有能力简化它（甚至找到更简单的替代证明），并用你的风格把它改写得短得多、干净得多。所以我想我同意 @ChrSzegedy 的看法：人类的“去冗余”（desloping）可能只是个暂时的问题，最终将不再需要：
https://t.co/nj24wP9053
看起来我们正在回到 Perelman 的立场：如果证明是对的，就不需要其他认可了。