Submit repository
Discover trends that matter
Trending repositories
Daily
Weekly
Monthly
Yearly
Live mentions
Topics
GitHub trending
Repositories
Developers
Insights
Stats
google-deepmind/alphaproof-nexus-results — GitHub trending stats & insights | Trendshift
Featured
Bindu
Openhuman
google-deepmind/alphaproof-nexus-results
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
Visit GitHub
Lean
30
4
2 contributors
Apache License 2.0
Social mentions
Recent discussions about this repository across the web
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,…
@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…
@VaibhavSisinty · x.com
No trending activity
This repository has not yet been featured on GitHub Trending
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues
Data is not available yet
Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available