Хм, судя по скриншоту, система переводит условие задачи в листинг на Prolog, который выводит корректный ответ? Т.е. получается, что их ИИ система — это набор необходимых на все случаи жизни предикатов + система для распознавания и семантического анализа текста?
Ну просто программы для решения уравнений же есть. Ну или боты для игр. Я вот писал бота для 3д игры при том что анализ шёл по графике, а не по памяти приложения. И мне как то не особо удивительно видеть такое распознавание. Куда больший интерес для меня представляет решение творчески поставленных задач.
Если пошариться по сайту, можно найти форму, куда можно залить картинку и текст задачи, и скормить решалке.
Картинки она парсит плохо. просит помочь распознать буквы вручную, решалка сама по себе отдаёт internal server error.
Надо будет поиграться через пару дней
Система ИИ сдаёт экзамен по геометрии