SIGNIFICANCE

Clear records for AI-assisted mathematics

Backlog

Claims tracked here with the least recorded verification activity, oldest first. Absence of activity is not a judgment of the claim.

ClaimFiledLast activityOpenTakenNamed reviewers
The unit group L_F2(1,2)× of the binary Leavitt algebra is not sofic.2026-08-012026-08-02 · 25 days ago200
lim inf as T → ∞ of N₀*(T, 2T) / N(T, 2T) ≥ 3/2 − (1/√2) cot(1/√2) = 0.67250… .2026-08-112026-08-11 · 16 days ago300
The manuscript gives a partial result toward Erdős Problem #653, proving an improved upper bound g(n) ≤ n − 1 − cε n^(0.81668−ε).2026-08-162026-08-16 · 11 days ago300
The paper proves Problem #726 conditionally on an explicitly stated reciprocal-prime equidistribution hypothesis.2026-08-162026-08-16 · 11 days ago400
The submission claims a full proof that, for every N >= 1, the maximum size of a set A subset of {1, ..., N} such that ab + 1 is nonsquarefree for every a, b in A is floor((N + 18)/25).2026-08-222026-08-22 · 5 days ago300
The submission claims a proof of the first assertion of Erdős Problem #132 for n = 8: every eight-point planar set has two distinct distances occurring at most eight times.2026-08-232026-08-23 · 4 days ago200