Vela

Can one classify all solutions ofwhere and ? Are there only finitely many solutions?

Worked, still open.

number theory · open · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

unverified AI candidates (2)

gpt-erdos · GPT-5.2 Pro + Deep Research · unverified

Write the equation as a “factorial–ratio” identity: [ \prod_{i=1}^{k_1}(m_1+i)=\frac{(m_1+k_1)!}{m_1!},\qquad \prod_{j=1}^{k_2}(m_2+j)=\frac{(m_2+k_2)!}{m_2!}, ] so your equation is [ \frac{(m_1+k_1)!}{m_1!}=\frac{(m_2+k_2)!}{m_2!} \quad\Longleftrightarrow\quad (m_1+k_1)!,m_2!=(m_2+k_2)!,m_1!. ] The condition (m_1+k_1\…

candidate solution ↗

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (gpt pro 5.2); unverified.

candidate solution ↗

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 c323993fcfbc3dcf95c24aeccdabac9b9e4bba540b273c535ddda06549d78ce2

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.