為 ML/AI 理論撰寫嚴謹的數學證明。當被要求證明定理、引理、命題或推論、補全缺失的證明步驟、將證明草稿形式化、補全證明、撰寫證明、證明某一命題，或判斷某個聲稱的證明在所述假設下是否能實際完成時使用。
本頁屬於 OpenClaw Skills 學習體系，涵蓋技能安裝、分類導覽與實戰連結。