数学证明写作

为 ML/AI 理论写严谨数学证明。被要求证定理、引理、命题、推论、补全证明步骤、形式化证明草图、补全证明、写证明、证明某个命题、或判断声称的证明能否在给定假设下真正完成时可使用。