Math Notes is super impressive. No mention of AI or machine learning but it’s gotta be all over this.