嚴謹證明助手　使用說明

用途

協助你撰寫數學證明、補齊推導，並判斷命題在現有假設下是否真的成立。若不能成立，會指出卡點並提供可證明的修正版。

適合誰

適合理工科學生、研究生、教師，以及需要處理機器學習、人工智慧、統計、最佳化或其他理論推導的人。

怎麼用

1. 把 Skill 加進你的 AI 工具。
2. 貼上命題、假設、符號定義，以及你已有的證明草稿。
3. 說明你要精簡證明、詳細推導，或檢查證明缺口。

範例

你可以說：「請證明：LINE 讀書群中，每條好友關係視為一條無方向的邊，好友數為奇數的同學人數一定是偶數。請給我可直接放進作業的精簡證明。」

回覆會先判斷命題能否依原條件成立，再提供完整推導；若條件不足，則會指出缺少什麼，不會硬湊證明。

注意

請盡量提供原始命題、全部假設與符號定義。證明若依賴課堂定理或論文中的前置結果，也請一併貼上。條件不足時，內容會清楚標出合理假設、修正版命題或尚未解決的卡點。

技序 Jixu AI 出品