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
This game can now be played using thousands of questions covering National Curriculum maths objectives. Registered users can work through th…
Web
Animal Ball v Obstacle Wall
Animal Ball v Obstacle Wall
This game can now be played using thousands of questions covering National Curriculum maths objectives. Registered users can work through th…
Web
Boxy Bird
Boxy Bird
This game can now be played using thousands of questions covering National Curriculum maths objectives. Registered users can work through th…
Web
Maths Choppity Chop
Maths Choppity Chop
This game can now be played using thousands of questions covering National Curriculum maths objectives. Registered users can work through th…
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 all🧮 Addition and Subtraction Full Explanation 🔥 | Class 4 Mathematics | Complete Chapter
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
Class 4 Maths Unit 1 Whole Numbers | Clue Words Addition, Subtraction, Multiplication Roman Numerals
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
Mathematics For Class 1 | Addition | Addition Exercise - Mind Math | Maths For Kids
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
From the Blog
See allCan AI grade an olympiad proof? A new study finds substantial gaps
A new preprint evaluates language models on expert-graded USAMO solutions and finds that judging long mathematical proofs remains difficult.
AI agents design optimization algorithms with Lean-checked runtime bounds
A new preprint reports a staged AI workflow that proposes black-box optimization algorithms, then uses Lean to check their expected-runtime analyses.
AI-produced Lean proof checks convergence result for reaction-network models
A new preprint reports an AI-produced Lean 4 formalization of a convergence theorem for detailed-balanced mass-action systems.
Stuck on a problem? Get a personal math tutor.
From algebra to graduate-level analysis. 1-on-1 sessions, online, with vetted tutors.