erdős #1005
Let be the Farey fractions of order . Let be the largest integer such that if then and are similarly ordered - in other words,Estimate - in particular, is there a constant such that for all large ?
Worked, still open.
number theory · 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
Let (F_n=\\{\frac{a_1}{b_1}<\frac{a_2}{b_2}<\cdots\\}) be the Farey sequence of order $n$, and recall that (\frac{a_k}{b_k},\frac{a_\ell}{b_\ell}) are *similarly ordered* iff [ (a_\ell-a_k)(b_\ell-b_k)\ge 0, ] i.e. the numerators and denominators move in the same direction (weakly).
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗oeis
links
Farey fractions · reference
Create a formalisation here · link
status
open