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 팬
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.
더 보기
