Proofpad
A consumer math-explainer that lets a curious adult or high-schooler type any equation into a chat and get an interactive walkthrough of every legally valid manipulation, step-by-step, with each rule named and each blocked move explained.
Adult learners refreshing math for a career pivot, GED prep, or a child’s homework
- Chat-style input that accepts LaTeX, plain text, or photo of a textbook problem and returns a guided manipulation
- Each suggested step names the underlying rule and links to a short plain-English explainer
- Compare two approaches side-by-side, e.g., substitution vs. elimination, with the engine verifying both
- Personal bookmark of rules the user has learned and revisited, with spaced reminders
Adult math anxiety is widespread and the demand for self-paced, judgement-free algebra help is huge; a consumer-facing overlay on top of a sound manipulation engine is exactly the missing tool.
Photomath alone has 100M+ downloads, 4.5 rating, and ~$91M revenue, proving massive consumer demand for step-by-step math help; adult-learner research also shows a real niche for self-paced adult math support.Photomath: 9 Tools Behind $91M Revenue [2026] ↗Google acquires Photomath, a popular math solver app ↗
Photomath, Symbolab, Mathway, and Wolfram Alpha all offer step-by-step solutions, but none emphasize a sound 'legal-move / rule-named / blocked-move explained' engine; however, Wyrm (the very HN trend cited) already occupies this soundness niche as an open-source project, narrowing the white space.Show HN: Wyrm - Solve algebra by touch, built on an open-source soundness engine ↗Mathway vs Photomath, Cons, Pros & Alternative Apps in 2024 ↗
Proven $9.99/mo math-helper subscriptions exist (Photomath Plus), but the step-by-step baseline is now free in major apps, and any new entrant must justify a paid tier against a free Photomath/Symbolab experience plus Google's AI Math Assist.Mathway vs Photomath, Cons, Pros & Alternative Apps in 2024 ↗Photomath: 9 Tools Behind $91M Revenue [2026] ↗
Math learning is evergreen and the 'show your work' pedagogical angle is durable, but consumer math apps are consolidating (Google bought Photomath) and AI-native tutors are reshaping the category, making a small chat-overlay app's defensive position modest.Google acquires Photomath, a popular math solver app ↗Wyrm: A Sound Algebra Engine for Gesture-Based Equation Solving ↗
The hardest piece — a sound algebraic manipulation engine — already exists as the open-source Wyrm core in TypeScript, so a consumer chat overlay on top is a buildable product with standard LLM + web work.Wyrm: A Sound Algebra Engine for Gesture-Based Equation Solving ↗