Problem detail · source-aware
VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
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.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
AlphaEvolve, an LLM-based code-mutation system, ran a meta-search that discovered the search algorithms which produced the record constructions; Gemini 3 summarized the generated code for the paper.
Provider: Google DeepMind · Prompt public: unknown · Independence: unknown
Lower-bound constructions are finite certificates checkable by machine; no independent verification has been published yet.
Correctness: unknown · statement fidelity: unaudited · peer review: none
Records, not resolutions: the exact values of these Ramsey numbers remain unknown.
Source-reported tools: construction.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.