Open computational mathematics. AI-audited, not peer-reviewed. All code and data open for independent verification.

Zaremba Proof Framework Moved

This finding was renamed because it is a proof framework, not a completed proof. Continue to /findings/zaremba-conjecture-framework/.

Recent Updates

findingUpdate certifications and finding metadata from review cycle
findingMark Zaremba density experiment as complete
updateAdd Convergent-7B model showcase to front page
updateTighten language: empirical observations are not laws or theorems
experimentUpdate Ramanujan Machine: v1 exhausted (7K false positives), v2 kernel built
findingUpdate README: 18 findings, 53 reviews, 7 models, 3 providers
infraMCP server: fetch manifest from GitHub instead of bundling a copy
infraUpdate MCP server manifest: 207/210 issues resolved
updateUpdate stats: 207/210 issues resolved (98.6%), up from 191 (91%)
reviewFix stale review counts in llms.txt, llms-full.txt, meta.json, certifications.json