Этот раздел — обзор основных ИИ-инструментов, которые сегодня используются в преподавании и изучении математики. Это не рейтинг и не «топ-10 нейросетей», а попытка разложить их по педагогическим функциям: что каждый инструмент делает, для чего он подходит и где его лучше не использовать.
Инструменты сгруппированы по семи категориям:
сократические тьюторы, решатели с пошаговым разбором, адаптивные системы, инструменты визуализации, графические калькуляторы, гибридные платформы с участием человека и универсальные генеративные модели.
В нашем обзоре, только один, самый известный на-сейчас ИИ-инструмент каждой категории.
Khanmigo
ИИ-ассистент от Khan Academy, построенный на принципе «не давать ответ, а задавать вопросы». Вместо готового решения Khanmigo ведёт ученика через серию сократических подсказок, заставляя его самостоятельно выстраивать рассуждение. Для учителей есть панель управления, где можно включать или отключать функцию «показать ответ» и просматривать логи чатов, чтобы выявлять типичные заблуждения [citation:1].
Photomath
Приложение, которое распознаёт математическую задачу по фотографии и показывает пошаговое решение с объяснением каждого шага. Поддерживает арифметику, алгебру, геометрию, тригонометрию, математический анализ и даже текстовые задачи. В базовой версии доступны основные шаги, в Photomath Plus — анимированные туториалы и углублённые объяснения «почему» [citation:4].
MathGPT
ИИ-решатель с собственным калькулятором, встроенным прямо в интерфейс — можно переключаться между базовым и графическим режимом (на движке GeoGebra), не открывая дополнительные вкладки. Генерирует анимированные видео-объяснения, создаёт практические экзамены и флеш-карточки для повторения [citation:2][citation:9].
Mathos AI
Адаптивная система, которая анализирует не просто ошибки, а паттерны ошибок: выявляет пробелы в предварительных знаниях и возвращает ученика к нужному уровню, прежде чем двигаться дальше. Включает решатель, генератор видео-объяснений и интерактивного тьютора, который вмешивается в момент ошибки, а не после финального ответа [citation:3].
Wolfram Alpha
Вычислительный движок, специализированный на символьной математике: решает уравнения, вычисляет интегралы и производные, строит графики, работает с матрицами. В отличие от генеративных чат-ботов, Wolfram не «галлюцинирует» — он выдаёт результат на основе строгих алгоритмов. Используется как эталон для проверки ответов других инструментов [citation:1].
GeoGebra
Динамическая математическая среда для построения графиков, геометрических фигур, 3D-моделей и таблиц. В 2025–2026 годах добавлены инструменты для манипулирования переменными в реальном времени и визуализации многомерного анализа. Используется как «визуальные леса»: помогает привязать абстрактные символы к конкретным образам [citation:1].
ChatGPT (с режимом обучения математике)
В 2026 году OpenAI добавил в ChatGPT режим интерактивной визуализации для математики и естественных наук: более 70 ключевых концепций теперь можно «потрогать» — менять переменные и наблюдать, как это влияет на график. Это превращает абстрактные формулы в экспериментальную среду. Однако для чисто вычислительных задач ChatGPT по-прежнему может допускать ошибки, поэтому требует проверки [citation:6][citation:13].
Desmos
Графический калькулятор с интуитивным интерфейсом, который используется в школах и вузах для построения функций, неравенств, параметрических кривых и точек. В 2026 году появились интеграции с ИИ-ассистентами (через MCP-протокол), позволяющие генерировать графики по текстовому запросу или LaTeX-выражению. Desmos 3D поддерживает визуализацию многомерных поверхностей [citation:19].