AI不断攻克数学难题，但数学家要的不仅是“答案”