Conjectures.io(@conjectures_io):Today, we’re announcing a solution found by our miners to Erdős Problem 96, open for over 66 years. The result disproves the conjectured linear bound, constructing strictly convex polygons with superlinearly many unit-distance pairs. 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.

参加 February 2025

22 フォロー中 1.3K ファン

Conjectures.io@conjectures_io

2026.09.14 13:50

Today, we’re announcing a solution found by our miners to Erdős Problem 96, open for over 66 years. The result disproves the conjectured linear bound, constructing strictly convex polygons with superlinearly many unit-distance pairs. Verified in Lean through Conjectures. Full proof below.