# anthropics/fermats-last-theorem

> Полное машинно-проверенное доказательство Великой теоремы Ферма на Lean 4, основанное на Mathlib и повторяющее аргумент Фрея, Серра, Рибета и Уайлса. Исследовательский артефакт, не поддерживается и не принимает вклад.

- Магнитуда: 0,6 из 10 — Тихо
- Звёзды: 1 270 всего · Недостаточно замеров за сегодня
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Наука и исследования · Язык: Lean · Лицензия: Apache-2.0 · Создан: 2026-09-04 · Последний коммит: 2026-09-24
- GitHub: https://github.com/anthropics/fermats-last-theorem · Страница: https://gitnova.dev/r/anthropics/fermats-last-theorem

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

- Собрать доказательство локально с помощью lake build для проверки утверждения.
- Запустить скрипты verification/comparator/run.sh и verification/nanoda/run.sh для независимой проверки.
- Просмотреть доказательство в браузере офлайн через html/ страницы.

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

- Для сегодняшнего дня UTC пока недостаточно свежих замеров счётчика. Прирост неизвестен.
- Репозиторию 40 дней, а у него уже 1 270 звёзд.

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

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

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

## Цифры

- Форков: 110
- Issues и pull requests: 10
- Наблюдателей: 14
- В среднем за неделю: 2 в день
- Обычный темп: 8 в день

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

2026-09-30 … 2026-10-29: 3, 4, 4, 0, 3, 2, 0, 4, 5, 2, 1, 0, 4, 2, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None

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

10-01 1,0, 10-02 1,0, 10-03 1,0, 10-04 0,8, 10-05 1,0, 10-06 0,8, 10-07 0,9, 10-08 1,2, 10-09 1,1, 10-10 0,8, 10-11 0,5, 10-12 0,4, 10-13 1,2, 10-14 0,6

---

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