E
Erdosproblems
Page for Erdős Problem #420, covering extensions of Axiom's PrimeGapsLib to parts 2 and 3.
Visit Erdosproblems ↗
link: rel="ugc noopener"
Erdosproblems hosts a page dedicated to Erdős Problem #420. The page is titled "Extending Axiom's PrimeGapsLib to prove parts 2 and 3 of Erdős #420," indicating that the work centers on that library. The page's stated aim is to extend Axiom's PrimeGapsLib toward proofs of parts 2 and 3 of the problem. The public metadata does not describe additional features, methods, or results.
Discussion