Evidelo
Учите математику через собственные доказательства: вы пишете рассуждение, а Lean формально проверяет его.
Скоро в App Store и Google Play
Как это работает
Вы пишете доказательство
Вы пишете текст с формулами в редакторе приложения или от руки. Страницу можно сфотографировать или писать стилусом на экране.
Сервер его проверяет
Модель ИИ переводит рассуждение в формальную запись, а Lean проверяет каждый шаг. Задачу засчитывает только Lean.
Вы получаете вердикт
Если в рассуждении есть пробел, разбор начинается с первого из них. Подсказка не раскрывает всё решение сразу.
Чему учит
Первый курс — «Высшая алгебра». Уровень 1 «Обратный ход» начинается с основ теории групп.
Готовятся университетские курсы. В пилот входят выбранные уровни:
- Линейная алгебра
- Общая топология
- Алгебраическая топология
- Математический анализ
- Обыкновенные дифференциальные уравнения
- Функциональный анализ
- Теория функций комплексного переменного
- Основания математического доказательства
- Аналитическая геометрия
- Элементарная теория чисел
Для кого
Для студентов и всех, кто учится строгим доказательствам. Во время пилота пользоваться приложением можно с 18 лет.
Пилот
Сейчас идёт закрытый пилот. Приложение бесплатное. Оно может меняться, а его работа может прерываться.
- Начать можно гостем, без входа.
- Вход через Google или Apple сохраняет прогресс и восстанавливает его на новом устройстве.
Приватность
На этом сайте нет трекеров, cookie и внешних ресурсов. Как приложение обрабатывает данные, описано в документах:
- Политика конфиденциальности, версия pilot-2
- Условия использования, версия pilot-1
Контакт
Вопросы о данных, пилоте и приложении присылайте на privacy@evidelo.app.