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.