AxiomMath/ZetaZeros — GitHub trending stats & insights | Trendshift

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

What they build speaks louder than words

© 2026 Trendshift, created by Julian Li with ❤️

Signal Advertise

Signal Advertise

Discover trends that matter

Daily Weekly Monthly Yearly

Live mentions Topics

Repositories Developers

AxiomMath/ZetaZeros — GitHub trending stats & insights | Trendshift

AxiomMath/ZetaZeros

Lean

34

11

1 contributors

Apache License 2.0

Social mentions

Recent discussions about this repository across the web

3/ Youness gave us a sneak peek at his preprint. In hours, AxiomProver autoformalized it in Lean, providing machine-checked verification along the paper from day one. We believe formal verification…

@axiommathai · x.com

My colleague Youness Lamzouri has just produced a simpler (human) proof digestion of Claude's argument for 2/3 zeta zeros:

@jdlichtman · x.com

Repository activities

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Featured

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

180K+ monthly visitors

Want to advertise your product to high-intent tech audiences at a simple, flat rate?

Advertise on Trendshift