Conjectures.io(@conjectures_io):Today, we’re announcing a solution found by our miners to Erdős Problem 196, open for over 49 years. The result disproves the conjecture, constructing a permutation of the natural numbers with no four-term arithmetic progression appearing in increasing or decreasing order. Verified in Lean through Conjectures. Full proof 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.15 14:14

Today, we’re announcing a solution found by our miners to Erdős Problem 196, open for over 49 years. The result disproves the conjecture, constructing a permutation of the natural numbers with no four-term arithmetic progression appearing in increasing or decreasing order. Verified in Lean through Conjectures. Full proof below.