为 ML/AI 理论撰写严谨的数学证明。 在被要求证明定理、引理、命题或推论、补全缺失的证明步骤、将证明草稿形式化、补全证明、写证明、证明某个命题，或判断某个声称的证明在所述假设下是否能实际完成时使用。
本页属于 OpenClaw Skills 学习体系，覆盖技能安装、分类导航与实战链接。