Discover the best AI tools for
A curated library of AI tools, ready-to-use prompts, fun math games, hand-picked open-source repos, hands-on tutorials, the latest math-tech news, and 1-on-1 tutoring — all in one place.
Start with your goal
A faster route to the right resource.
Featured AI tools
See allMathcha Editor
Write, draw, and share mathematics without memorising LaTeX
A browser-based WYSIWYG mathematics editor for combining normal text, equations, diagrams, matrices, and exports in one document.
GeoGebra Math Resources
Curated interactive activities from number sense to calculus
GeoGebra’s resource hub organizes interactive activities, exercises, lessons, and books by mathematics topic and grade level, with materials…
Desmos Graphing Calculator
Fast, welcoming graphing for functions and data
A polished graphing workspace for functions, tables, sliders, regressions, and classroom demonstrations, with a low barrier to entry for beg…
Mathigon Polypad
A digital canvas for manipulatives, patterns, and discovery
Polypad gives learners virtual tiles, fraction bars, algebra tiles, geometry tools, graphs, and other manipulatives for experimenting with m…
GeoGebra Graphing Calculator
Explore functions, equations, sliders, and data visually
A browser-based graphing workspace for plotting functions, testing parameters, comparing representations, and sharing interactive investigat…
GeoGebra Geometry
Construct, measure, and prove with dynamic geometry
A dynamic geometry canvas where points, lines, circles, transformations, measurements, and conjectures stay connected as a construction chan…
Top prompts
See allSolve compound inequalities
A reusable AI prompt for solve compound inequalities, with explicit reasoning and verification.
Act as a patient mathematics tutor. Help me with this task: Solve compound inequalities. Problem or data: [PASTE PROBLEM HERE] Show the reasoning in clear, nu…
Simplify an algebraic expression
A reusable AI prompt for simplify an algebraic expression, with explicit reasoning and verification.
Act as a patient mathematics tutor. Help me with this task: Simplify an algebraic expression. Problem or data: [PASTE PROBLEM HERE] Show the reasoning in clea…
Solve a system of two equations
A reusable AI prompt for solve a system of two equations, with explicit reasoning and verification.
Act as a patient mathematics tutor. Help me with this task: Solve a system of two equations. Problem or data: [PASTE PROBLEM HERE] Show the reasoning in clear…
Solve a system of three equations
A reusable AI prompt for solve a system of three equations, with explicit reasoning and verification.
Act as a patient mathematics tutor. Help me with this task: Solve a system of three equations. Problem or data: [PASTE PROBLEM HERE] Show the reasoning in cle…
Math games
See allBirds v Robots - Maths Battle
Birds v Robots - Maths Battle
Help the birds defend their eggs from the evil robots by answering the maths questions correctly.
Web
Animal Ball v Obstacle Wall
Animal Ball v Obstacle Wall
Answer the maths questions and then steer your ball away from the obstacles.
Web
Boxy Bird
Boxy Bird
Answer the maths questions and then help your bird to get home safely.
Web
Maths Choppity Chop
Maths Choppity Chop
Answer the maths questions and then chop the vegetables. Avoid the steel bar and the saw.
Web
Open-source repositories
See allJuliaLang/Julia
Julia is a high-performance language built for technical and numerical computing. It combines an approachable, mathematical syntax with multiple dispatch and a …
ManimCommunity/Manim
Manim Community is a Python framework for programmatic mathematical animation. Instead of editing every frame manually, you describe objects, transformations an…
numpy/NumPy
NumPy is the core numerical-computing library for Python. Its ndarray object stores large, homogeneous arrays efficiently and enables vectorised operations, whi…
dair-ai/Mathematics for Machine Learning
Mathematics for Machine Learning is a curated learning repository that connects the core mathematics behind modern machine learning: linear algebra, calculus, p…
Tutorials
See allLearn and Practice math Addition (plus) using fingers, for Kindergarten and Grade 1 kids
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
Fun way to Teach Addition/Substraction to kids #trending #TLM #TeachingAid #TeachingLearningMaterial
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
Class 3 Maths Addition and Subtraction (Complete Chapter)
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
From the Blog
See allBlueprintRepair turns failed Lean proof plans into smaller, cheaper AI repair jobs
Submitted to arXiv on July 30, 2026, a new formal-mathematics study shows that schema-checked local edits can repair failed Lean proof blueprints almost as effectively as free-form rewrites while using fewer tokens.
Nature warns that AI in mathematics needs rules before bad habits harden
Published on July 27, 2026, a new Nature World View argues that mathematics should set stronger norms for AI use now, before opaque tools, weak attribution, and low-quality machine-written papers become routine.
A learned Lean 4 tactic shows a cautious new path for AI inside formal proofs
Posted to arXiv on July 25, 2026, a new formal-mathematics paper shows how learned interventions can help Lean 4’s `grind` tactic solve harder theorems without disrupting proofs it already handled reliably.
Stuck on a problem? Get a personal math tutor.
From algebra to graduate-level analysis. 1-on-1 sessions, online, with vetted tutors.