AI推进了哥德巴赫猜想，但数学仍然是最好的专业