GitNova

Сейсмограф GitHub — находки и рост интереса

openai/math

Наука и исследованияLean
Всего звёзд
9 604
Сегодня · UTC
+219с 00:01 UTC
Открыть на GitHub Мои находки →
Другие действия
Открыть на GitNova

Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.

О проекте

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

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

Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях.

9,8 Взлёт Магнитуда из 10 — скорость роста интереса, а не оценка качества.

Рост звёзд выглядит естественно. Данные на 8 октября 2026, 01:38 UTC.

Оценка роста звёзд не подтверждает безопасность запуска.

Звёзды по дням

03 0006 0004 октября 20268 октября 2026

Столбики — звёзды за день; линия — скользящее среднее доступной истории. При короткой истории оно ещё не задаёт надёжный обычный темп. Красным — дни всплесков.

Почему он в тренде

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

Три GitHub-находки в каждом выпуске

Что делают, почему набирают интерес и что проверить перед использованием.

Выпуски в 10:00, 16:00, 22:00 МСК.

Получать находки в TelegramЧитать находки дня
Поделиться в X Telegram

Цифры

Всего звёзд
9 604
Сегодня
+219 звёзд по замерам 2026-10-08, 00:01–01:26 UTC, к вечеру ≈ 4 440
Форков
938
Issues и pull requests
0
Наблюдателей
179
Язык
Lean
Лицензия
Apache-2.0
Создан
6 октября 2026
Последний коммит
6 октября 2026

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

Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.

Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.

Обсуждения на Hacker News
Где замечен
Бейдж для README

Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.

GitNova: 9,8 
[![GitNova](https://gitnova.dev/badge/openai/math.svg)](https://gitnova.dev/r/openai/math)