Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Let be the extremal function of Problem 301: the largest size of a set with no relation among distinct elements. The manuscript's Theorem 1 (p. 2) states
a smaller constant than the of the site's elementary argument (van Doorn's claim page). The method is that argument carried further: for a finite set of positive integers and a dilation factor with , a relation-free meets in at most the independence number of the unit-fraction hypergraph on ; the manuscript takes to be the nontrivial divisors of , computes that independence number by an exact-arithmetic certificate (its Appendix A), and sums over a disjoint family of dilates.
Covers. An upper bound for the estimate of . It does not bear on the particular question, whether , and it bounds above by without determining the constant.
Standing. Claimed. The manuscript is dated 27 May 2026 on its title page and posted on ResearchGate; it has no arXiv version, no journal record and no independent review, and the site does not cite it. A comment of 4 July 2026 in the site's discussion thread reports the manuscript and its constant, and another comment of the same day says that it is AI-generated and carries no statement to that effect; the file itself says nothing about how it was written, and this page records the thread's description as the thread's. The manuscript was read whole, statement and proof, in the version its source card describes; the certificate was not rerun here and nothing was checked. Smaller constants have since been asserted: a computational constant of in a thread comment of 4 July 2026 without a written proof, which has no page, and an upper bound of announced in Della Pietra's repository, which has its own claim page.