openai/NavierStokesAndEuler
- Всего звёзд
- 2 102
- Сегодня
- +3с 00:25 UTC
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Формализации на Lean 4 результатов о конечном времени разрушения решений уравнений Навье–Стокса и Эйлера, включая сертификаты для задач тысячелетия. Нужен математикам и специалистам по формальным доказательствам.
Чем пригодится
- Проверить формальные доказательства результатов о разрушении решений уравнений Навье–Стокса
- Собрать проект с Mathlib через lake build для независимой проверки сертификатов
- Изучить формализацию сингулярности решений уравнений Эйлера на Lean 4
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 17 октября 2026, 23:45 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-10-17 (UTC), 00:25–23:43: 2099 → 2102 звёзд (+3). Это прирост за указанный интервал.
- Репозиторию 39 дней, а у него уже 2 102 звезды.
Замеры роста: последние 7 полных дней
Нет данных за все 7 дней: недельный итог и сравнение не рассчитываются.
Замеры по дням · UTC
- 22 октября 2026
- —
- 23 октября 2026
- —
- 24 октября 2026
- —
- 25 октября 2026
- —
- 26 октября 2026
- —
- 27 октября 2026
- —
- 28 октября 2026
- —
Максимальный измеренный день за последние 30 дней: 17 · 8 октября 2026. Дней с данными: 19.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 17 октября 2026, 23:45 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 2 102
- Сегодня
- +3 звезды по замерам 2026-10-17, 00:25–23:43 UTC
- Форков
- 221
- Issues и pull requests
- 0
- Наблюдателей
- 55
- Язык
- Lean
- Лицензия
- Apache-2.0
- Создан
- 8 сентября 2026
- Последний коммит
- 10 сентября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Где замечен
- 7 октября 2026Топ новых репозиториев за месяц: #47
- 6 октября 2026Топ новых репозиториев за месяц: #43
- 5 октября 2026Топ новых репозиториев за месяц: #41
- 4 октября 2026Топ новых репозиториев за месяц: #43
- 3 октября 2026Топ новых репозиториев за месяц: #43
- 2 октября 2026Топ новых репозиториев за месяц: #43
- 1 октября 2026Топ новых репозиториев за месяц: #42
- 30 сентября 2026Топ новых репозиториев за месяц: #39
- 29 сентября 2026Топ новых репозиториев за месяц: #38
- 28 сентября 2026Топ новых репозиториев за месяц: #36
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/openai/NavierStokesAndEuler)