Ibrahim Amin Nicola Shnoudi

[1] ai.viXra.org:2610.0070 submitted on 2026-10-31 21:56:00 , (0 unique-IP downloads)

On the Almost Perfect Number Conjecture Structure and Explicit Bounds for Odd Solutions, with a Lean 4 Formalisation

Authors: Ibrahim Amin Nicola Shnoudi
Category: Number Theory