Skip to content

Erdős problem 686

Can every integer N2N≥2 be written as N=1ik(m+i)1ik(n+i)N=\frac{\prod_{1\leq i\leq k}(m+i)}{\prod_{1\leq i\leq k}(n+i)} for some k2k≥2 and mn+km≥n+k?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/686.lean

Formal Conjectures

FormalConjectures/ErdosProblems/686.leanErdos686.erdos_6861 lineExact file
sorry ↔ ∀ N ≥ 2, ∃ k ≥ 2, ∃ n, ∃ mn + k, ↑N = ↑(∏ iFinset.Icc 1 k, (m + i)) / ↑(∏ iFinset.Icc 1 k, (n + i))
OpenStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

  • AI collaborating with humans

    Erdős AI contributions wiki · 9 Aug, 2025-15 Mar, 2026

    Machine
    AlphaProof, Claude, Gemini Deep Think, GPT-5.2 Thinking, GPT-5.4 Thinking, Seed 2.0 Pro
    People
    Adenwalla, Stijn Cambie, Wouter van Doorn, Vjekoslav Kovač, Miklos, Nat Sothanaphan, Quanyu Tang, Terence Tao, vilc, Malek Zribi
    Open the source record
  • Solved as stated, hidden constraints

    GPT-Erdős

    Open the source record

Continue

Search problems.science

Find a Problem, Result, source, or page