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
Busbar
Busbar

google-deepmind/alphaproof-nexus-results

Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

Visit GitHub
Lean
322
32
2 contributors
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

Busbar

Control what AI can do before it acts

Momentum

How fast google-deepmind/alphaproof-nexus-results 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

Aug 20 – Oct 18, 2026

Stars +37 in 60 days

0510
7

Forks +7 in 60 days

01
1

Merged PRs 0 in 60 days

01

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

Top 25 in Lean

2217221821112111189633
Aug 20Aug 28Sep 5Sep 13Sep 21Sep 29Oct 7Oct 15
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 PRsLean
Thu, Aug 20, 2026+0+10Not trending
Fri, Aug 21, 2026+1+00Not trending
Sat, Aug 22, 2026+0+00Not trending
Sun, Aug 23, 2026+1+00#22
Mon, Aug 24, 2026+1+00#17
Tue, Aug 25, 2026+1+00#22
Wed, Aug 26, 2026+1+00Not trending
Thu, Aug 27, 2026+0+00Not trending
Fri, Aug 28, 2026+0+00Not trending
Sat, Aug 29, 2026+0+00Not trending
Sun, Aug 30, 2026+0+00Not trending
Mon, Aug 31, 2026+0+00Not trending
Tue, Sep 1, 2026+0+00Not trending
Wed, Sep 2, 2026+0+00Not trending
Thu, Sep 3, 2026+0+00Not trending
Fri, Sep 4, 2026+0+00Not trending
Sat, Sep 5, 2026+0+00Not trending
Sun, Sep 6, 2026+1+00Not trending
Mon, Sep 7, 2026+1+00#18
Tue, Sep 8, 2026+1+00#21
Wed, Sep 9, 2026+0+00Not trending
Thu, Sep 10, 2026+0+00Not trending
Fri, Sep 11, 2026+0+00Not trending
Sat, Sep 12, 2026+0+00Not trending
Sun, Sep 13, 2026+0+00Not trending
Mon, Sep 14, 2026+2+10#11
Tue, Sep 15, 2026+1+00#21
Wed, Sep 16, 2026+1+10#11
Thu, Sep 17, 2026+0+00Not trending
Fri, Sep 18, 2026+0+10Not trending
Sat, Sep 19, 2026+0+10Not trending
Sun, Sep 20, 2026+1+00Not trending
Mon, Sep 21, 2026+0+10Not trending
Tue, Sep 22, 2026+0+00Not trending
Wed, Sep 23, 2026+0+00Not trending
Thu, Sep 24, 2026+0+00Not trending
Fri, Sep 25, 2026+0+00Not trending
Sat, Sep 26, 2026+0+00Not trending
Sun, Sep 27, 2026+0+00Not trending
Mon, Sep 28, 2026+0+00Not trending
Tue, Sep 29, 2026+0+00Not trending
Wed, Sep 30, 2026+0+00Not trending
Thu, Oct 1, 2026+1+00Not trending
Fri, Oct 2, 2026+1+00#18
Sat, Oct 3, 2026+0+00Not trending
Sun, Oct 4, 2026+0+00Not trending
Mon, Oct 5, 2026+0+00Not trending
Tue, Oct 6, 2026+0+00Not trending
Wed, Oct 7, 2026+1+00Not trending
Thu, Oct 8, 2026+0+00Not trending
Fri, Oct 9, 2026+4+00#9
Sat, Oct 10, 2026+4+00#6
Sun, Oct 11, 2026+1+00Not trending
Mon, Oct 12, 2026+4+10#3
Tue, Oct 13, 2026+7+00#3
Wed, Oct 14, 2026+0+00Not trending
Thu, Oct 15, 2026+1+00Not trending
Fri, Oct 16, 2026+0+00Not trending
Sat, Oct 17, 2026+0+00Not trending
Sun, Oct 18, 2026+0+00Not trending
Total+37+70
  • 1#1 on the list
  • 7Rank that day
  • Not trending

    • Mentions and achievements

    Where people are talking about google-deepmind/alphaproof-nexus-results, and every badge it has earned
    1. Oct 133 posts

      • AI 结论复核｜AlphaProof Nexus 的「9 个 Erdős 问题」是 7 个题号下的 9 个 Lean 文件：#12、#741 各分两部分，部分为变体。OEIS 目录有 38 个目标定理，与论文所报 44 个猜想的对应未核实。未运行 Lean 编译。

        Read full on X, posted by @empac2058569834

        @empac2058569834 · x.com

      • AI conclusion recheck: AlphaProof Nexus's "9 Erdős problems" are 9 Lean files across 7 problem IDs; #12 and #741 each have two parts, and some are variants. OEIS folder: 38 target theorems vs 44…

        Read full on X, posted by @empac2058569834

        @empac2058569834 · x.com

      • DeepMind's AlphaProof Nexus is now peer-reviewed in Science: 9 of 353 open Erdős problems solved, two of them open for 56 years, plus 44 of 492 OEIS conjectures. Lean checked every step. So I built a…

        Read full on X, posted by @neuralloot

        @neuralloot · x.com

    2. Oct 122 posts

      • Example (made up): Kofi grades "AI did math" headlines. OpenAI Oct dump: manuscripts first. Lean may be missing, and does not prove the English title matches the formal statement. Nexus: Lean + sorry…

        Read full on X, posted by @Hislordship_9

        @Hislordship_9 · x.com

      • Two questions dating back to 1970 now have AI-generated proofs, according to DeepMind’s AlphaProof Nexus research. The team reports 9 results on Erdős-related questions and 44 proofs about number…

        Read full on X, posted by @Milo_AIx

        @Milo_AIx · x.com

    3. 5 months earlier
    4. May 262 posts

      • 56 years open. An agent loop solved it. DeepMind AlphaProof: propose, Lean rejects, repeat. 9 Erdős problems. "simple agent loops with compiler feedback can rival more sophisticated systems" The…

        Read full on X, posted by @agentxagi

        @agentxagi · x.com

      • Two companies. Same week. Same mathematician's legacy. Both verified by independent experts. 7 months ago, "AI solving math" was a punchline after OpenAI's embarrassment. Now we're watching AI…

        Read full on X, posted by @alex_prompter

        @alex_prompter · x.com

    5. May 252 posts

      • DeepMind quietly published AlphaProof Nexus outputs. Useful loop: LLM proposes proof -> Lean verifies each step -> humans review final result. Pattern for high-stakes AI work: generate, verify,…

        Read full on X, posted by @liamjohnston_ai

        @liamjohnston_ai · x.com

      • Google DeepMind just open-sourced the AI system they used to solve math problems mathematicians could not crack for 56 years. It's called AlphaProof Nexus. It runs a language model and a formal proof…

        Read full on X, posted by @VaibhavSisinty

        @VaibhavSisinty · x.com

    You might also like

    Repositories close to google-deepmind/alphaproof-nexus-results
    FeaturedAdvertise to 180K+ monthly visitors
    Busbar

    Control what AI can do before it acts

    Bifrost

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

    openai/math

    Lean
    15.1k1.8k

    cameronfreer/lean4-skills

    Python

    Lean 4 theorem proving skill and workflow pack for AI coding agents

    46447

    anthropics/formal-math

    Lean
    30369

    facebookresearch/atlas-lean

    Lean

    ATLAS Autoformalized Textbook Library At Scale

    31243

    lean-dojo/LeanCopilot

    C++

    LLMs as Copilots for Theorem Proving in Lean

    1.3k132

    google-deepmind/formal-conjectures

    Lean

    A collection of formalized statements of conjectures in Lean.

    1.3k555

    math-ai-org/mathcode

    Shell

    MathCode: A Frontier Mathematical Coding Agent

    74671

    stepchowfun/proofs

    Rocq Prover

    My personal repository of formally verified mathematics.

    31415

    dwrensha/compfiles

    Lean

    Catalog Of Math Problems Formalized In Lean

    25670