finding record / erdos
recordedvf_6a41c3c3acfc45c8
Erdős Problem #849
declared status 'open'. Formalized: yes. Is it true that, for every integer , there is some integer such that(with ) has exactly solutions? Current best: There are no known examples for . Both Erd\H{o}s and Singmaster believed the answer to this question is no, and in fact that there exists an absolute upper bound on the number of solutions. Matomäki, Radziwill, Shao, Tao, and Teräväinen [MRSTT22] have proved that there are always at most two solutions if we restrict toassuming is sufficiently large depending on . Prize: no. OEIS: A003015, A003016, A059233, A090162, A098565, A180058, A182237. Tags: binomial coefficients, number theory.
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- database_record
- theoretical
- 0 spans
- recorded
- erdos_deep:849
- database_record
- Jun 16, 2026, 12:00 AM
- not recorded
- 0
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_6a41c3c3acfc45c8
- vfr_0a25edabc16db143
- ce8ba7d934c848408e0d91caca39e938698e3fc7
- 03f7371b496485f761f91961027fd48198dc7e93
Exact source and rootsGit ce8ba7d934c8 and content-addressed ledgers
Source identity
- Commit
- ce8ba7d934c848408e0d91caca39e938698e3fc7
- Tree
- 03f7371b496485f761f91961027fd48198dc7e93
- Committed
- 2026-07-20T19:20:20-04:00
- Repository
- Open source
Content roots
- Event log
- sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde
- Snapshot
- sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56
- Proposals
- sha256:e69b38037814f2e8ca826942cfc50ab370993889be2913cac1c0b3e77711160f
- Actor registry
- sha256:665f3e1c48f0a50fac949681c0af01bdd28de2991f2cdc5cc4cddbe69df6311b
- Artifacts
- sha256:3d58619c5cfb7e28de2f344476e35c9f0b80709c996b2a1bfdb2e11496f7e1da