人们让 AI 大量解决数学难题，但是数学难题是不可再生的，如今好的问题已经变得稀