《王的猜想》一文因数学家王虹证明三维挂谷猜想而走红。文章指出，AI虽能解决复杂数学问题，但缺乏爱因斯坦提出等效原理所需的创造性跳跃。DeepMind论文认为，大模型擅长归纳和演绎，却无法进行溯因推理。陶哲轩则提醒，数学界需应对AI带来的“证明过剩”，重视验证与理解。