What I Wish I Knew About FrontierMath
lemmata.substack.com