Conjectures Miners Disprove Erdős Problem 96 With Lean-Verified Construction
The Bittensor subnet says its miners found a Lean-verified counterexample to a long-standing conjecture about unit distances in convex polygons.
Conjectures
The Bittensor subnet says its miners found a Lean-verified counterexample to a long-standing conjecture about unit distances in convex polygons.