<?xml version='1.0' encoding='utf-8'?>
<feed xmlns="http://www.w3.org/2005/Atom"><title>Significance records</title><id>https://hjyuh.github.io/significance/feed.xml</id><updated>2026-08-24T08:54:00Z</updated><link rel="self" href="https://hjyuh.github.io/significance/feed.xml" /><entry><title>The submission claims a full proof that, for every N &gt;= 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).</title><id>https://hjyuh.github.io/significance/2026-alexchengyuli-erdos-848/</id><updated>2026-08-22T15:00:00Z</updated><link href="https://hjyuh.github.io/significance/2026-alexchengyuli-erdos-848/" /><summary>Record v1; 3 evidence entries; 3 open invitations.</summary></entry><entry><title>lim inf as T → ∞ of N₀*(T, 2T) / N(T, 2T) ≥ 3/2 − (1/√2) cot(1/√2) = 0.67250… .</title><id>https://hjyuh.github.io/significance/2026-anthropic-zeta-two-thirds/</id><updated>2026-08-11T12:00:00Z</updated><link href="https://hjyuh.github.io/significance/2026-anthropic-zeta-two-thirds/" /><summary>Record v2; 1 evidence entries; 3 open invitations.</summary></entry><entry><title>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.</title><id>https://hjyuh.github.io/significance/2026-evanbeller-erdos-132/</id><updated>2026-08-24T08:54:00Z</updated><link href="https://hjyuh.github.io/significance/2026-evanbeller-erdos-132/" /><summary>Record v1; 2 evidence entries; 2 open invitations.</summary></entry><entry><title>The unit group L_F2(1,2)× of the binary Leavitt algebra is not sofic.</title><id>https://hjyuh.github.io/significance/2026-openai-nonsofic-groups/</id><updated>2026-08-11T12:00:00Z</updated><link href="https://hjyuh.github.io/significance/2026-openai-nonsofic-groups/" /><summary>Record v8; 2 evidence entries; 3 open invitations.</summary></entry><entry><title>The manuscript gives a partial result toward Erdős Problem #653, proving an improved upper bound g(n) ≤ n − 1 − cε n^(0.81668−ε).</title><id>https://hjyuh.github.io/significance/2026-rafikzeraoulia-erdos-653/</id><updated>2026-08-18T05:08:00Z</updated><link href="https://hjyuh.github.io/significance/2026-rafikzeraoulia-erdos-653/" /><summary>Record v2; 1 evidence entries; 3 open invitations.</summary></entry><entry><title>The paper proves Problem #726 conditionally on an explicitly stated reciprocal-prime equidistribution hypothesis.</title><id>https://hjyuh.github.io/significance/2026-rafikzeraoulia-erdos-726/</id><updated>2026-08-18T05:08:00Z</updated><link href="https://hjyuh.github.io/significance/2026-rafikzeraoulia-erdos-726/" /><summary>Record v2; 2 evidence entries; 4 open invitations.</summary></entry></feed>