# Simreal-AI/MathmoBench

> MathmoBench — открытый бенчмарк для оценки комбинаторного мышления ИИ: модели нужно вернуть машинно-проверяемое доказательство (свидетеля или сертификат невозможности), а оценка идёт детерминированным верификатором без LLM-судьи.

- Магнитуда: 2,2 из 10 — Ранний сигнал
- Звёзды: 80 всего · +0 звёзд сегодня, к вечеру ≈ 16
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Языковые модели · Язык: Python · Лицензия: Apache-2.0 · Создан: 2026-09-23 · Последний коммит: 2026-09-24
- GitHub: https://github.com/Simreal-AI/MathmoBench · Сайт: https://simreal.co · Страница: https://gitnova.dev/r/Simreal-AI/MathmoBench

## Чем пригодится

- Прогнать verify.py --run-tests, чтобы проверить целостность репозитория и работу верификаторов.
- Сгенерировать dev-семейство задач matching и оценить на нём формат submission.jsonl.
- Собрать пайплайн: экспорт agent-view, ответ модели, детерминированное скоринг-решение с хеш-квитанцией.

## Почему он здесь

- Сегодня уже 0 звёзд, к концу дня ожидается около 16.
- Всплеск держится 3 дня подряд — это не случайный выброс.
- Репозиторию 4 дня, а у него уже 80 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #168.

## Доверие к звёздам

Рост звёзд выглядит естественно.

Метки доверия к звёздам — эвристики по поведению репозитория, а не проверка каждого, кто поставил звезду.

## Цифры

- Форков: 5
- Issues и pull requests: 0
- Наблюдателей: 6
- В среднем за неделю: 19 в день
- Обычный темп: мало истории (меньше двух недель)
- Звёзд за последний час (по замерам): 1

## Звёзды по дням за 8 дней (от старых к новым, сегодня — неполный день)

2026-09-20 … 2026-09-27: 0, 0, 0, 12, 27, 23, 18, 0

## Где замечен сейчас

- Топ новых репозиториев за неделю: #168

## Ещё в этой категории

1. **ollaya-dev/ollaya** — 7,0 · Ранний сигнал · Языковые модели · Rust · +0 звёзд сегодня, к вечеру ≈ 162
   Локальный рантайм для decision-моделей: скачивает и обслуживает модели классификации и маршрутизации через API, совместимый с TypeSafe. Аналог Ollama, но для моделей, возвращающих вероятности, а не текст.
   Полная карточка: https://gitnova.dev/r/ollaya-dev/ollaya.md
2. **NVIDIA/Model-Optimizer** — 5,9 · Взлёт · Языковые модели · Python · +0 звёзд сегодня, к вечеру ≈ 190
   Библиотека NVIDIA для сжатия и ускорения моделей: квантизация, прунинг, дистилляция, NAS и speculative decoding с экспортом в TensorRT-LLM, vLLM, SGLang. Для ML-инженеров, готовящих модели к деплою.
   Полная карточка: https://gitnova.dev/r/NVIDIA/Model-Optimizer.md
3. **Niko1221/Strata** — 5,6 · Ранний сигнал · Языковые модели · C++ · +0 звёзд сегодня, к вечеру ≈ 126
   Локальный движок инференса на C++, запускающий 125B MoE-модель Qwen3.8-Flash-Next на обычном ПК с одной NVIDIA GPU (12–24 ГБ) и 64 ГБ RAM, с OpenAI/Anthropic-совместимым API на localhost.
   Полная карточка: https://gitnova.dev/r/Niko1221/Strata.md
4. **Rizzo-AI-Academy/rizzo-flow** — 4,5 · Ранний сигнал · Языковые модели · Python · +0 звёзд сегодня, к вечеру ≈ 100
   Локальная реализация идеи Jev: LLM возвращает типизированные решения (boolean, choice, score, numeric) с вероятностями за один forward pass, без генерации токенов. Совместим с HTTP-интерфейсом TypeSafe API.
   Полная карточка: https://gitnova.dev/r/Rizzo-AI-Academy/rizzo-flow.md
5. **tensorflow/tensorflow** — 4,3 · Взлёт · Языковые модели · C++ · +0 звёзд сегодня, к вечеру ≈ 125
   Открытая платформа машинного обучения от Google Brain с API на Python и C++ для обучения и развёртывания нейросетей. Используется исследователями и разработчиками ML-приложений.
   Полная карточка: https://gitnova.dev/r/tensorflow/tensorflow.md

---

Магнитуда (0–10) — насколько быстро и необычно сейчас растёт интерес к репозиторию. Это не оценка качества.
Дни — по UTC. «Уже сегодня» — факт, «к вечеру ≈» — прогноз.
Описания и сценарии пишет модель (DeepSeek V4.1 Flash) по README, в деталях возможны ошибки: конкретные утверждения (замеры, скорость, железо) проверяйте в самом репозитории.
Данные на 2026-09-27 01:40 UTC, обновление каждые 30 минут.