QuietForge public proof candidate (HOLD) for sanitized technical evidence.
-
Updated
Sep 6, 2026 - TypeScript
#
proof-candidate
Here are 6 public repositories matching this topic...
Computer-assisted proof candidate for all six branches of Z.-H. Sun's Conjecture 2.3 on Apéry-like sequence G_n (OEIS A143583), with exact verification programs.
reproducible-research number-theory pade-approximation computer-assisted-proof legendre-polynomials supercongruences proof-candidate apery-like-numbers sun-conjecture oeis-a143583 cm-periods
-
Updated
Sep 18, 2026 - Python
Public proof candidate (HOLD): repository governance and content drift detection for QuietForge.
-
Updated
Jul 19, 2026 - JavaScript
Computer-assisted formal-group proof candidate for Z.-H. Sun's Conjecture 2.7 on Apéry-like sequence G_n (OEIS A143583), via the CM newform eta(4z)^6.
reproducible-research number-theory computer-assisted-proof supercongruences proof-candidate apery-like-numbers sun-conjecture oeis-a143583 formal-groups cm-modular-forms atkin-swinnerton-dyer
-
Updated
Sep 18, 2026 - TeX
Exact computer-assisted proof candidate for octahedron comparison in geodesic CAT(0) spaces
semidefinite-programming graph-comparison computer-assisted-proof exact-computation metric-geometry cat0-geometry proof-candidate ai-assisted-mathematics
-
Updated
Aug 3, 2026 - Python
Computer-assisted proof candidate for Z.-H. Sun's Conjecture 2.6 on the Apéry-like sequence G_n (OEIS A143583): an all-depth p-adic supercongruence, with exact PARI/GP certificates and reproducibility records. Not human peer-reviewed.
reproducible-research number-theory computer-assisted-proof pari-gp hypergeometric-series supercongruences proof-candidate apery-like-numbers p-adic-congruences sun-conjecture oeis-a143583
-
Updated
Sep 19, 2026 - TeX
Add this topic to your repo
To associate your repository with the proof-candidate topic, visit your repo's landing page and select "manage topics."