跟帖ChatGPT攻克26年猜想，千位数学家宣战AI，数学界彻底撕裂了