Verdict: a conditional yes, structured as a watch-list entry with a capped first check rather than a full-conviction lead. The single strongest reason for is a rare pre-seed combination of demonstrated learning outcomes (+0.8 grade-level) and paying district traction in a $45B market growing 37%, all riding a genuine sector tailwind. The single strongest reason against is thin-wrapper risk against well-funded incumbents (Khan/Khanmigo, IXL, Carnegie Learning) who can bolt AI diagnosis onto existing distribution and bundle it toward zero—meaning value must provably accrue in the math-specific eval harness and misconception dataset, not the base model. Compounding this, the +0.8 gain lacks a control arm and may not survive an ESSA Tier II/III evaluation. Entry plan: lead with roughly $657K for ~8% at a ~$6.7M pre-money, hard-capping total exposure at $750K, and reserve ~$985K for pro-rata. Stage the check against two milestones: a controlled/RCT-grade efficacy signal and a disclosed pilot-to-paid conversion above 50%.
Market-size and growth figures for AI Applications (vertical SaaS) are anchored to recent third-party research: