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

SignalAdvertise
DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Omnigraph
Omnigraph
Busbar
Busbar
Bifrost
Bifrost
Websitebench
Websitebench

yang-mills-group/YM

Visit GitHub
Lean
35
1
1 contributors
Apache License 2.0
FeaturedAdvertise to 180K+ monthly visitors
Omnigraph

Versioned graph database on object storage. Git-style workflows and multimodal retrieval

Busbar

Control what AI can do before it acts

Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Websitebench

Can AI agents reverse-engineer real websites?

Momentum

How fast yang-mills-group/YM 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

Nov 10 – Nov 11, 2026

Stars +31 in 2 days

02040
31

Forks +0 in 2 days

01

Merged PRs 0 in 2 days

01

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

Not in the Trendshift top 25 in this period

Nov 10Nov 11
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 PRs
Tue, Nov 10, 2026+0+00
Wed, Nov 11, 2026+31+00
Total+31+00
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Social mentions

Recent discussions about this repository across the web
  1. Nov 115 posts

    • The Lean proof of existence for pure 4D Yang–Mills theory is out! This is the kind of math behind the strong force that holds atomic nuclei together. AI-generated, building on decades of work, and…

      Read full on X, posted by @JoeBeOne

      @JoeBeOne · x.com

    • okay this is actually huge. openai has just proved the existence of a 4d quantum yang–mills theory, something physicists have struggled to rigorously establish for decades. a committee led by nobel…

      Read full on X, posted by @fanofaliens

      @fanofaliens · x.com

    • Delighted that the @KITP_UCSB group led by David Gross released the Lean formalization of our Yang--Mills existence proof!

      Read full on X, posted by @danintheory

      @danintheory · x.com

    • Independent validation is out: a Yang–Mills group incl. Arthur Jaffe says OpenAI's Lean proof constructs 4D pure Yang–Mills as a Wightman QFT from Wilson lattice gauge theory. Clean rebuild + axiom…

      Read full on X, posted by @qqcmqyl666

      @qqcmqyl666 · x.com

    • YM – Pure Yang–Mills results and verification

      Read full on Hacker News

      Hacker News

  2. Nov 101 post

    • The committee says it checked the part that usually goes wrong: whether the computer-checked statements match the definitions physicists actually use. That's the whole game with AI proofs. Committee…

      Read full on X, posted by @TOE_Share

      @TOE_Share · x.com