Pith. sign in

REVIEW 2 cited by

$R(5,5)\le 46$

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2409.15709 v2 pith:WJ4GYOT5 submitted 2024-09-24 math.CO

Vigleik Angeltveit , Brendan D. McKay This is my paper · ORCID
classification math.CO
keywords numberauthorscasescheckingcombinationcomputationscomputerconsistent
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We prove that the Ramsey number $R(5,5)$ is less than or equal to~$46$. The proof uses a combination of linear programming and checking a large number of cases by computer. All of the computations were independently implemented by both authors, with consistent results.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Computer-assisted graph theory: a survey

    math.CO 2025-08 accept novelty 4.0 of 10

    Computer-assisted graph theory is surveyed, and two small computational results are added: i(5) <= 8/28 and non-planarity of the sequence 73517.

  2. Random-projector quantum diagnostics of Ramsey numbers and a prime-factor heuristic for $R(5,5)=45$

    quant-ph 2025-08 reject novelty 4.0 of 10

    The paper claims its random-projector diagnostics identify R(5,5)=45 and estimate R(6,6)=115 and R(7,7)=209, but the critical comparison at n=45 uses different settings than the other sizes.

Pith tools