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 .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
No source in this release retained material for this Problem beyond its catalogue entry.
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