Muna Lens
Built at Meta Global AI Developer Hackathon · Oct 26, 2026 · Remote

Most university and high school STEM students solve math, physics, and engineering problems using pen and paper, but modern AI tutors are trapped inside text boxes and chat interfaces. Manually typing mathematical formulas into a chatbot or snapping photos every two minutes disrupts a student's focus, and an unnoticed sign error on step two often ruins a twenty-minute derivation before anyone catches it. Lens is an open-source tutor that watches a student solve STEM problems on paper in real time through a standard laptop webcam or paired phone camera over WebRTC. As the student writes, computer vision tracks their pen and hand, noticing the exact moment a step is finished and their hand moves away. Lens reads the handwritten step, mathematically verifies it using symbolic computation and Meta reasoning models, outlines any verified error on the screen, and asks one targeted Socratic question aloud. It never reveals the answer, choosing instead to guide the student to discover their own slip, exactly like a human teacher sitting beside them. Students can converse naturally through an interruptible voice loop, point to a step and ask for feedback, or read live captions, all while the system maintains a strict false-alarm rate below one in twenty pages verified against public handwritten benchmarks like FERMAT.