Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Leads
borsuk_dimension_63_public_claims/: Closed (superseded): the accepted nine-dimensional counterexample, with the paper's corollary for every higher dimension, covers the dimension-63 target; the dimension-63 claims and their replay map are kept as history.
polynomial_product_prime_value_condition/: Records an unpublished conditional route from prime values in every large multiplicative interval to the degree-scale bound in Problem 976.
totient_binary_series/: Source notes for Problem 249: Bell--Smertnig's theorem on Mahler series with multiplicative coefficients, specialized to the totient generating function, and the Kaneko--Suzuki--Tachiya sparse-series criteria.
totient_blocks_native_note/: Records an anonymous five-page note claiming an almost-all distinct-block theorem and a c<2 consequence for Problem 1004, without proof or acceptance credit.
Each lead records a mathematical approach or unresolved task and the evidence needed to assess it. A lead can connect several problems, and a problem can have several leads. The records are intended to grow as sources are compiled and investigations proceed.
Read each lead's target, evidence, obstacles, next investigation, and review scope together. Its research state describes the work; it does not establish the truth of a proposed conclusion or replace a problem's mathematical status. Closed or unsuccessful routes remain useful when their limitations are recorded.