# jeff87654/busy-beaver

> Коллекция результатов по задаче о занятом бобре (busy beaver) с машинно-проверенными доказательствами на Coq: рекордные машины BB(8), BB(10), BB(12) и 335-состояний машина, останавливающаяся тогда и только тогда, когда ZFC противоречива.

- Магнитуда: 1,5 из 10 — Тихо
- Звёзды: 3 всего · +1 звезда по замерам 2026-10-13, 15:55–18:35 UTC, к вечеру ≈ 1
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Наука и исследования · Язык: Rocq Prover · Создан: 2026-10-04 · Последний коммит: 2026-10-12
- GitHub: https://github.com/jeff87654/busy-beaver · Страница: https://gitnova.dev/r/jeff87654/busy-beaver

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

- Проверить доказательство остановки и точного счёта машины BB(10) в Coq
- Запустить независимый симулятор для перепроверки правил анализа BB(10)
- Изучить связь машины на 335 состояний с непротиворечивостью ZFC

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

- По замерам счётчика за 2026-10-13 (UTC), 15:55–18:35: 2 → 3 звёзд (+1). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +1 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 9 дней, а у него уже 3 звезды. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Hacker News: «BB(10) > Graham's Number» — 61 очко, 6 ч назад.

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

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

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

## Цифры

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

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

2026-10-04 … 2026-10-13: 0, 0, 0, 0, 0, 0, 0, 0, 0, 1

## Hacker News

- BB(10) > Graham's Number — 61 очков, 38 комментариев: https://news.ycombinator.com/item?id=50070741

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

- Замечен на Hacker News

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

1. **chrislgarry/Apollo-11** — 6,3 · Взлёт · Наука и исследования · Assembly · +258 звёзд по замерам 2026-10-13, 00:01–18:24 UTC, к вечеру ≈ 333
   Оцифрованный исходный код бортового компьютера Apollo 11 (AGC) на ассемблере для командного и лунного модулей, собранный по сканам MIT Museum.
   Полная карточка: https://gitnova.dev/r/chrislgarry/Apollo-11.md
2. **openai/math** — 5,6 · Остывает · Наука и исследования · Lean · +219 звёзд по замерам 2026-10-13, 00:01–18:24 UTC, к вечеру ≈ 283
   Коллекция математических рукописей и Lean-формализаций, созданных внутренней моделью OpenAI при решении открытых исследовательских задач. Предназначена для математиков и исследователей, изучающих результаты и проверяющих доказательства.
   Полная карточка: https://gitnova.dev/r/openai/math.md
3. **CrocSwap/integer-mult-bounds** — 4,4 · Ранний сигнал · Наука и исследования · Python · +37 звёзд по замерам 2026-10-13, 00:05–18:26 UTC, к вечеру ≈ 47
   Исследовательский репозиторий с community-доказательствами улучшенной асимптотической оценки для умножения целых чисел (κ > 2^-15), включая сертификаты, Lean-проверки и воспроизводимые аудиты.
   Полная карточка: https://gitnova.dev/r/CrocSwap/integer-mult-bounds.md
4. **google-deepmind/mujoco** — 2,5 · Ровно · Наука и исследования · C++ · +20 звёзд по замерам 2026-10-13, 00:05–18:31 UTC, к вечеру ≈ 26
   Универсальный физический движок для симуляции сочленённых структур с контактами, применяемый в робототехнике, биомеханике, графике и обучении с подкреплением. Поддерживает C API, Python-биндинги, GUI и плагин для Unity.
   Полная карточка: https://gitnova.dev/r/google-deepmind/mujoco.md
5. **Robbyant/lingbot-map** — 2,3 · На пике · Наука и исследования · Python · +27 звёзд по замерам 2026-10-13, 00:05–18:31 UTC, к вечеру ≈ 35
   Feed-forward 3D-модель для потоковой реконструкции сцены по видео: Geometric Context Transformer объединяет координатную привязку, плотные геометрические подсказки и коррекцию дрейфа в одном потоковом фреймворке.
   Полная карточка: https://gitnova.dev/r/Robbyant/lingbot-map.md

---

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