Jev играет в «Сапёра» — но не решает математику
Точный алгоритм обрабатывает логически доказуемые клетки. Когда без догадки не обойтись, Jev оценивает риск; режимы позволяют увидеть разницу.
Что это решает
В этом «Сапёре» математически доказуемые ходы делает обычный алгоритм. Jev подключается тогда, когда поле заставляет угадывать. Интерфейс позволяет переключить стратегии и сравнить их на одной и той же расстановке мин.
Сравнить ходы Jev с точным решателем на одном поле
Что решает код, а что модель
Программа создаёт поле, отслеживает клики и использует распространение ограничений и точный расчёт вероятности клеток. Если клетка доказуемо безопасна, угадывать не нужно. В режиме Jev as advisor модель спрашивают только о действительно неоднозначных клетках.
Режим Jev in charge специально отдаёт модели каждый выбор — даже там, где логика уже знает ответ. Он полезен как демонстрация границы: семантическая модель не становится точным решателем головоломки только потому, что умеет вернуть вероятность.
Почему это честный контрпример к рекламе AI
Автор сравнил ответы модели с точным решателем на пробных позициях. Явные ограничения клетки улучшали оценки, но модель всё равно иногда считала доказуемо безопасную клетку самой рискованной. Поэтому основной режим использует проверяемую математику для точных частей задачи.
Зелёная и красная подсветка отделяет доказанные выводы от предположений, а seed поля позволяет воспроизвести одинаковую игру для сравнения стратегий.
Как читать результаты
Статистика в интерфейсе относится к сыгранным партиям данного запуска, а не к универсальной точности Jev. Сравнивать режимы имеет смысл на одинаковом seed и сложности, учитывая, что случайные догадки могут решать исход партии.
Как попробовать самому
- 01Установить зависимости через
pnpm install, добавить ключ TypeSafe в.envи запустить приложение по README. - 02Выбрать seed и сыграть одну партию в режиме советника.
- 03Повторить тот же seed в режиме полного контроля Jev и сравнить, в каких клетках алгоритм имел доказательство.
Ограничение этого проекта
Вероятность модели не заменяет точное решение системы ограничений; в проекте это показано экспериментально.