# anthropics/fermats-last-theorem

> A complete, machine-checked proof of Fermat's Last Theorem in Lean 4, built on Mathlib and following the Frey-Serre-Ribet-Wiles argument. Research artifact, not maintained and not accepting contributions.

- Magnitude: 0.6 out of 10 — Quiet
- Stars: 1,270 total · Not enough measurements today
- Star trust: star growth looks organic
- Category: Science & research · Language: Lean · License: Apache-2.0 · Created: 2026-09-04 · Last push: 2026-09-24
- GitHub: https://github.com/anthropics/fermats-last-theorem · Page: https://gitnova.dev/en/r/anthropics/fermats-last-theorem

## Useful for

- Build the proof locally with lake build to verify the statement.
- Run verification/comparator/run.sh and verification/nanoda/run.sh for independent checking.
- Browse the proof offline in a browser via the html/ pages.

## Why it’s here

- There are not enough fresh counter measurements for today's UTC day. The gain is unknown.
- The repository is 40 days old and already has 1,270 stars.

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 110
- Issues and pull requests: 10
- Watchers: 14
- Average over the last week: 2 per day
- Usual pace: 8 per day

## Stars per day, last 30 days (oldest → newest, today is partial)

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

## Magnitude by day, last 14 days

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

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-10-14 00:06 UTC, updated every 30 minutes.