# openai/math

> Коллекция математических рукописей и Lean-формализаций, созданных внутренней моделью OpenAI при решении открытых исследовательских задач. Предназначена для математиков и исследователей, изучающих результаты и проверяющих доказательства.

- Магнитуда: 9,8 из 10 — Взлёт
- Звёзды: 9 712 всего · +327 звёзд по замерам 2026-10-08, 00:01–02:08 UTC, к вечеру ≈ 4 486
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Наука и исследования · Язык: Lean · Лицензия: Apache-2.0 · Создан: 2026-10-06 · Последний коммит: 2026-10-06
- GitHub: https://github.com/openai/math · Страница: https://gitnova.dev/r/openai/math

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

- Изучить каталог из 722 рукописей по разным математическим дисциплинам
- Проверить Lean-формализации доказательств с помощью Comparator
- Найти рукописи по конкретной теме через карту рукописей

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

- По замерам счётчика за 2026-10-08 (UTC), 00:01–02:08: 9385 → 9712 звёзд (+327). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +4 486 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 2 дня, а у него уже 9 712 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #1.
- Топ новых репозиториев за месяц: #6.
- Hacker News: «Integer multiplication below n log n» — 109 очков, 1 день назад.
- Около 280 форков в сутки — код забирают себе.

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

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

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

## Цифры

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

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

2026-10-04 … 2026-10-08: 0, 0, 5006, 4742, 327

## Магнитуда по дням за 3 дня

10-06 8,1, 10-07 10,0, 10-08 9,8

## Hacker News

- Integer multiplication below n log n — 109 очков, 76 комментариев: https://news.ycombinator.com/item?id=49985524
- Mathematical manuscripts and supporting proof artifacts produced by OpenAI — 45 очков, 0 комментариев: https://news.ycombinator.com/item?id=49984976
- OpenAI just dropped 700 preprints of mathematical proofs and counterexamples — 42 очков, 2 комментариев: https://news.ycombinator.com/item?id=49985740
- OpenAI releases 722 math manuscripts — 10 очков, 1 комментариев: https://news.ycombinator.com/item?id=49985787

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

- Топ новых репозиториев за неделю: #1
- Топ новых репозиториев за месяц: #6
- Топ новых репозиториев за 4 месяца: #43
- Замечен на Hacker News

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

1. **OpenCourant/OpenCourant** — 3,7 · Ранний сигнал · Наука и исследования · Fortran · +1 звезда по замерам 2026-10-08, 00:02–02:09 UTC, к вечеру ≈ 26
   Открытая кодовая база конечно-элементного решателя Radioss для расчёта сильно нелинейных задач под динамическими нагрузками; форк OpenRadioss для сообщества исследователей и инженеров.
   Полная карточка: https://gitnova.dev/r/OpenCourant/OpenCourant.md
2. **google-deepmind/alphaprotein-novo** — 3,6 · Ранний сигнал · Наука и исследования · Python · +3 звезды по замерам 2026-10-08, 00:02–02:09 UTC, к вечеру ≈ 38
   Генеративный диффузионный пайплайн для de novo дизайна ферментов через скаффолдинг структурных мотивов: совместно порождает структуры и последовательности белков по каталитическому мотиву и лиганду, с опциональным редизайном LigandMPNN,…
   Полная карточка: https://gitnova.dev/r/google-deepmind/alphaprotein-novo.md
3. **Queuingtheorydotcom/11SquaresFormalized** — 3,4 · Ранний сигнал · Наука и исследования · Lean · +3 звезды по замерам 2026-10-08, 00:04–02:10 UTC, к вечеру ≈ 16
   Формализация на Lean доказательства оптимальности упаковки 11 квадратов, включая точную длину стороны и проверку числовых сертификатов через native_decide.
   Полная карточка: https://gitnova.dev/r/Queuingtheorydotcom/11SquaresFormalized.md
4. **seohongpark/ocbench** — 2,6 · Ранний сигнал · Наука и исследования · Python · +1 звезда по замерам 2026-10-08, 00:03–02:11 UTC, к вечеру ≈ 13
   OCBench — управляемый бенчмарк для роботизированной манипуляции, предназначенный для изучения алгоритмов поведенческого клонирования (BC) и обучения с подкреплением (RL). Предоставляет GPU-ускоренные задачи и скриптовые политики,…
   Полная карточка: https://gitnova.dev/r/seohongpark/ocbench.md
5. **aipoch/open-science** — 2,1 · Ровно · Наука и исследования · TypeScript · +7 звёзд по замерам 2026-10-08, 00:06–02:12 UTC, к вечеру ≈ 37
   Локальное десктопное приложение для научных исследований с AI-агентами: запускает Python/R, подключает научные источники данных и сохраняет происхождение артефактов для воспроизводимости.
   Полная карточка: https://gitnova.dev/r/aipoch/open-science.md

---

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