Модель пишет, сервис проверяет.

Четыре вывода статьи

1. 01

   Пишет модель чата

   Каждую задачу пишет модель того чата, которым семья уже пользуется, на языке ребёнка и в близком ему сюжете. Сам MathTrail моделей не вызывает. Это небольшой детерминированный сервис, который ничего не хранит о ребёнке между запросами.

   1. Модель чатапишет
   2. MathTrailпроверяет
   3. Ребёнокрешает

2. 02

   Решатель запускается дважды

   Вместе с задачей модель пишет короткую программу, которая вычисляет ответ и называет букву верного варианта. Сервис запускает её, сдвигает буквы на 2 позиции, так что A становится C, и запускает снова. Программа, которая честно считает, найдёт ответ на новом месте, а та, что вписала букву вручную, не найдёт. Второй запуск бывает, когда первый выбрал ровно один вариант.

   Первый запуск

   1. A3
   2. B4
   3. C5
   4. D6
   5. E12

   → C

   Второй запуск, буквы сдвинуты

   1. A6
   2. B12
   3. C3
   4. D4
   5. E5

   → E

   Программа, вписавшая «C» вручную, во втором запуске укажет на 3, и задачу отвергнут.

3. 03

   Ответ запечатан

   Ответ, решение, объяснения и сам решатель зашифрованы и лежат в профиле ребёнка на Google Диске родителя. Пока ребёнок не ответил, их нет ни в том, что сервис отдаёт карточке и модели чата, ни в его журналах.

   Видит ребёнок

   вопрос · рисунок · варианты · подсказка

   Запечатано до ответа

   ответ · решение · объяснения

   XChaCha20-Poly1305 · привязано к ребёнку и задаче

   Печать не закрывает сам чат. Модель, которая написала задачу, знает ответ, а журнал вызовов в чате показывает его взрослому, если тот его откроет.

4. 04

   Чуть сложнее, но посильно

   Модель ученика предсказывает, с какой вероятностью ребёнок решит задачу, и сервис заказывает ту, у которой шанс ближе всего к 77,5 %, середине коридора от 70 % до 85 %. Новый ребёнок сначала проходит пробную серию из 5 задач, и так находится его стартовый уровень.

   P = c + (1 − c) · σ(θ + δ_t − β)

   00,20,700,851

   • c = 0,2 — угадать один из 5
   • целевой коридор