We first prove a Boundary Schwarz lemma for holomorphic disks on the unit ball in $\mathbb{C}^n$. Further by using a Schwarz lemma for minimal conformal disks of Forstnerič and Kalaj, we prove the boundary Schwarz lemma for such minimal disks.

Can large language models improve feedback on undergraduate proof writing without lowering standards? I present a practical way to guide an LLM so its comments are focused, consistent, and aligned with course aims—while academic judgement stays with the instructor. In a pilot with first-year work, this approach surfaced common misconceptions early and shortened feedback cycles. I’ll outline the idea, note what helped and what failed, and discuss where AI can responsibly sit alongside human marking.