Freut mich, neue Fortschritte in der KI für Mathematik @GoogleDeepMind zu teilen. In der extremalen Kombinatorik hat AlphaEvolve geholfen, neue untere Schranken für FÜNF klassische Ramsey-Zahlen zu etablieren - ein Problem, das so herausfordernd ist, dass sogar Erdős auf seine Schwierigkeit hingewiesen hat. Historisch gesehen erforderte die rechnergestützte Ableitung dieser Schranken maßgeschneiderte, vom Menschen entworfene Suchalgorithmen. Für viele dieser Schranken sind die besten bisherigen Ergebnisse mindestens ein Jahrzehnt alt. AlphaEvolve ändert dies, indem es als ein einzelner Meta-Algorithmus fungiert, der automatisch die Suchverfahren entdeckt, die benötigt werden, um diese neuen Schranken zu finden. 📷