Repository navigation

Issues

[Initiative #329] Advanced Modular Filters, Relational Pruning, LLL Bounding, and GPU-Accelerated CRT for QPN Search
#329 · fderuiter opened on Jul 31, 2026
9

Formalize structural QPN lemmas: gcd(N, σ(N)) = 1 and Prasad–Sunitha special factors
fderuiter/quasiperfect#574 · opened on Sep 29, 2026
Independent Lean-checked proof that every quasiperfect number has ω(N) ≥ 8
fderuiter/quasiperfect#573 · opened on Sep 29, 2026
Milestone: Lean-verified "no quasiperfect number below 10^35", then 10^45
fderuiter/quasiperfect#572 · opened on Sep 29, 2026
Complete reference search that emits certificates
fderuiter/quasiperfect#571 · opened on Sep 29, 2026
Certificate format, Lean checker, and soundness theorem
fderuiter/quasiperfect#570 · opened on Sep 29, 2026
Epic: Lean-checked certificate that no quasiperfect number exists below 10^B
fderuiter/quasiperfect#569 · opened on Sep 29, 2026
Search engine is not exhaustive: component universe is capped at p < 250,000 and exponent ≤ 8
fderuiter/quasiperfect#565 · opened on Sep 29, 2026