Night Grinder
Built at Meta Global AI Developer Hackathon · Oct 26, 2026 · Remote

Noteing turns scattered calculus lecture material (PDFs, whiteboard photos and student-recorded voice memos) into structured, source-grounded study notes and a revision plan. Before an exam, a student’s material is split across slides, a module, handwritten board work and the way the teacher explains things. AI can merge it, but it can also quietly get the maths wrong. Noteing separates the two jobs: Meta’s models read, organize and explain the material, while SymPy independently checks the supported mathematical claims. Original claims are preserved, never silently corrected. On our sample material, SymPy flagged real errors, including an incorrectly expanded Taylor polynomial and a wrong fourth derivative in whiteboard examples. Claims it cannot check are shown as unverified. Voice memos become structured “teacher-style” approaches. Each entry carries an exact transcript snippet and is labelled as student-recorded, not a teacher quote. Notes include source references, a coverage map and a transparent study planner.