AI破解数学难题，顶尖数学家怎么想？