数学证明

大模型为何难成为「数学家」?