AI-АНАЛИТИК
AI-СИМУЛЯТОР УПРАВЛЕНИЯ ГОРОДОМ · АСТАНА
Аким на 5 часов
Пять решений. 100 единиц бюджета. Пять районов, которые ждут разного.
Оптимизатор предложит 5 стратегий — наборов из 5 мероприятий с разными приоритетами. Выберите одну или соберите свою из 14 мер: модель пересчитает показатели районов, AI-аналитик объяснит сильные стороны и риски.
Выбрать стратегию ↗Одинаково для всех команд; остаток — резерв
Синтетический датасет, шкала 0–100
С лагом запуска, синергиями и конфликтами
Оптимизатор проверяет каждый
ОТПРАВНАЯ ТОЧКА
Город до ваших решений
Все показатели синтетические: 0–100, больше — лучше. Красная метка — критическое значение ниже 40 (штраф −1 к Score).
ВАШ ХОД
Выберите стратегию
Оптимизатор перебирает все допустимые наборы из 5 мероприятий и подбирает 5 стратегий с разными приоритетами.
Подбираем стратегии…
Расчёт детерминирован и проверен формально: одинаковые решения всегда дают одинаковый Score.
ASTANA QUALITY OF LIFE SCORE
Вклад каждого решения в Score
Значение Шепли: сумма вкладов в точности равна приросту Score
Показатели районов
Светлая часть полосы — прирост после решений; красная метка — ниже 40
ОПТИМИЗАТОР
Как улучшить сценарий
Стресс-тест: неожиданные городские события
Ликвидация оплачивается из резерва. Не хватает — придётся перераспределить бюджет
СРАВНЕНИЕ КОМАНД
Таблица сценариев
Все стартуют с одинакового бюджета и данных. Сохраните свой результат и добавьте сценарии других команд по коду или ссылке.
ДЛЯ ЗАЩИТЫ
Краткая презентация решения
Пять слайдов по вашему сценарию: решения, результат, районы, анализ, рекомендации. Печать в PDF — из окна предпросмотра.
Метод: детерминированная модель по формулам ТЗ, точный перебор всех допустимых наборов в Web Worker, значения Шепли, Монте-Карло, стресс-тест. Математика модели ТЗ проверена в Z3 и Lean 4 + Mathlib. LLM только объясняет готовые числа. Формулы и проверки — в README.