The mathematics community is experiencing a similar impact to the software programming industry. The speed of writing code has far exceeded the speed of review, and human review has become the biggest bottleneck. Moreover, human intelligence and energy have limits. I even doubt whether future mathematical discoveries will be comprehensible to humans, or whether it may take more than a decade to understand them.