Show HN: Extending Axiom's PrimeGapsLib to prove parts 2 and 3 of Erdős #420

Category: other

Tags: mathematics, formal-verification, lean, erdos-problems, wiki

Score: 4.5/10 (Innovation: 4, Technical: 5, Documentation: 6, Utility: 3)

A structured, version-controlled repository of Erdős problems with wiki pages, a verified claim ledger, and Lean formal proofs, aimed at collaboratively solving open problems. It extends a prime-gap library to prove parts of a specific Erdős problem, offering a rigorous framework for mathematical claim verification.

Target audience: mathematicians, formal verification researchers, students

Repository: https://erdosproblems.ai/problems/420 · Python · Apache-2.0 · 15 stars

View on Hacker News