Queuingtheorydotcom/11SquaresFormalized
- Всего звёзд
- 19
- Сегодня · UTC
- +6с 16:16 UTC
Другие действия
Lean formalization of the optimality proof of the 11 square packing
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Формализация на Lean доказательства оптимальности упаковки 11 квадратов, включая точную длину стороны и проверку числовых сертификатов через native_decide.
Чем пригодится
- Воспроизвести проверку доказательства командой run_verification.sh с закреплённым Lean 4.34.1
- Проверить аксиомы публичных теорем через ElevenSquare/Verification.lean
- Изучить геометрические аргументы и чекеры в ElevenSquare/Tasks и Sqpack
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях.
Рост звёзд выглядит естественно. Данные на 7 октября 2026, 18:14 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день; линия — скользящее среднее доступной истории. При короткой истории оно ещё не задаёт надёжный обычный темп. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-10-07 (UTC), 16:16–18:02: 13 → 19 звёзд (+6). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +8 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 7 дней, а у него уже 19 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Hacker News: «AI-assisted proof of optimal packing for 11 squares» — 72 очка, 4 ч назад.
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 19
- Сегодня
- +6 звёзд по замерам 2026-10-07, 16:16–18:02 UTC, к вечеру ≈ 8
- Форков
- 1
- Issues и pull requests
- 7
- Наблюдателей
- 0
- Язык
- Lean
- Последний релиз
- t03-1465-independent-route-through40-audited-20261002 · 2 октября 2026
- Создан
- 30 сентября 2026
- Последний коммит
- 6 октября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Обсуждения на Hacker News
- AI-assisted proof of optimal packing for 11 squares72 очка, 7 октября 2026
Где замечен
- 7 октября 2026Замечен на Hacker News
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/Queuingtheorydotcom/11SquaresFormalized)