google-deepmind/alphaproof-nexus-results

Worth a look(Moderate relevance: go)

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

Why this repo matters

Demonstrates AI-generated formal mathematical proofs.
Offers natural language explanations alongside formal proofs.
Showcases advancements in automated theorem proving.

Key Metrics

Stars: 294
Forks: 24
Open Issues: 1
Stars (7d delta): 0
Stars (30d delta): 3

Scores & Metadata

Trend Velocity Score: 0.00
Opportunity Score: 35.00
Confidence Score: 100.00
Language: Lean
License: Apache-2.0
First Seen: 4 months ago

Star History

294 stars+143 over 50 snapshots6/1/2026 – 9/11/2026

Links & Sources

Related Repositories

codecrafters-io/build-your-own-x

547.5kMarkdown

freeCodeCamp/freeCodeCamp

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

456.9kTypeScript

affaan-m/ECC

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

269kJavaScript

multica-ai/andrej-karpathy-skills

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

217.5k