Start here

Want to help with one claim?

Pick one focused check, read only the linked passage, and report what you found. Or send us one link and we will prepare the record.

Take one focused check → Submit or correct a claim

No Significance account is needed to read or begin. GitHub sign-in is only required for the GitHub reporting route; a request can also be sent by email when configured.

Records

$| A | \leq ⌊ \frac{N + 18}{25} ⌋$

ErdősProblems.com #848 · v1 · Significance editor

Read the record · See open checks

Active Source current 3 evidence · 3 open
${lim inf}_{T \to \infty} \frac{N_{0}^{*} (T, 2 T)}{N (T, 2 T)} \geq \frac{3}{2} - \frac{1}{\sqrt{2}} \cot (\frac{1}{\sqrt{2}}) = 0.67250 \dots$

v2 · Claude (paper author)

Read the record · See open checks

Active Source current 1 evidence · 3 open
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.

ErdősProblems.com #132 · v1 · Evan Beller

Read the record · See open checks

Active Source current 2 evidence · 2 open
The unit group L_F2(1,2)× of the binary Leavitt algebra is not sofic.

v8 · OpenAI

Read the record · See open checks

Active Source current 2 evidence · 3 open
$g (n) \leq n - 1 - c_{ε} n^{0.81668 - ε} .$

ErdősProblems.com #653 · v2 · Rafikzeraoulia2025

Read the record · See open checks

Active Source current 1 evidence · 3 open
The paper proves Problem #726 conditionally on an explicitly stated reciprocal-prime equidistribution hypothesis.

ErdősProblems.com #726 · v2 · Rafikzeraoulia2025

Read the record · See open checks

Active Source current 2 evidence · 4 open

What a record does not establish

No field or rendered element asserts that a claim is verified, correct, or refuted.
Evidence predicates are narrow: schema shape, attribution, execution receipts, append-only history.
The publication state describes this page, never the standing of the mathematics.