Nine Ramsey Number Lower-Bound Records
Prior state unknown→proved
Records, not resolutions: the exact values of these Ramsey numbers remain unknown.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Ramsey theory
Nine Ramsey Number Lower-Bound Records
Improved lower bounds for nine classical Ramsey numbers, including $R(3,13) \geq 61$, $R(3,18) \geq 100$, and seven $R(4,k)$ records up to $R(4,20) \geq 237$, found by AlphaEvolve-discovered search algorithms.
25Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
Improved lower bounds for nine classical Ramsey numbers, including $R(3,13) \geq 61$, $R(3,18) \geq 100$, and seven $R(4,k)$ records up to $R(4,20) \geq 237$, found by AlphaEvolve-discovered search algorithms.
Records, not resolutions: the exact values of these Ramsey numbers remain unknown.
Recorded attempts
Evidence graph
Connected research record
No public relationships recorded yet.