# openai/NavierStokesAndEuler

> Формализации на Lean 4 результатов о конечном времени разрушения решений уравнений Навье–Стокса и Эйлера, включая сертификаты для задач тысячелетия. Нужен математикам и специалистам по формальным доказательствам.

- Магнитуда: 0,8 из 10 — Ровно
- Звёзды: 2 102 всего · +3 звезды по замерам 2026-10-17, 00:25–23:43 UTC
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Наука и исследования · Язык: Lean · Лицензия: Apache-2.0 · Создан: 2026-09-08 · Последний коммит: 2026-09-10
- GitHub: https://github.com/openai/NavierStokesAndEuler · Страница: https://gitnova.dev/r/openai/NavierStokesAndEuler

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

- Проверить формальные доказательства результатов о разрушении решений уравнений Навье–Стокса
- Собрать проект с Mathlib через lake build для независимой проверки сертификатов
- Изучить формализацию сингулярности решений уравнений Эйлера на Lean 4

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

- По замерам счётчика за 2026-10-17 (UTC), 00:25–23:43: 2099 → 2102 звёзд (+3). Это прирост за указанный интервал.
- Репозиторию 39 дней, а у него уже 2 102 звезды.

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

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

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

## Цифры

- Форков: 221
- Issues и pull requests: 0
- Наблюдателей: 55
- В среднем за неделю: 4 в день
- Обычный темп: 15 в день

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

2026-09-30 … 2026-10-29: 6, 3, 6, 2, 5, 3, 9, 15, 17, 8, 3, 5, 3, 4, 5, 7, 3, 3, None, None, None, None, None, None, None, None, None, None, None, None

## Магнитуда по дням за 14 дней

10-04 0,8, 10-05 1,1, 10-06 1,0, 10-07 1,8, 10-08 1,9, 10-09 2,0, 10-10 1,4, 10-11 1,0, 10-12 1,2, 10-13 0,9, 10-14 1,2, 10-15 1,2, 10-16 1,2, 10-17 0,9

---

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