#数学博士生2年研究被AI抢发# 博士生两年磨一套完整证明，AI 五天就抢先成文。
据说现在是大模型证明的很快，人类验证大模型的证明很慢。
AI 擅长快速铺出完整推演，藏漏洞却极隐蔽。
数学家要逐行抠逻辑、核对每一步前提，耗时成倍。
产出速度失衡，验证成当下数学证明最大瓶颈。 ​