数学界正在经历类似软件编程行业的冲击，写代码速度已经远大于 review 速度，人工 review 成为最大瓶颈，不仅如此，人的智力、精力都有上限，我都怀疑未来的数学发现是否有人类可以读懂，或者可能需要十几年才能理解。