The mathematical posts on this blog grew out of LaTeX notes written over the past ten years of my research, mostly in optimal transport. This material also led to my book, Optimal Transport for Machine Learners. The posts are revised and expanded versions of those notes.
I used GPT6 and DeepSeek Flash to correct and polish the writing, check the mathematics extensively, and identify and correct errors in the arguments and proofs. The same models coded the numerical experiments and interactive figures under my guidance.
This work is also part of an effort to understand the advantages and limitations of smaller open-weight models for mathematical writing, checking, and scientific programming.
AI-assisted checking is not formal verification, and mistakes may remain. I remain responsible for the material published here.