本文介绍了 AI 攻克多项数学难题，剖析其能力短板与人类数学研究独有优势。