Open Proof Network

Needs a steward / erdos-212

Steward erdos-212

Is there a dense subset of ℝ^2 such that all pairwise distances are rational?

The problem’s page →

What the role asks
  • Understand what the network proves on this problem.
  • Write it up, and sign the explainer of the proof that closes it.
  • Best efforts, no deadline: step down at any time.
Read more about stewards →