Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. For and there is an with , as Problem 396 asks: the least such are
for and for . They are the terms to and of the OEIS entry A375077, whose extension lines credit them to Sharvil Kesarwani on 18 March 2026 and 14 July 2026. Kesarwani's posts in the site's discussion thread, from 25 March 2026 on, describe the optimizations of their search program, which a third party ran to find the term recorded on the joint page. A witness is checked through Kummer's theorem, as Stephan's page explains; the minimality of the terms to is separately certified by the exhaustive search recorded on Dehorty's page.
Covers. The instances and of the question, each with the answer yes by an explicit witness.
Depends on. No page of this wiki.
Standing. The entry is an edited database record, not a refereed publication, and the site's commentary on a problem it labels OPEN points to the entry without accepting a result. The claim stays claimed.