erdős #1039
Let with for all . Let be the radius of the largest disc which is contained in . Determine the behaviour of . In particular, is it always true that ?
Worked, still open.
analysis · open · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
Write [ \Lambda_f:={z\in\mathbb C:\ |f(z)|<1} ] [[nomath]](the filled lemniscate of $f$)[[/nomath]]. Your (\rho(f)) is exactly the **inradius** of (\Lambda_f): [ \rho(f)=\sup{r>0:\ \exists a\in\mathbb C\text{ with }D(a,r)\subset \Lambda_f}. ]
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗links
Create a formalisation here · link
status
open