Conjectures.io(@conjectures_io):Today, we’re announcing a solution found by our miners to both parts of Erdős Problem 14, open for over 34 years. The result proves a square-root lower bound on exceptions to unique representation as a sum of two elements of any set of natural numbers. Verified in Lean through Conjectures. Full proofs below.

Conjectures.io

@conjectures_io

(Bittensor Subnet 66) rewards anyone who can solve open mathematical problems and advance the frontier of mathematics.

Joined February 2025

22 Following 1.3K Followers

Conjectures.io@conjectures_io

2026.09.16 16:55

Today, we’re announcing a solution found by our miners to both parts of Erdős Problem 14, open for over 34 years. The result proves a square-root lower bound on exceptions to unique representation as a sum of two elements of any set of natural numbers. Verified in Lean through Conjectures. Full proofs below.