Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost
ClawBench
ClawBench

anthropics/fermats-last-theorem

Visit GitHub
Lean
1.3k
112
0
Apache License 2.0
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

ClawBench

a benchmark for personal agents

Momentum

How fast anthropics/fermats-last-theorem is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Sep 3 – Oct 24, 2026

Stars +1,211 in 52 days

0200400600
422

Forks +112 in 52 days

0102030
30

Merged PRs 1 in 52 days

01
1

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 overall

15

Top 25 in Lean

11114771445124142191756138171012242316121371641819
Sep 3Sep 10Sep 17Sep 24Oct 1Oct 8Oct 15Oct 22
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRsAll languagesLean
Thu, Sep 3, 2026+0+00Not trendingNot trending
Fri, Sep 4, 2026+179+200Not trending#1
Sat, Sep 5, 2026+422+300#15#1
Sun, Sep 6, 2026+159+200Not trending#1
Mon, Sep 7, 2026+95+80Not trending#1
Tue, Sep 8, 2026+41+20Not trending#4
Wed, Sep 9, 2026+22+20Not trending#7
Thu, Sep 10, 2026+13+20Not trending#7
Fri, Sep 11, 2026+94+90Not trending#1
Sat, Sep 12, 2026+21+10Not trending#4
Sun, Sep 13, 2026+13+10Not trending#4
Mon, Sep 14, 2026+14+10Not trending#5
Tue, Sep 15, 2026+19+30Not trending#1
Wed, Sep 16, 2026+10+20Not trending#2
Thu, Sep 17, 2026+7+00Not trending#4
Fri, Sep 18, 2026+6+00Not trending#14
Sat, Sep 19, 2026+2+10Not trending#21
Sun, Sep 20, 2026+5+00Not trending#9
Mon, Sep 21, 2026+5+00Not trending#17
Tue, Sep 22, 2026+7+20Not trending#5
Wed, Sep 23, 2026+2+00Not trendingNot trending
Thu, Sep 24, 2026+7+21Not trending#6
Fri, Sep 25, 2026+0+00Not trendingNot trending
Sat, Sep 26, 2026+2+00Not trendingNot trending
Sun, Sep 27, 2026+4+00Not trending#13
Mon, Sep 28, 2026+6+00Not trending#8
Tue, Sep 29, 2026+3+00Not trending#17
Wed, Sep 30, 2026+2+00Not trendingNot trending
Thu, Oct 1, 2026+4+00Not trending#10
Fri, Oct 2, 2026+3+00Not trending#12
Sat, Oct 3, 2026+1+00Not trendingNot trending
Sun, Oct 4, 2026+2+00Not trending#24
Mon, Oct 5, 2026+2+00Not trending#23
Tue, Oct 6, 2026+0+10Not trendingNot trending
Wed, Oct 7, 2026+3+10Not trending#16
Thu, Oct 8, 2026+5+00Not trending#12
Fri, Oct 9, 2026+1+00Not trendingNot trending
Sat, Oct 10, 2026+3+20Not trending#13
Sun, Oct 11, 2026+0+00Not trendingNot trending
Mon, Oct 12, 2026+1+00Not trendingNot trending
Tue, Oct 13, 2026+5+00Not trending#7
Wed, Oct 14, 2026+1+10Not trendingNot trending
Thu, Oct 15, 2026+3+10Not trending#16
Fri, Oct 16, 2026+6+00Not trending#4
Sat, Oct 17, 2026+3+00Not trending#18
Sun, Oct 18, 2026+0+00Not trendingNot trending
Mon, Oct 19, 2026+2+00Not trending#19
Tue, Oct 20, 2026+1+00Not trendingNot trending
Wed, Oct 21, 2026+0+00Not trendingNot trending
Thu, Oct 22, 2026+0+00Not trendingNot trending
Fri, Oct 23, 2026+4+00Not trendingNot trending
Sat, Oct 24, 2026+1+00Not trendingNot trending
Total+1,211+1121
  • 1#1 on the list
  • 7Rank that day
  • Not trending

    • Mentions and achievements

    Where people are talking about anthropics/fermats-last-theorem, and every badge it has earned
    1. Sep 251 post

      • • Browse all 29,511 proof steps offline • Check every step's exact statement and links • See the proof rests on just three basic assumptions

        Read full on X, posted by @the_osps

        @the_osps · x.com

    2. 18 days earlier
    3. Sep 71 post

      • Anthropic 用 Lean 定理证明器形式化证明了费马大定理，把数学界 350 年的难题搬进机器可验证体系，形式化数学的里程碑级项目。

        Read full on X, posted by @QingQ77

        @QingQ77 · x.com

    4. Sep 63 posts

      • Claude did not solve Fermat’s Last Theorem. Andrew Wiles did that in 1995. What Anthropic just did is different. Claude turned the full proof into 13 million lines of Lean that a computer can check…

        Read full on X, posted by @exywuu

        @exywuu · x.com

      • 真正值得盯住的，不是模型又答对一道题，而是 Agent 开始交付可逐层复核的研究产物。 这是费马大定理在 Lean 4 中的完整机器检查证明：AI agents 基于人类开源成果构建源码，由 Lean 内核裁决。全部模块仅依赖 Lean 的3个标准公理、无 sorry，并经 comparator 和独立 Rust 内核 nanoda 复核。复现成本很高，但它展示了 Agent…

        Read full on X, posted by @vintcessun

        @vintcessun · x.com

      • Apache 2.0, research artifact, not accepting contributions, 704 stars since Friday. You can browse the whole proof as static HTML, offline, with dependency graphs for every theorem.

        Read full on X, posted by @mrru5s3ll

        @mrru5s3ll · x.com

    5. Sep 54 posts

      • ai can now write more mathematics than a human can realistically inspect line by line anthropic just released a ~13 million-line formalization of Fermat's Last Theorem, produced in about 11 days so…

        Read full on X, posted by @ok1mraise

        @ok1mraise · x.com

      • Claude 完成了费马大定理的第一个形式化证明，这是有史以来编写的最长的 Lean 证明。证明总共超过 1300 万行代码，提供了机器验证。同时证明了该证明所需的超过 29,000 个其他定理，这些定理跨越了许多从未被形式化的数学领域。 证明的Github：

        Read full on X, posted by @Gorden_Sun

        @Gorden_Sun · x.com

      • Claude just formalized Fermat's Last Theorem, and it's the largest Lean proof ever written. 13 million lines of Lean code. 29,000 theorems nobody had ever formalized before. Claude did that in a…

        Read full on X, posted by @eyishazyer

        @eyishazyer · x.com

      • 费马大定理，悬了350多年，人类1995年才证明，光核验就折腾两年。昨天Anthropic宣布：Claude用11天，把整条证明翻译成1300万行代码，电脑逐行验证，全部通过。数学证明，第一次能像软件一样自动测试。

        Read full on X, posted by @dogquie

        @dogquie · x.com

    6. Sep 41 post

      • They say "Langlands-Tunnell. Proved: the octahedral case with explicit lift, for surjective ρ̄₃ with cyclotomic det, delivered as a weight-one form and then as weight-2 residual modularity with level…

        Read full on X, posted by @RiccardoBrasca

        @RiccardoBrasca · x.com

    You might also like

    Repositories close to anthropics/fermats-last-theorem
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

    ClawBench

    a benchmark for personal agents

    ImperialCollegeLondon/FLT

    Lean

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem

    1.1k169

    leanprover-community/flt-regular

    Lean

    Fermat's Last Theorem for regular primes

    727

    anthropics/formal-math

    Lean
    30869

    openai/ten-proofs

    Lean

    Lean certificates accompanying ten proofs in mathematics and theoretical computer science

    21630

    leanprover-community/lean-liquid

    Lean

    💧 Liquid Tensor Experiment

    25522

    stepchowfun/proofs

    Rocq Prover

    My personal repository of formally verified mathematics.

    31515

    openai/math

    Lean
    15.5k1.8k

    mo271/FormalBook

    Lean

    Formalizing "Proofs from THE BOOK"

    9834

    lean-dojo/LeanMillenniumPrizeProblems

    Lean

    Formalization of the Millennium Problems in Lean 4

    7120