Ramsey-Zahlen sind notorisch schwer. Es ist erstaunlich zu sehen, wie AlphaEvolve die Grenzen für 5 klassische Ramsey-Zahlen verbessert - einige zum ersten Mal seit über 10 Jahren - indem es selbst Suchverfahren entdeckt. Ein großer Meilenstein in der KI für Mathematik - Glückwunsch an das Team!