半个多世纪以来，数学家已能借助计算机进行辅助计算或验证命题，但仍不满足于此，如今的AI或许能更上层楼，挑战那些人类长年未解的难题。这将对数学、科学乃至人类社会产生深远的影响。本文回顾了历史，阐述了当下的（试读）...