Sunt bucuros să împărtășesc progrese noi în AI pentru Maths @GoogleDeepMind . În combinatorica extremală, AlphaEvolve a ajutat la stabilirea unor noi limite inferioare pentru CINCI numere Ramsey clasice – o problemă atât de dificilă încât chiar și Erdős a comentat asupra dificultății sale. Istoric, derivarea computațională a acestor limite necesita algoritmi de căutare personalizate, proiectați de oameni. Pentru multe dintre aceste limite, cele mai bune rezultate anterioare au cel puțin un deceniu. AlphaEvolve schimbă acest lucru acționând ca un singur meta-algoritm care descoperă automat procedurile de căutare necesare pentru a găsi aceste noi limite. 📷