16位数学家发布宣言反对AI滥用，数学研究该何去何从

16位知名数学家在荷兰莱顿大学发布反对AI滥用的莱顿宣言，该宣言已获得全球超600名数学家支持，以及国际数学联盟等机构背书。不少数学家担忧，若AI解题成为数学研究的唯一标杆，人类长久积累的真实理解力、洞察力和判断力会被逐步挤走。
传统数学问题求解分为证明生成、证明验证、证明消化三个部分，过去证明生成是最具价值的部分。AI工具出现后，证明生成成果出现井喷，生成成本被AI无限压缩，证明消化的价值愈发凸显。
未来数学研究者不仅要运用好AI工具开展研究，更需要读懂讲透AI辅助生成的证明，并将成果实际应用到物理世界。无论AI技术如何发展，创新能力、提出好问题的能力，始终是AI难以取代人类的核心。