AI一口气破解10年未解的数学猜想，普通人拿什么拼未来？