But this still doesn't need AI, unless we're calling OCR "AI" now

Show us any prior OCR that can read hand drawn formulas beyond the most basic single line expressions

I don't recall the name of the app, but drawing formulas, equations etc with a finger was a thing on Android like 10 years ago. And it did things like a mix of fractions and square roots etc just fine.

If by "AI", you mean "neural network", rather than "program/machine", then still : hasn't OCR already been using neural networks for many decades ??

How else do you get the O and 0's correct? Building a handwriting recognizer is one of the first things you learn to do in AI-writing class.

Assume words don't contain numbers and numbers don't contain words, then provide a convenient UI for selecting alternatives?

For fielded input matching known patterns, recognition can also be constrained by pattern matching and general validation rules (e.g., VINs are 17 characters long, cannot contain the letters I, O, or Q, and, given prior information in other fields, can be further constrained by manufacturer code, model year, and by requiring a correct check digit).