proof-writer

To write a rigorous mathematical proof, extract the exact statement and assumptions, triage feasibility without fabrication, and draft an explicit, verification-ready proof document. This ensures assumption-aware rigor for theorems and lemmas in ML/AI theory.

Proof feasibility triage classifies claims as provable as stated, provable only after weakening or adding extra assumptions, or not currently justified. You need it when determining whether a mathematical argument can be completed before drafting a full proof.

To fill missing steps in a proof sketch, apply rigorous proof drafting by extracting the exact statement, assumptions, and notation. This verifies the sketched argument and completes the missing steps with quantifier- and boundary-case care.

You can verify a claimed argument by applying proof feasibility triage, which evaluates whether the theorem is provable as stated or requires extra assumptions, triaging feasibility without fabrication and blocking incomplete attempts.

A structured proof package for verification should include the explicit claim, assumptions, notation, proof status, dependency map, and the verification-ready proof document itself, ensuring all boundary cases and quantifiers are properly handled.

Automated proof writing for ML theory limits outputs to provable claims or clear blockage reports, meaning it cannot fabricate steps for unprovable arguments and will block attempts that require weakening assumptions or extra conditions to complete.