Erdős problem 1039
For with all , let be the radius of the largest disc contained in . Is ? The worst case is now known to be , with the explicit bound .
Workspace
public preview
- #1039
- None
- 0
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI standalone
- Machine
Formalization
- Machine
AI collaborating with humans
- Machine
- People
argument
- Machine
- Reported outcome